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.

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

[2]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[3]  Jack Minker.  Foundations of deductive databases and logic programming , 1988 .

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

[5]  Hudson Turner,et al.  Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach , 1997, J. Log. Program..

[6]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[7]  D. McDermott,et al.  An introduction to nonmonotonic logic , 1979, IJCAI 1979.

[8]  Christine Froidevaux,et al.  Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming , 1987, LICS.

[9]  Richard Watson,et al.  An Application of Action Theory to the Space Shuttle , 1999, PADL.

[10]  Hector Geffner,et al.  Causal Theories for Nonmonotonic Reasoning , 1990, AAAI.

[11]  Vladimir Lifschitz,et al.  On the Declarative Semantics of Logic Programs with Negation , 1987, Foundations of Deductive Databases and Logic Programming..

[12]  Hudson Turner,et al.  A Logic of Universal Causation , 1999, Artif. Intell..

[13]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[14]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[15]  Hudson Turner,et al.  Causal Theories of Action and Change , 1997, AAAI/IAAI.

[16]  Vladimir Lifschitz,et al.  Formalizing Common Sense: Papers by John McCarthy , 1998 .

[17]  Paul H. Morris,et al.  The Anomalous Extension Problem in Default Reasoning , 1988, Artif. Intell..

[18]  Michael Gelfond,et al.  On Stratified Autoepistemic Theories , 1987, AAAI.