Decidable Reasoning in a Fragment of the Epistemic Situation Calculus
暂无分享,去创建一个
[1] Raymond Reiter,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .
[2] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[3] Giuseppe De Giacomo,et al. Bounded Situation Calculus Action Theories and Decidable Verification , 2012, KR.
[4] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .
[5] Ronald Fagin,et al. A Nonstandard Approach to the Logical Omniscience Problem , 1990, Artif. Intell..
[6] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..
[7] Mikhail Soutchanski,et al. Decidable Reasoning in a Modified Situation Calculus , 2007, IJCAI.
[8] K. Konolige. A deduction model of belief , 1986 .
[9] Philip Hugly,et al. There Is A Problem with Substitutional Quantification , 2008 .
[10] Hector J. Levesque. A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases , 1998, KR.
[11] Gerhard Lakemeyer,et al. Tractable First-Order Golog with Disjunctive Knowledge Bases , 2009 .
[12] Gerhard Lakemeyer,et al. Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals , 2013, IJCAI.
[13] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[14] Gerhard Lakemeyer,et al. A semantic characterization of a useful fragment of the situation calculus with knowledge , 2011, Artif. Intell..
[15] Marco Schaerf,et al. Approximate Reasoning and Non-Omniscient Agents , 1992, TARK.
[16] Gerhard Lakemeyer,et al. Limited Reasoning in First-Order Knowledge Bases with Full Introspection , 1996, Artif. Intell..
[17] J. McCarthy. Situations, Actions, and Causal Laws , 1963 .
[18] James P. Delgrande,et al. A FRAMEWORK FOR LOGICS OF EXPLICIT BELIEF , 1995, Comput. Intell..
[19] Gerhard Lakemeyer,et al. A Logic of Limited Belief for Reasoning with Disjunctive Information , 2004, KR.
[20] Moshe Y. Vardi,et al. On Epistemic Logic and Logical Omniscience. , 1988 .
[21] Hector J. Levesque,et al. Knowledge, action, and the frame problem , 2003, Artif. Intell..
[22] Hector J. Levesque,et al. Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions , 2005, IJCAI.
[23] Michael Gelfond,et al. Representing Action and Change by Logic Programs , 1993, J. Log. Program..
[24] Franz Baader,et al. Integrating Description Logics and Action Formalisms: First Results , 2005, Description Logics.
[25] Giuseppe De Giacomo,et al. Bounded Epistemic Situation Calculus Theories , 2013, IJCAI.