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

Hwee Tou Ng, Raymond J. Mooney

Browse the full AAAI paper archive.