ML Anthology

Deduction as Parsing: Tractable Classification in the KL-ONE Framework

Marc B. Vilain
AAAI 1991 pp. 464-470
/aaai/1991/vilain1991aaai-deduction/
PDF AAAI Semantic Scholar

Cite

Text

Vilain. "Deduction as Parsing: Tractable Classification in the KL-ONE Framework." AAAI Conference on Artificial Intelligence, 1991.

Markdown

[Vilain. "Deduction as Parsing: Tractable Classification in the KL-ONE Framework." AAAI Conference on Artificial Intelligence, 1991.](https://mlanthology.org/aaai/1991/vilain1991aaai-deduction/)

BibTeX

@inproceedings{vilain1991aaai-deduction,
  title     = {{Deduction as Parsing: Tractable Classification in the KL-ONE Framework}},
  author    = {Vilain, Marc B.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {464-470},
  url       = {https://mlanthology.org/aaai/1991/vilain1991aaai-deduction/}
}