Probabilistic Complex Actions in GOLOG
暂无分享,去创建一个
[1] Wolfram Burgard,et al. Experiences with an Interactive Museum Tour-Guide Robot , 1999, Artif. Intell..
[2] Nicholas Kushmerick,et al. An Algorithm for Probabilistic Planning , 1995, Artif. Intell..
[3] Mikhail Soutchanski,et al. An On-line Decision-Theoretic Golog Interpreter , 2001, IJCAI.
[4] Hector J. Levesque,et al. Knowledge, action, and the frame problem , 2003, Artif. Intell..
[5] Hector J. Levesque,et al. Reasoning about Noisy Sensors in the Situation Calculus , 1995, IJCAI.
[6] Gerhard Lakemeyer,et al. ccGolog -- A Logical Language Dealing with Continuous Change , 2003, Log. J. IGPL.
[7] Leslie Pack Kaelbling,et al. Planning and Acting in Partially Observable Stochastic Domains , 1998, Artif. Intell..
[8] David L. Poole,et al. A Framework for Decision-Theoretic Planning I: Combining the Situation Calculus, Conditional Plans, Probability and Utility , 1996, UAI.
[9] David Poole,et al. The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty , 1997, Artif. Intell..
[10] Daniel S. Weld,et al. Probabilistic Planning with Information Gathering and Contingent Execution , 1994, AIPS.
[11] Kurt Konolige. COLBERT: A Language for Reactive Control in Sapphira , 1997, KI.
[12] Arnon Avron,et al. Transitive Closure and the Mechanization of Mathematics , 2003 .
[13] Craig Boutilier,et al. Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.
[14] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[15] Blai Bonet. High-Level Planning and Control with Incomplete Information Using POMDP's , 1998 .
[16] Gerhard Lakemeyer,et al. On sensing and off-line interpreting in GOLOG , 1999 .
[17] Rachid Alami,et al. A Possibilistic Planner that Deals with Non-Determinism and Contingency , 1999, IJCAI.
[18] J. McCarthy. Situations, Actions, and Causal Laws , 1963 .
[19] Matthew Hennessy,et al. Semantics of programming languages - an elementary introduction using structural operational semantics , 1990 .
[20] Ray Reiter,et al. On knowledge-based programming with sensing in the situation calculus , 2001, ACM Trans. Comput. Log..
[21] Michael L. Littman,et al. MAXPLAN: A New Approach to Probabilistic Planning , 1998, AIPS.
[22] D. McDermott. Transformational Planning of Reactive Behavior , 1992 .
[23] Raymond Reiter,et al. Sequential, Temporal GOLOG , 1998, KR.
[24] Michael Thielscher,et al. Introduction to the Fluent Calculus , 1998, Electron. Trans. Artif. Intell..
[25] Gerhard Lakemeyer,et al. AOL: A logic of Acting, Sensing, Knowing, and Only Knowing , 1998, KR.
[26] Hector J. Levesque,et al. What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.
[27] Neil Immerman. Languages which capture complexity classes , 1983, STOC '83.
[28] Hector J. Levesque,et al. ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..
[29] David Poole,et al. Decision Theory, the Situation Calculus and Conditional Plans , 1998, Electron. Trans. Artif. Intell..
[30] John Langford,et al. Probabilistic Planning in the Graphplan Framework , 1999, ECP.