Rule Revision in Normal DL Logic Programs

Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang. Rule Revision in Normal DL Logic Programs. In Wolfgang Faber, Domenico Lembo, editors, Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Volume 7994 of Lecture Notes in Computer Science, pages 204-209, Springer, 2013. [doi]

Abstract

Abstract is missing.