Towards an axiom system for default logic

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2006, Pages 263-268

  Lakemeyer, Gerhard ^a   Levesque, Hector J ^b  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; MATHEMATICAL TECHNIQUES; SET THEORY;

DEFAULT LOGIC; DEFAULT REASONING;

FORMAL LOGIC;

EID: 33750732954     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. G. Amati, L. C. Aiello, and F. Pirri, Definability and commonsense reasoning. Artif. Intell. 93(1-2), 169-199, 1997.
2. P. A. Bonatti and N. Olivetti, A sequent calculus for skeptical default logic. TABLEAUX '97: Proc. of the Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods, Springer-Verlag LNCS 1227, 107-121, 1997.
3. B. Chellas, Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980.
4. M. Denecker, V. W. Marek, and M. Truszczynski, Uniform semantic treatment of default and autoepistemic logic. Artificial Intelligence 143(1), 79-122, 2003.
5. J. Y. Halpern and G. Lakemeyer, Levesque's axiomatization of only knowing is incomplete. Artificial Intelligence 74(2), 381-387, 1995.
6. J. Y. Halpern and G. Lakemeyer, Multi-Agent Only Knowing. Journal of Logic and Computation 11(1), 41-70, 2001.
7. M. Kaminski and G. Rey, Revisiting quantification in autoepistemic logic. ACM Transactions on Computational Logic, 3(2), 542-561, 2002
8. K. Konolige, On the relation between default logic and autoepistemic theories. Artificial Intelligence 35(3), 343-382, 1988.
9. K. Konolige, Quantification in autoepistemic logic. Fundamenta Informaticae XV, 275-300, 1991.
10. G. Lakemeyer and H. J. Levesque, Only knowing: taking it beyond autoepistemic reasoning, Proc. of AAAI05, AAAI Press, 633-638, 2005.
11. H. J. Levesque, All I Know: A Study in Autoepistemic Logic. Artificial Intelligence, 42, 263-309, 1990.
12. H. J. Levesque and G. Lakemeyer, The Logic of Knowledge Bases. MIT Press, 2001.
13. V. Lifschitz, Minimal Belief and Negation as Failure, Artificial Intelligence, 70(1-2), 53-72, 1994.
14. F. Lin and Y. Shoham, Epistemic Semantics for Fixpoint Nonmonotonic Logics. Proceedings of TARK 1990, Morgan Kaufmann, 111-120, 1990.
15. R. C. Moore, Semantical considerations on nonmonotonic logic. Artificial Intelligence 25, 75-94, 1985.
16. R. Reiter, A logic for default reasoning. Artificial Intelligence 13(1-2), 81-132, 1980.
17. A. Waaler, Consistency proofs for systems of multi-agent only knowing. Proc. of Advances in Modal Logic (AiML-2004), 2004.