ML Anthology

Soundness and Completeness of a Logic Programming Approach to Default Logic

Grigoris Antoniou, Elmar Langetepe
AAAI 1994 pp. 934-939
/aaai/1994/antoniou1994aaai-soundness/
PDF AAAI Semantic Scholar

Cite

Text

Antoniou and Langetepe. "Soundness and Completeness of a Logic Programming Approach to Default Logic." AAAI Conference on Artificial Intelligence, 1994.

Markdown

[Antoniou and Langetepe. "Soundness and Completeness of a Logic Programming Approach to Default Logic." AAAI Conference on Artificial Intelligence, 1994.](https://mlanthology.org/aaai/1994/antoniou1994aaai-soundness/)

BibTeX

@inproceedings{antoniou1994aaai-soundness,
  title     = {{Soundness and Completeness of a Logic Programming Approach to Default Logic}},
  author    = {Antoniou, Grigoris and Langetepe, Elmar},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1994},
  pages     = {934-939},
  url       = {https://mlanthology.org/aaai/1994/antoniou1994aaai-soundness/}
}