Success of Default Logic
Ray Reiter’s Logic for Default Reasoning was published almost twenty years ago, but it is widely used today by researchers in knowledge representation, commonsense reasoning and logic programming. This note is a collection of random comments on aspects of this success story.
Unable to display preview. Download preview PDF.
- 2.Nicole Bidoit and Christine Froidevaux. Minimalism subsumes default logic and circumscription. In Proc. LICS-87, pages 89-97, 1987.Google Scholar
- 3.Hector Geffner. Causal theories for nonmonotonic reasoning. In Proc. AAAI-90, pages 524-530, 1990.Google Scholar
- 4.Michael Gelfond. On stratified autoepistemic theories. In Proc. AAAI-87, pagefr 207-211, 1987.Google Scholar
- 7.Vladimir Lifschitz. On the declarative semantics of logic programs with negation. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 177–192. Morgan Kaufmann, San Mateo, CA, 1988.Google Scholar
- 8.Norman McCain and Hudson Turner. Causal theories of action and change. In Proc. AAAI-97, pages 460-465, 1997.Google Scholar
- 11.John McCarthy. Formalizing Common Sense: Papers by John McCarthy. Ablex, Norwood, NJ, 1990.Google Scholar
- 17.Hudson Turner. A logic of universal causation. Artificial Intelligence, 1999. To appear.Google Scholar
- 18.Richard Watson. An application of action theory to the space shuttle. In Gopal Gupta, editor, Proceedings of the First International Workshop on Practical Aspects of Declarative Languages (Lecture Notes in Computer Science 1551), pages 290-304. Springer-Verlag, 1999.Google Scholar