ML Anthology

Completeness of the Negation as Failure Rule

Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd
IJCAI 1983 pp. 500-506
/ijcai/1983/jaffar1983ijcai-completeness/
PDF IJCAI Semantic Scholar

Cite

Text

Jaffar et al. "Completeness of the Negation as Failure Rule." International Joint Conference on Artificial Intelligence, 1983.

Markdown

[Jaffar et al. "Completeness of the Negation as Failure Rule." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/jaffar1983ijcai-completeness/)

BibTeX

@inproceedings{jaffar1983ijcai-completeness,
  title     = {{Completeness of the Negation as Failure Rule}},
  author    = {Jaffar, Joxan and Lassez, Jean-Louis and Lloyd, John W.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {500-506},
  url       = {https://mlanthology.org/ijcai/1983/jaffar1983ijcai-completeness/}
}