Stephen Muggleton, Christopher H. Bryant. Theory Completion Using Inverse Entailment. In James Cussens, Alan M. Frisch, editors, Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings. Volume 1866 of Lecture Notes in Computer Science, pages 130-146, Springer, 2000. [doi]
Abstract is missing.