Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
暂无分享,去创建一个
[1] Alfred Tarski,et al. Logic, Semantics, Metamathematics: Papers from 1923 to 1938 , 1958 .
[2] E. W. Adams,et al. Probability and the Logic of Conditionals , 1966 .
[3] David Makinson,et al. General Theory of Cumulative Inference , 1988, NMR.
[4] James P. Delgrande,et al. A First-Order Conditional Logic for Prototypical Properties , 1987, Artif. Intell..
[5] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[6] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[7] Daniel Lehmann,et al. What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..
[8] Drew McDermott,et al. Non-Monotonic Logic I , 1987, Artif. Intell..
[9] Vladimir Lifschitz,et al. On the Satisfiability of Circumscription , 1986, Artif. Intell..
[10] Robert C. Moore. Possible-World Semantics for Autoepistemic Logic , 1987, NMR.
[11] G. Gentzen,et al. Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen , 1933 .
[12] Robert E. Mercer,et al. On the adequacy of predicate circumscription for closed‐world reasoning , 1985, Comput. Intell..
[13] Joseph Y. Halpern,et al. Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.
[14] A. Tarski. Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I , 1930 .
[15] Judea Pearl,et al. Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.
[16] M. E. Szabo,et al. The collected papers of Gerhard Gentzen , 1969 .
[17] E. W. Adams,et al. The logic of conditionals , 1975 .
[18] John P. Burgess,et al. Quick completeness proofs for some logics of conditionals , 1981, Notre Dame J. Formal Log..
[19] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.
[20] David Lewis. Intensional logics without interative axioms , 1974, J. Philos. Log..
[21] Arnon Avron,et al. Simple Consequence Relations , 1988, Inf. Comput..
[22] A. R. Turquette,et al. Logic, Semantics, Metamathematics , 1957 .
[23] Yoav Shoham,et al. A semantical approach to nonmonotonic logics , 1987, LICS 1987.
[24] James P. Delgrande,et al. An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report , 1987, Artif. Intell..
[25] Dov M. Gabbay,et al. Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.
[26] David S. Touretzky,et al. The Mathematics of Inheritance Systems , 1984 .
[27] F.J.M.M. Veltman,et al. Logics for conditionals. , 1985 .
[28] Robert Stalnaker. A Theory of Conditionals , 2019, Knowledge and Conditionals.
[29] Johan van Benthem,et al. Foundations of conditional logic , 1984, J. Philos. Log..
[30] J. M. Larrazabal,et al. Reasoning about change , 1991 .
[31] A. Tarski. Grundzüge der Systemenkalküls I , 1935 .