Belief revision and projection in the epistemic situation calculus
暂无分享,去创建一个
Gerhard Lakemeyer | Maurice Pagnucco | Christoph Schwering | G. Lakemeyer | M. Pagnucco | C. Schwering
[1] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[2] J. Pearl,et al. On the Logic of Iterated Belief Revision , 1994, Artif. Intell..
[3] Michael Thielscher,et al. Iterated Belief Revision, Revised , 2005, IJCAI.
[4] J. McCarthy. Situations, Actions, and Causal Laws , 1963 .
[5] Krister Segerberg. Irrevocable Belief Revision in Dynamic Doxastic Logic , 1998, Notre Dame J. Formal Log..
[6] Donald Nute,et al. Counterfactuals , 1975, Notre Dame J. Formal Log..
[7] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[8] Johan van Benthem,et al. Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.
[9] Richard Booth,et al. Admissible and Restrained Revision , 2006, J. Artif. Intell. Res..
[10] P G rdenfors,et al. Knowledge in flux: modeling the dynamics of epistemic states , 1988 .
[11] Hector J. Levesque,et al. Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..
[12] Craig Boutilier,et al. Revision Sequences and Nested Conditionals , 1993, IJCAI.
[13] H. V. Ditmarsch. Prolegomena to Dynamic Logic for Belief Revision , 2005 .
[14] Gerhard Lakemeyer,et al. Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus , 2015, IJCAI.
[15] Gerhard Lakemeyer,et al. A Semantic Account of Iterated Belief Revision in the Situation Calculus , 2014, ECAI.
[16] Samir Guglani. Knowledge , 2016, The Lancet.
[17] Maurice Pagnucco,et al. Dynamic belief revision operators , 2003, Artif. Intell..
[18] I. Levi. Iteration of conditionals and the Ramsey test , 1988, Synthese.
[19] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[20] Hector J. Levesque,et al. Iterated belief change in the situation calculus , 2000, Artif. Intell..
[21] Philip Hugly,et al. There Is A Problem with Substitutional Quantification , 2008 .
[22] Hector J. Levesque,et al. Knowledge, action, and the frame problem , 2003, Artif. Intell..
[23] John McCarthy,et al. Programs with common sense , 1960 .
[24] Marek J. Sergot,et al. A logic-based calculus of events , 1989, New Generation Computing.
[25] Michael Thielscher,et al. From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..
[26] W. Hoek,et al. Dynamic Epistemic Logic , 2007 .
[27] Craig Boutilier,et al. Iterated revision and minimal change of conditional beliefs , 1996, J. Philos. Log..
[28] Gerhard Lakemeyer,et al. Decidable Reasoning in a First-Order Logic of Limited Conditional Belief , 2016, ECAI.
[29] Peter Gärdenfors,et al. Belief Revision , 1995 .
[30] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[31] Wolfgang Spohn,et al. Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .
[32] P. Gärdenfors. Belief Revisions and the Ramsey Test for Conditionals , 1986 .
[33] F. Ramsey. General Propositions and Causality , 1931 .
[34] Hans Rott. Coherence and Conservatism in the Dynamics of Belief II: Iterated Belief Change without Dispositional Coherence , 2003, J. Log. Comput..
[35] Christoph Schwering,et al. A Reasoning System for a First-Order Logic of Limited Belief , 2017, IJCAI.
[36] Gerhard Lakemeyer,et al. Cognitive Robotics , 2008, Handbook of Knowledge Representation.
[37] Maria del Pilar Pozos Parra,et al. Belief Revision in the Situation Calculus Without Plausibility Levels , 2006, ISMIS.
[38] Adam J. Grove,et al. Two modellings for theory change , 1988, J. Philos. Log..
[39] Craig Boutilier,et al. A Unified Model of Qualitative Belief Change: A Dynamical Systems Perspective , 1998, Artif. Intell..
[40] Judea Pearl,et al. System Z: a Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning^ , 1990 .
[41] Pavlos Peppas,et al. Handbook of Knowledge Representation Edited Belief Revision Pavlos Peppas 8.1 Introduction , 2022 .
[42] Christoph Schwering. Conditional beliefs in action , 2016 .
[43] James P. Delgrande,et al. Parallel belief revision: Revising by sets of formulas , 2012, Artif. Intell..
[44] Gerhard Lakemeyer,et al. A semantic characterization of a useful fragment of the situation calculus with knowledge , 2011, Artif. Intell..
[45] Craig Boutilier,et al. Inaccessible Worlds and Irrelevance: Preliminary Report , 1991, IJCAI.
[46] Yongmei Liu,et al. Multiagent Knowledge and Belief Change in the Situation Calculus , 2013, AAAI.
[47] Hector J. Levesque,et al. Belief Revision with Sensing and Fallible Actions , 2012, KR.
[48] Joseph Y. Halpern,et al. Belief Revision: A Critique , 1996, J. Log. Lang. Inf..
[49] Raymond Reiter,et al. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.
[50] Gabriele Kern-Isberner,et al. Conditionals in Nonmonotonic Reasoning and Belief Revision , 2001, Lecture Notes in Computer Science.
[51] Hans Rott,et al. Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators , 2009, Towards Mathematical Philosophy.
[52] Gerhard Lakemeyer,et al. First-Order Strong Progression for Local-Effect Basic Action Theories , 2008, KR.
[53] Gerhard Lakemeyer,et al. Projection in the Epistemic Situation Calculus with Belief Conditionals , 2015, AAAI.
[54] Guillaume Aucher,et al. A Combined System for Update Logic and Belief Revision , 2004, PRIMA.
[55] H. Kyburg. Iterated Belief Change Based on Epistemic Entrenchment* , 1994 .
[56] Peter Gärdenfors,et al. Knowledge in Flux: Modeling the Dynamics of Epistemic States , 2008 .
[57] Yongmei Liu,et al. On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus , 2015, IJCAI.
[58] Alexandru Baltag,et al. A qualitative theory of dynamic interactive belief revision , 2008 .
[59] Hector J. Levesque,et al. How to progress a database III , 2013, Artif. Intell..
[60] Fangzhen Lin,et al. How to Progress a Database , 1997, Artif. Intell..
[61] Hooman Samani,et al. Cognitive Robotics , 2015, MIWAI.