ML Anthology

Towards an Axiom System for Default Logic

Gerhard Lakemeyer, Hector J. Levesque
AAAI 2006 pp. 263-268
/aaai/2006/lakemeyer2006aaai-axiom/
PDF AAAI Semantic Scholar

Cite

Text

Lakemeyer and Levesque. "Towards an Axiom System for Default Logic." AAAI Conference on Artificial Intelligence, 2006.

Markdown

[Lakemeyer and Levesque. "Towards an Axiom System for Default Logic." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/lakemeyer2006aaai-axiom/)

BibTeX

@inproceedings{lakemeyer2006aaai-axiom,
  title     = {{Towards an Axiom System for Default Logic}},
  author    = {Lakemeyer, Gerhard and Levesque, Hector J.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2006},
  pages     = {263-268},
  url       = {https://mlanthology.org/aaai/2006/lakemeyer2006aaai-axiom/}
}