The Truth about Defaults

It is a great honour and a pleasure to be able to offer this paper in celebration of Vladimir Lifschitz's sixty-fifth birthday. His work has been an inspiration to both of us since we first started reading his papers in the 1980s. At a time when many papers and presentations in AI were either very abstract on the one hand, or tied to specific systems on the other, Vladimir has consistently found a sweet spot that emphasized clarity and rigour, while maintaining a strong connection to AI practice. His work, in a nutshell, has been a model of how to do AI research, of great value to new students and to older researchers like us. So this is our chance to say thank you, Vladimir, and happy birthday!

[1]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[2]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[3]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[4]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[5]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[6]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[7]  Kurt Konolige,et al.  On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..

[8]  Gerhard Lakemeyer,et al.  The logic of knowledge bases , 2000 .

[9]  Vladimir Lifschitz.  Minimal Belief and Negation as Failure , 1994, Artif. Intell..

[10]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[11]  Bart Selman,et al.  Satisfiability Solvers , 2008, Handbook of Knowledge Representation.

[12]  Victor W. Marek,et al.  Uniform semantic treatment of default and autoepistemic logics , 2000, Artif. Intell..

[13]  Gerhard Lakemeyer,et al.  Only-Knowing: Taking It Beyond Autoepistemic Reasoning , 2005, AAAI.

[14]  Gerhard Lakemeyer,et al.  Towards an Axiom System for Default Logic , 2006, AAAI.

[15]  V. Marek,et al.  Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too , 2011, ArXiv.

[16]  Fangzhen Lin,et al.  Epistemic Semantics for Fixed-Points Non-Monotonic Logics , 1990, TARK.

[17]  Gerhard Lakemeyer,et al.  Only-Knowing Meets Nonmonotonic Modal Logic , 2012, KR.

[18]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[19]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .