Hwee Tou Ng, Raymond J. Mooney. An Efficient First-Order Horn-Clause Abduction System Based on the ATMS. In AAAI. pages 494-499, 1991.
@inproceedings{NgM91, title = {An Efficient First-Order Horn-Clause Abduction System Based on the ATMS}, author = {Hwee Tou Ng and Raymond J. Mooney}, year = {1991}, tags = {rule-based}, researchr = {https://researchr.org/publication/NgM91}, cites = {0}, citedby = {0}, pages = {494-499}, booktitle = {AAAI}, }