ML Anthology

Supporting and Optimizing Full Unification in a Forward Chaining Rule System

Howard E. Shrobe
AAAI 1993 pp. 710-715
/aaai/1993/shrobe1993aaai-supporting/
PDF AAAI Semantic Scholar

Cite

Text

Shrobe. "Supporting and Optimizing Full Unification in a Forward Chaining Rule System." AAAI Conference on Artificial Intelligence, 1993.

Markdown

[Shrobe. "Supporting and Optimizing Full Unification in a Forward Chaining Rule System." AAAI Conference on Artificial Intelligence, 1993.](https://mlanthology.org/aaai/1993/shrobe1993aaai-supporting/)

BibTeX

@inproceedings{shrobe1993aaai-supporting,
  title     = {{Supporting and Optimizing Full Unification in a Forward Chaining Rule System}},
  author    = {Shrobe, Howard E.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {710-715},
  url       = {https://mlanthology.org/aaai/1993/shrobe1993aaai-supporting/}
}