Default Logic and purity of reasoning

Ray Reiter has worked out Default Logic during his sabbatical leave in 1979, at Imperial College in London. The paper on Default Logic then appeared in the landmark issue of the Artificial Intelligence Journal on “Commonsense Reasoning” [1].

[1]  Fiora Pirri,et al.  Is There a Logic of Provability for Nonmonotonic Reasoning? , 1996, KR.

[2]  Victor W. Marek,et al.  Modal nonmonotonic logics: ranges, characterization, computation , 1991, JACM.

[3]  Dov M. Gabbay,et al.  A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic , 1996, J. Log. Comput..

[4]  Fiora Pirri,et al.  Definability and Commonsense Reasoning , 1997, Artif. Intell..

[5]  Vladimir Lifschitz,et al.  Computing Circumscription , 1985, IJCAI.

[6]  Donald Perlis,et al.  Languages with Self-Reference II: Knowledge, Belief, and Modality , 1988, Artif. Intell..

[7]  Grigori Schwarz.  In Search of a "True" Logic of Knowledge: The Nonmonotonic Perspective , 1995, Artif. Intell..

[8]  Raymond Reiter,et al.  Circumscription Implies Predicate Completion (Sometimes) , 1982, AAAI.

[9]  R. Smullyan.  Diagonalization and Self-Reference , 1994 .

[10]  Fausto Giunchiglia,et al.  Non-Omniscient Belief as Context-Based Resoning , 1993, IJCAI.

[11]  Laura Giordano,et al.  On Cumulative Default Logics , 1994, Artif. Intell..

[12]  Marco A. Casanova,et al.  Contributions to a Proof Theory for Generic Defaults , 1990, ECAI.

[13]  Witold Lukaszewicz,et al.  Non-monotonic reasoning - formalization of commonsense reasoning , 1990 .

[14]  J. McCarthy.  Circumscription|a Form of Nonmonotonic Reasoning , 1979 .

[15]  Drew McDermott,et al.  Nonmonotonic Logic II: Nonmonotonic Modal Theories , 1982, JACM.

[16]  Grigori F. Shvarts.  Autoepistemic Modal Logics , 1990, TARK.

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

[18]  Ian A. Mason,et al.  Propositional Logic of Context , 1993, AAAI.

[19]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[20]  Dov M. Gabbay,et al.  Structured Contexts with Fibred Semantics , 2000 .

[21]  Michael Luby,et al.  An Optimal Approximation Algorithm for Bayesian Inference , 1997, Artif. Intell..

[22]  Miroslaw Truszczynzki.  Modal interpretations of default logic , 1991, IJCAI 1991.

[23]  Witold Lukaszewicz.  Considerations on Default Logic , 1984, NMR.

[24]  Piotr Rychlik.  Some Variations on Default Logic , 1991, AAAI.

[25]  Vladimir Lifschitz,et al.  On the Satisfiability of Circumscription , 1986, Artif. Intell..

[26]  Dov M. Gabbay,et al.  A Structural Property on Modal Frames Characterizing Default Logic , 1996, Log. J. IGPL.

[27]  Ramanathan V. Guha,et al.  CYC: A Midterm Report , 1990, AI Mag..

[28]  Victor W. Marek,et al.  More on modal aspects of default logic , 1992, Fundam. Informaticae.

[29]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

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

[31]  Witold Łukaszewicz.  Considerations on default logic: an alternative approach 1 , 1988 .

[32]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[33]  Laurent Perrussel,et al.  Contextual Reasoning , 1998, ECAI.

[34]  Victor W. Marek,et al.  Nonmonotonic logic - context-dependent reasoning , 1997, Artificial intelligence.

[35]  R. Solovay.  Provability interpretations of modal logic , 1976 .

[36]  Gary James Jason,et al.  The Logic of Scientific Discovery , 1988 .

[37]  Richard Fikes,et al.  A declarative formalization of knowledge translation , 1995, CIKM '95.

[38]  Fiora Pirri,et al.  Defaults as restrictions on classical Hilbert-style proofs , 1994, J. Log. Lang. Inf..

[39]  M. Gelfond,et al.  Disjunctive Defaults , 1991 .

[40]  Ian A. Mason,et al.  The Semantics of Propositional Contexts , 1994, ISMIS.

[41]  Torsten Schaub.  On Commitment and Cumulativity in Default Logics , 1991, ECSQARU.

[42]  Miroslaw Truszczynski,et al.  Minimal Knowledge Problem: A New Approach , 1994, Artif. Intell..

[43]  Miroslaw Truszczynski,et al.  Modal Interpretations of Default Logic , 1991, IJCAI.

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

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

[46]  Gerhard Brewka.  Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules , 1991, Artif. Intell..

[47]  Witold Łukaszewicz.  Non-monotonic reasoning : formalization of commonsense reasoning , 1990 .

[48]  R. Guha.  Contexts: a formalization and some applications , 1992 .

[49]  Grigori Schwarz,et al.  Minimal model semantics for nonmonotonic modal logics , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

[50]  Christine Froidevaux,et al.  DEFAULT LOGICS: A UNIFIED VIEW , 1994, Comput. Intell..

[51]  Miroslaw Truszczynski,et al.  Modal Logic S4F and The Minimal Knowledge Paradigm , 1992, TARK.

[52]  Perry Smith.  Review: Richard Montague, Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability , 1975 .

[53]  Krzysztof R. Apt,et al.  Logics and Models of Concurrent Systems , 1989, NATO ASI Series.

[54]  John McCarthy,et al.  Combining Planning Contexts , 1996 .

[55]  Joseph Y. Halpern,et al.  Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.

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

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

[58]  James P. Delgrande,et al.  Default Logic Revisited , 1991, KR.

[59]  John McCarthy,et al.  Generality in artificial intelligence , 1987, Resonance.

[60]  Patrick Doherty,et al.  NML3. A Non-Monotonic Logic with Explicit Defaults , 1992, J. Appl. Non Class. Logics.