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]
@inproceedings{MuggletonB00, title = {Theory Completion Using Inverse Entailment}, author = {Stephen Muggleton and Christopher H. Bryant}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1866/18660130.htm}, researchr = {https://researchr.org/publication/MuggletonB00}, cites = {0}, citedby = {0}, pages = {130-146}, booktitle = {Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings}, editor = {James Cussens and Alan M. Frisch}, volume = {1866}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-67795-X}, }