Interactive Theory Revision: An Inductive Logic Programming Approach

De Raedt, L.

Classics 

Academic Press.