ML Anthology

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

Hwee Tou Ng, Raymond J. Mooney
AAAI 1991 pp. 494-499
/aaai/1991/ng1991aaai-efficient/
PDF AAAI Semantic Scholar

Cite

Text

Ng and Mooney. "An Efficient First-Order Horn-Clause Abduction System Based on the ATMS." AAAI Conference on Artificial Intelligence, 1991.

Markdown

[Ng and Mooney. "An Efficient First-Order Horn-Clause Abduction System Based on the ATMS." AAAI Conference on Artificial Intelligence, 1991.](https://mlanthology.org/aaai/1991/ng1991aaai-efficient/)

BibTeX

@inproceedings{ng1991aaai-efficient,
  title     = {{An Efficient First-Order Horn-Clause Abduction System Based on the ATMS}},
  author    = {Ng, Hwee Tou and Mooney, Raymond J.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {494-499},
  url       = {https://mlanthology.org/aaai/1991/ng1991aaai-efficient/}
}