ML Anthology

A Theorem-Prover for a Decidable Subset of Default Logic

Philippe Besnard, Rene Quiniou, Patrice Quinton
AAAI 1983 pp. 27-30
/aaai/1983/besnard1983aaai-theorem/
PDF AAAI Semantic Scholar

Cite

Text

Besnard et al. "A Theorem-Prover for a Decidable Subset of Default Logic." AAAI Conference on Artificial Intelligence, 1983.

Markdown

[Besnard et al. "A Theorem-Prover for a Decidable Subset of Default Logic." AAAI Conference on Artificial Intelligence, 1983.](https://mlanthology.org/aaai/1983/besnard1983aaai-theorem/)

BibTeX

@inproceedings{besnard1983aaai-theorem,
  title     = {{A Theorem-Prover for a Decidable Subset of Default Logic}},
  author    = {Besnard, Philippe and Quiniou, Rene and Quinton, Patrice},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {27-30},
  url       = {https://mlanthology.org/aaai/1983/besnard1983aaai-theorem/}
}