Decidable Reasoning in a First-Order Logic of Limited Conditional Belief
暂无分享,去创建一个
[1] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..
[2] Daniele Nardi,et al. An Introduction to Description Logics , 2003, Description Logic Handbook.
[3] Gerhard Lakemeyer,et al. Limited Reasoning in First-Order Knowledge Bases , 1994, Artif. Intell..
[4] Gabriele Kern-Isberner,et al. Conditionals in Nonmonotonic Reasoning and Belief Revision , 2001, Lecture Notes in Computer Science.
[5] Ralf Küsters,et al. Extensions to Description Logics , 2003, Description Logic Handbook.
[6] Vito F. Sinisi,et al. Entailment: The Logic of Relevance and Necessity , 1996 .
[7] Hector J. Levesque,et al. Towards Tractable Inference for Resource-Bounded Agents , 2015, AAAI Spring Symposia.
[8] Gerhard Lakemeyer,et al. Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus , 2015, IJCAI.
[9] Michael Mortimer,et al. On languages with two variables , 1975, Math. Log. Q..
[10] Moshe Y. Vardi,et al. On Epistemic Logic and Logical Omniscience. , 1988 .
[11] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[12] Christoph Schwering. Conditional beliefs in action , 2016 .
[13] James P. Delgrande,et al. A FRAMEWORK FOR LOGICS OF EXPLICIT BELIEF , 1995, Comput. Intell..
[14] Adam J. Grove,et al. Two modellings for theory change , 1988, J. Philos. Log..
[15] K. Konolige. A deduction model of belief , 1986 .
[16] Peter F. Patel-Schneider,et al. A decidable first-order logic for knowledge representation , 1985, Journal of Automated Reasoning.
[17] Gerhard Lakemeyer,et al. Limited Reasoning in First-Order Knowledge Bases with Full Introspection , 1996, Artif. Intell..
[18] Gerhard Lakemeyer. Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases , 2002, KR.
[19] Gerhard Lakemeyer,et al. Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals , 2013, IJCAI.
[20] Marcelo Finger,et al. Anytime Approximations of Classical Logic from Above , 2007, J. Log. Comput..
[21] Gerhard Lakemeyer,et al. A Logic of Limited Belief for Reasoning with Disjunctive Information , 2004, KR.
[22] Gerhard Lakemeyer,et al. A Semantic Account of Iterated Belief Revision in the Situation Calculus , 2014, ECAI.
[23] Gerhard Lakemeyer,et al. Decidable Reasoning in a Fragment of the Epistemic Situation Calculus , 2014, KR.
[24] Yuri Gurevich,et al. The Classical Decision Problem , 1997, Perspectives in Mathematical Logic.
[25] Christopher Lynch,et al. Unsound Theorem Proving , 2004, CSL.
[26] Gerhard Lakemeyer,et al. Belief revision and projection in the epistemic situation calculus , 2017, Artif. Intell..
[27] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[28] Phokion G. Kolaitis,et al. On the Decision Problem for Two-Variable First-Order Logic , 1997, Bulletin of Symbolic Logic.
[29] Gerhard Lakemeyer,et al. Decidable Reasoning in a Logic of Limited Belief with Function Symbols , 2016, KR.
[30] P. T. Geach,et al. KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions , 1963 .
[31] Marco Schaerf,et al. Tractable Reasoning via Approximation , 1995, Artif. Intell..
[32] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[33] Hirofumi Katsuno,et al. Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..
[34] Jaakko Hintikka,et al. Impossible possible worlds vindicated , 1975, J. Philos. Log..
[35] Judea Pearl,et al. System Z: a Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning^ , 1990 .
[36] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .