Reasoning about Probabilities in Unbounded First-Order Dynamical Domains
暂无分享,去创建一个
[1] Johan van Benthem,et al. Dynamic Update with Probabilities , 2009, Stud Logica.
[2] Hector J. Levesque,et al. Reasoning about Probabilities in Dynamic Systems using Goal Regression , 2013, UAI.
[3] H. Gaifman. Concerning measures in first order calculi , 1964 .
[4] Nils J. Nilsson,et al. Probabilistic Logic * , 2022 .
[5] Joseph Y. Halpern. An Analysis of First-Order Logics of Probability , 1989, IJCAI.
[6] Ronald Fagin,et al. Reasoning about knowledge and probability , 1988, JACM.
[7] Hector J. Levesque,et al. Reasoning about Continuous Uncertainty in the Situation Calculus , 2013, IJCAI.
[8] Hector J. Levesque,et al. A Logical Theory of Localization , 2016, Stud Logica.
[9] Fangzhen Lin,et al. How to Progress a Database , 1997, Artif. Intell..
[10] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[11] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[12] Joseph Y. Halpern. Reasoning about uncertainty , 2003 .
[13] Samir Guglani. Knowledge , 2016, The Lancet.
[14] Martin Meier,et al. Probability Logic for Type Spaces , 2001 .
[15] Pedro M. Domingos,et al. A Tractable First-Order Probabilistic Logic , 2012, AAAI.
[16] Joseph Y. Halpern,et al. A logical characterization of iterated admissibility , 2009, TARK '09.
[17] Miodrag Raskovic,et al. Some first-order probability logics , 2000, Theor. Comput. Sci..
[18] Gerhard Lakemeyer,et al. Situations, Si! Situation Terms, No! , 2004, KR.
[19] Fahiem Bacchus,et al. Representing and reasoning with probabilistic knowledge , 1988 .
[20] Dexter Kozen,et al. Semantics of probabilistic programs , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
[21] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[22] Stuart J. Russell,et al. Unifying logic and probability , 2015, Commun. ACM.
[23] Robert J. Aumann,et al. Interactive epistemology II: Probability , 1999, Int. J. Game Theory.
[24] Gerhard Lakemeyer,et al. Cognitive Robotics , 2008, Handbook of Knowledge Representation.
[25] Gerhard Lakemeyer,et al. A First-Order Logic of Probability and Only Knowing in Unbounded Domains , 2016, AAAI.
[26] B. Nebel. Introduction to Modal Logic Introduction , 2009 .
[27] Gerhard Lakemeyer,et al. ESP: A Logic of Only-Knowing, Noisy Sensing and Acting , 2007, AAAI.
[28] Ian Pratt-Hartmann,et al. Total Knowledge , 2000, AAAI/IAAI.
[29] Hector J. Levesque,et al. Reasoning about Noisy Sensors and Effectors in the Situation Calculus , 1995, Artif. Intell..
[30] Hector J. Levesque,et al. How to Progress Beliefs in Continuous Domains , 2014, KR.
[31] Gerhard Lakemeyer,et al. A semantic characterization of a useful fragment of the situation calculus with knowledge , 2011, Artif. Intell..
[32] Joseph Y. Halpern,et al. Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.
[33] Sebastian Thrun,et al. Probabilistic robotics , 2002, CACM.
[34] Hector J. Levesque,et al. On the Semantics of Deliberation in IndiGolog — from Theory to Implementation , 2002, Annals of Mathematics and Artificial Intelligence.
[35] David Poole,et al. First-order probabilistic inference , 2003, IJCAI.