Gerhard Lakemeyer, Hector J. Levesque. Towards an Axiom System for Default Logic. In Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA. pages 263-268, AAAI Press, 2006.
@inproceedings{LakemeyerL06,
title = {Towards an Axiom System for Default Logic},
author = {Gerhard Lakemeyer and Hector J. Levesque},
year = {2006},
tags = {logic},
researchr = {https://researchr.org/publication/LakemeyerL06},
cites = {0},
citedby = {0},
pages = {263-268},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA},
publisher = {AAAI Press},
}