An Efficient First-Order Horn-Clause Abduction System Based on the ATMS

Hwee Tou Ng, Raymond J. Mooney. An Efficient First-Order Horn-Clause Abduction System Based on the ATMS. In AAAI. pages 494-499, 1991.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.