ML Anthology

Negative Hyper-Resolution for Proving Statements Containing Transitive Relations

Tamás Gergely, Konstantin Vershinin
IJCAI 1983 pp. 877-881
/ijcai/1983/gergely1983ijcai-negative/
PDF IJCAI Semantic Scholar

Cite

Text

Gergely and Vershinin. "Negative Hyper-Resolution for Proving Statements Containing Transitive Relations." International Joint Conference on Artificial Intelligence, 1983.

Markdown

[Gergely and Vershinin. "Negative Hyper-Resolution for Proving Statements Containing Transitive Relations." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/gergely1983ijcai-negative/)

BibTeX

@inproceedings{gergely1983ijcai-negative,
  title     = {{Negative Hyper-Resolution for Proving Statements Containing Transitive Relations}},
  author    = {Gergely, Tamás and Vershinin, Konstantin},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {877-881},
  url       = {https://mlanthology.org/ijcai/1983/gergely1983ijcai-negative/}
}