The truth about defaults
January 2012
Pages 422 - 435
Abstract
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!
References
[1]
Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., Patel-Schneider, P. F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)
[2]
Chellas, B.: Modal logic. Cambridge University Press (1980)
[3]
Denecker, M., Marek, V. W., Truszczynski, M.: Uniform semantic treatment of default and autoepistemic logics. Artif. Intell. 143(1), 79-122 (2003)
[4]
Denecker, M., Marek, V., Truszczynski, M.: Reiter's default logic is a logic of autoepistemic reasoning and a good one, too. In: Brewka, G., Marek, V., Truszczynski, M. (eds.) Nonmonotonic Reasoning - Essays Celebrating Its 30th Anniversary, pp. 111-144. College Publications (2011)
[5]
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press (1995)
[6]
Gomes, C. P., Kautz, H., Sabharwal, A., Selman, B.: Satisfiability Solvers. In: Frank van Harmelen, V. L., Porter, B. (eds.) Handbook of Knowledge Representation. Foundations of Artificial Intelligence, vol. 3, ch.2, pp. 89-134. Elsevier (2008)
[7]
Halpern, J., Lakemeyer, G.: Multi-agent only knowing. Journal of Logic and Computation 11(1), 41 (2001)
[8]
Hintikka, J.: Knowledge and belief: an introduction to the logic of the two notions. Cornell University Press (1962)
[9]
Hughes, G. E., Cresswell, M. J.: An introduction to modal logic. Methuen London (1972)
[10]
Konolige, K.: On the relation between default and autoepistemic logic. Artif. Intell. 35(3), 343-382 (1988)
[11]
Lakemeyer, G., Levesque, H. J.: Situations, si! situation terms, no? In: Dubois, D., Welty, C. A., Williams, M. A. (eds.) KR, pp. 516-526. AAAI Press (2004)
[12]
Lakemeyer, G., Levesque, H. J.: Only-knowing: Taking it beyond autoepistemic reasoning. In: Veloso, M. M., Kambhampati, S. (eds.) AAAI, pp. 633-638. AAAI Press / The MIT Press (2005)
[13]
Lakemeyer, G., Levesque, H. J.: Towards an axiom system for default logic. In: AAAI. AAAI Press (2006)
[14]
Lakemeyer, G., Levesque, H. J.: Only-knowing meets nonmonotonic modal logic. In: Brewka, G., Eiter, T., McIlraith, S. (eds.) KR. AAAI Press (2012)
[15]
Levesque, H. J.: All i know: A study in autoepistemic logic. Artif. Intell. 42(2-3), 263-309 (1990)
[16]
Levesque, H. J., Lakemeyer, G.: The logic of knowledge bases. MIT Press (2000)
[17]
Lifschitz, V.: Minimal belief and negation as failure. Artif. Intell. 70(1-2), 53-72 (1994)
[18]
Lin, F., Shoham, Y.: Epistemic semantics for fixed-points non-monotonic logics. In: Parikh, R. (ed.) TARK, pp. 111-120. Morgan Kaufmann (1990)
[19]
Moore, R.C.: Semantical considerations on nonmonotonic logic. Artif. Intell. 25(1), 75-94 (1985)
[20]
Reiter, R.: A logic for default reasoning. Artificial Intelligence 13(1-2), 81-132 (1980)
[21]
Tarski, A.: Logic, Semantics, Metamathematics: Papers from 1923 to 1938. Hacket (1956)
Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 January 2012
Qualifiers
- Chapter
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 18 Nov 2024