A Situation-Calculus Semantics for an Expressive Fragment of PDDL
暂无分享,去创建一个
[1] Bernhard Nebel,et al. On the Compilability and Expressive Power of Propositional Planning Formalisms , 2000, J. Artif. Intell. Res..
[2] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .
[3] Gerhard Lakemeyer,et al. Situations, Si! Situation Terms, No! , 2004, KR.
[4] Subbarao Kambhampati,et al. When is Temporal Planning Really Temporal? , 2007, IJCAI.
[5] Gerhard Lakemeyer,et al. cc-Golog: Towards More Realistic Logic-Based Robot Controllers , 2000, AAAI/IAAI.
[6] Gerhard Lakemeyer,et al. Towards an Integration of Golog and Planning , 2007, IJCAI.
[7] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[8] Edwin P. D. Pednault,et al. ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.
[9] Raymond Reiter,et al. Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.
[10] Gerhard Lakemeyer,et al. Semantics for a useful fragment of the situation calculus , 2005, IJCAI.
[11] R. Reiter,et al. Temporal reasoning in the situation calculus , 1994 .
[12] Maria Fox,et al. PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..
[13] Fangzhen Lin,et al. How to Progress a Database , 1997, Artif. Intell..
[14] Craig A. Knoblock,et al. PDDL-the planning domain definition language , 1998 .
[15] Vladimir Lifschitz,et al. ON THE SEMANTICS OF STRIPS , 1987 .