ML Anthology

Semantic Resolution for Horn Sets

Lawrence J. Henschen
IJCAI 1975 pp. 46-52
doi:10.1109/TC.1976.1674700 /ijcai/1975/henschen1975ijcai-semantic/
PDF IJCAI Semantic Scholar

Cite

Text

Henschen. "Semantic Resolution for Horn Sets." International Joint Conference on Artificial Intelligence, 1975. doi:10.1109/TC.1976.1674700

Markdown

[Henschen. "Semantic Resolution for Horn Sets." International Joint Conference on Artificial Intelligence, 1975.](https://mlanthology.org/ijcai/1975/henschen1975ijcai-semantic/) doi:10.1109/TC.1976.1674700

BibTeX

@inproceedings{henschen1975ijcai-semantic,
  title     = {{Semantic Resolution for Horn Sets}},
  author    = {Henschen, Lawrence J.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1975},
  pages     = {46-52},
  doi       = {10.1109/TC.1976.1674700},
  url       = {https://mlanthology.org/ijcai/1975/henschen1975ijcai-semantic/}
}