A First-Order Logic of Limited Belief Based on Possible Worlds
暂无分享,去创建一个
[1] Hector J. Levesque,et al. Towards Tractable Inference for Resource-Bounded Agents , 2015, AAAI Spring Symposia.
[2] Gerhard Lakemeyer,et al. Decidable Reasoning in a Fragment of the Epistemic Situation Calculus , 2014, KR.
[3] Gerhard Lakemeyer,et al. A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief , 2019, IJCAI.
[4] 木村 和夫. Pragmatics , 1997, Language Teaching.
[5] Hector J. Levesque,et al. Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information , 2005, AAAI.
[6] Gerhard Lakemeyer,et al. Decidable Reasoning in a Logic of Limited Belief with Function Symbols , 2016, KR.
[7] James P. Delgrande,et al. A FRAMEWORK FOR LOGICS OF EXPLICIT BELIEF , 1995, Comput. Intell..
[8] James M. Crawford,et al. A Non-Deterministic Semantics for Tractable Inference , 1998, AAAI/IAAI.
[9] Dana S. Scott,et al. Advice on Modal Logic , 1970 .
[10] Saul Kripke,et al. A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.
[11] Gerhard Lakemeyer,et al. Limited Reasoning in First-Order Knowledge Bases with Full Introspection , 1996, Artif. Intell..
[12] N. Malcolm. On Knowledge and Belief , 1954 .
[13] Mukesh Dalal,et al. Semantics of an Anytime Family of Reasoners , 1996, ECAI.
[14] Peter F. Patel-Schneider,et al. A decidable first-order logic for knowledge representation , 1985, Journal of Automated Reasoning.
[15] Ronald Fagin,et al. A Nonstandard Approach to the Logical Omniscience Problem , 1990, Artif. Intell..
[16] Joseph Y. Halpern,et al. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..
[17] Marcello D'Agostino. An informational view of classical logic , 2015, Theor. Comput. Sci..
[18] Christoph Schwering,et al. A Reasoning System for a First-Order Logic of Limited Belief , 2017, IJCAI.
[19] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[20] Alan M. Frisch. Inference without Chaining , 1987, IJCAI.
[21] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[22] Marco Schaerf,et al. On the complexity of entailment in propositional multivalued logics , 1996, Annals of Mathematics and Artificial Intelligence.
[23] Gerhard Lakemeyer,et al. A Logic of Limited Belief for Reasoning with Disjunctive Information , 2004, KR.
[24] J. Dunn,et al. Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .
[25] Jaakko Hintikka,et al. Impossible possible worlds vindicated , 1975, J. Philos. Log..
[26] Gerhard Lakemeyer,et al. Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals , 2013, IJCAI.
[27] John McCarthy,et al. Programs with common sense , 1960 .
[28] Nuel D. Belnap,et al. Entailment : the logic of relevance and necessity , 1975 .