Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic
暂无分享,去创建一个
[1] Nils J. Nilsson,et al. Artificial Intelligence , 1974, IFIP Congress.
[2] Lloyd Humberstone. The modal logic of 'all and only' , 1987, Notre Dame J. Formal Log..
[3] D. Monderer,et al. Approximating common knowledge with common beliefs , 1989 .
[4] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[5] Ronald Fagin,et al. Reasoning about knowledge and probability , 1988, JACM.
[6] Hector J. Levesque,et al. Reasoning about Noisy Sensors and Effectors in the Situation Calculus , 1995, Artif. Intell..
[7] Craig Boutilier,et al. Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.
[8] Sebastian Thrun,et al. Probabilistic robotics , 2002, CACM.
[9] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[10] Joseph Y. Halpern. Reasoning about uncertainty , 2003 .
[11] Dieter Fox,et al. Bayesian Filtering for Location Estimation , 2003, IEEE Pervasive Comput..
[12] David A. McAllester,et al. Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence , 2009, UAI 2009.
[13] Oriol Carbonell-Nicolau. Games and Economic Behavior , 2011 .
[14] Gerhard Lakemeyer,et al. A semantic characterization of a useful fragment of the situation calculus with knowledge , 2011, Artif. Intell..
[15] Hector J. Levesque,et al. PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains , 2014, AAAI.
[16] Hector J. Levesque,et al. ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains , 2015, IJCAI.
[17] Gerhard Lakemeyer,et al. Reasoning about Probabilities in Unbounded First-Order Dynamical Domains , 2017, IJCAI.
[18] Hector J. Levesque,et al. Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems , 2018, Artif. Intell..
[19] IEEE Pervasive Computing , 2020, Computer.
[20] P. Stone. Actions , 2019, Encyclopedia of Machine Learning and Data Mining.