A Semantical Account of Progression in the Presence of Uncertainty
暂无分享,去创建一个
[1] Robert Demolombe,et al. Belief Change: from Situation Calculus to Modal Logic , 2003, J. Appl. Non Class. Logics.
[2] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[3] J. K. Hunter,et al. Measure Theory , 2007 .
[4] Johan van Benthem,et al. Dynamic Update with Probabilities , 2009, Stud Logica.
[5] Gerhard Lakemeyer,et al. ESP: A Logic of Only-Knowing, Noisy Sensing and Acting , 2007, AAAI.
[6] Michael Thielscher,et al. Planning with Noisy Actions , 2001, Australian Joint Conference on Artificial Intelligence.
[7] Hector J. Levesque,et al. Reasoning about Noisy Sensors in the Situation Calculus , 1995, IJCAI.
[8] Yde Venema,et al. Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.
[9] Fangzhen Lin,et al. How to Progress a Database , 1997, Artif. Intell..
[10] Joseph Y. Halpern. Reasoning about uncertainty , 2003 .
[11] G. E. Hughes,et al. An introduction to modal logic, 2e éd., 1 vol , 1973 .
[12] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[13] Gerhard Lakemeyer,et al. On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols , 2011, IJCAI.
[14] Gerhard Lakemeyer,et al. Point-based value iteration: an anytime algorithm for POMDPs , 2003, IJCAI 2003.
[15] Ronald Fagin,et al. Reasoning about knowledge and probability , 1988, JACM.
[16] Jerzy Tiuryn,et al. Dynamic logic , 2001, SIGA.