Knowledge-Directed Theory Revision

Kamal Ali, Kevin Leung, Tolga Könik, Dongkyu Choi, Daniel G. Shapiro. Knowledge-Directed Theory Revision. In Luc De Raedt, editor, Inductive Logic Programming, 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers. Volume 5989 of Lecture Notes in Computer Science, pages 1-8, Springer, 2009. [doi]

Abstract

Abstract is missing.