A Logic of Limited Belief for Reasoning with Disjunctive Information
暂无分享,去创建一个
[1] Hector J. Levesque. A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases , 1998, KR.
[2] D. Davidson. Truth and meaning , 2004, Synthese.
[3] D. Davidson. Truth and Meaning , 1967 .
[4] Robert Givan,et al. Taxonomic syntax for first order inference , 1989, JACM.
[5] Mukesh Dalal,et al. Semantics of an Anytime Family of Reasoners , 1996, ECAI.
[6] Peter F. Patel-Schneider,et al. A decidable first-order logic for knowledge representation , 1985, Journal of Automated Reasoning.
[7] Gerhard Lakemeyer. Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases , 2002, KR.
[8] Moshe Y. Vardi,et al. On Epistemic Logic and Logical Omniscience. , 1988 .
[9] Marco Schaerf,et al. Tractable Reasoning via Approximation , 1995, Artif. Intell..
[10] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[11] Marco Schaerf,et al. On the complexity of entailment in propositional multivalued logics , 1996, Annals of Mathematics and Artificial Intelligence.
[12] Marco Schaerf,et al. Approximate Reasoning and Non-Omniscient Agents , 1992, TARK.
[13] Benjamin Kuipers,et al. Towards a Theory of Access-limited Logic for Knowledge Representation , 2005 .
[14] G. Lakemeyer. Models of belief for decidable reasoning in incomplete knowledge bases , 1992 .
[15] James P. Delgrande,et al. A FRAMEWORK FOR LOGICS OF EXPLICIT BELIEF , 1995, Comput. Intell..
[16] Saul Kripke,et al. A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.
[17] J. Dunn,et al. Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .
[18] Nuel D. Belnap,et al. Entailment : the logic of relevance and necessity , 1975 .
[19] J. Hintikka. Knowledge and belief , 1962 .
[20] James M. Crawford,et al. A Non-Deterministic Semantics for Tractable Inference , 1998, AAAI/IAAI.
[21] Joseph Y. Halpern,et al. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..
[22] David A. McAllester. Truth Maintenance , 1990, AAAI.
[23] Alan M. Frisch. Inference without Chaining , 1987, IJCAI.
[24] K. Konolige. A deduction model of belief , 1986 .
[25] Ronald Fagin,et al. A Nonstandard Approach to the Logical Omniscience Problem , 1990, Artif. Intell..
[26] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..