A Knowledge-Based Framework for Belief change, Part I: Foundations

[1]  N. Malcolm.  On Knowledge and Belief , 1954 .

[2]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[3]  Bas C. van Fraassen,et al.  Representational of conditional probabilities , 1976, J. Philos. Log..

[4]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[5]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[6]  松本 裕治.  Default Reasoningと非単調論理(海外研究動向) , 1981 .

[7]  John P. Burgess,et al.  Quick completeness proofs for some logics of conditionals , 1981, Notre Dame J. Formal Log..

[8]  David M. Kreps,et al.  Rational cooperation in the finitely repeated prisoners' dilemma , 1982 .

[9]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[10]  C. E. Alchourrón,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985 .

[11]  Yoav Shoham,et al.  A semantical approach to nonmonotonic logics , 1987, LICS 1987.

[12]  D. G. Rees,et al.  Foundations of Statistics , 1989 .

[13]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[14]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[15]  Randall Davis,et al.  Model-based reasoning: troubleshooting , 1988 .

[16]  Sarit Kraus,et al.  Knowledge, Belief and Time , 1986, Theor. Comput. Sci..

[17]  Joseph Y. Halpern,et al.  Modelling knowledge and action in distributed systems , 1988, Distributed Computing.

[18]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[19]  Joseph Y. Halpern,et al.  The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds , 1989, J. Comput. Syst. Sci..

[20]  Yoav Shoham,et al.  Belief as Defeasible Knowledge , 1989, IJCAI.

[21]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[22]  C. Bicchieri.  Self-refuting theories of strategic interaction: A paradox of common knowledge , 1989 .

[23]  Judea Pearl,et al.  Probabilistic Semantics for Nonmonotonic Reasoning: A Survey , 1989, KR.

[24]  Johan de Kleer,et al.  Using Crude Probability Estimates to Guide Diagnosis , 1990, Artif. Intell..

[25]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[26]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[27]  W. Salmon,et al.  Knowledge in Flux , 1991 .

[28]  Eddie Dekel,et al.  Lexicographic Probabilities and Choice Under Uncertainty , 1991 .

[29]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[30]  Craig Boutilier,et al.  Normative, Subjunctive, and Autoepistemic Defaults: Adopting the Ramsey Test , 1992, KR.

[31]  Frans Voorbraak,et al.  Generalized Kripke Models for Epistemic Logic , 1991, TARK.

[32]  Joseph Y. Halpern,et al.  Knowledge, probability, and adversaries , 1993, JACM.

[33]  Moisés Goldszmidt,et al.  A Maximum Entropy Approach to Nonmonotonic Reasoning , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[34]  Joseph Y. Halpern,et al.  On the Complexity of Conditional Logics , 1994, KR.

[35]  Ronald Fagin,et al.  Reasoning about knowledge and probability , 1988, JACM.

[36]  Joseph Y. Halpern,et al.  A Knowledge-Based Framework for Belief Change, Part II: Revision and Update , 1994, KR.

[37]  R. Aumann.  Backward induction and common knowledge of rationality , 1995 .

[38]  Robert Stalnaker.  Knowledge, Belief and Counterfactual Reasoning in Games , 1996, Economics and Philosophy.

[39]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .