A Semantic Account of Iterated Belief Revision in the Situation Calculus
暂无分享,去创建一个
[1] Gerhard Lakemeyer,et al. Situations, Si! Situation Terms, No! , 2004, KR.
[2] J. McCarthy. Situations, Actions, and Causal Laws , 1963 .
[3] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[4] Maria del Pilar Pozos Parra,et al. A Simple and Tractable Extension of Situation Calculus to Epistemic Logic , 2000, ISMIS.
[5] Yoav Shoham,et al. A Unified View of Belief Revision and Update , 1994, J. Log. Comput..
[6] Wolfgang Spohn,et al. Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .
[7] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[8] Hirofumi Katsuno,et al. Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..
[9] Gerhard Lakemeyer,et al. A semantic characterization of a useful fragment of the situation calculus with knowledge , 2011, Artif. Intell..
[10] Yongmei Liu,et al. Multiagent Knowledge and Belief Change in the Situation Calculus , 2013, AAAI.
[11] Gerhard Lakemeyer,et al. Decidable Reasoning in a Fragment of the Epistemic Situation Calculus , 2014, KR.
[12] Judea Pearl,et al. On the Logic of Iterated Belief Revision , 1994, Artif. Intell..
[13] Hector J. Levesque,et al. Iterated belief change in the situation calculus , 2000, Artif. Intell..
[14] Hector J. Levesque,et al. Knowledge, action, and the frame problem , 2003, Artif. Intell..
[15] Maria del Pilar Pozos Parra,et al. Belief Revision in the Situation Calculus Without Plausibility Levels , 2006, ISMIS.