Interactive Theory Revision: An Inductive Logic Programming Approach (1992)

by L De Raedt