Self-Maintenance for Autonomous Robots in the Situation Calculus
暂无分享,去创建一个
[1] Hector,et al. High-level robotic control : beyond planning Position paper , 2002 .
[2] Craig Boutilier,et al. Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.
[3] J. McCarthy. Situations, Actions, and Causal Laws , 1963 .
[4] Alexander Ferrein,et al. Logic-based robot control in highly dynamic domains , 2008, Robotics Auton. Syst..
[5] Félix Ingrand,et al. Interleaving Temporal Planning and Execution in Robotics Domains , 2004, AAAI.
[6] Raymond Reiter,et al. Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.
[7] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[8] Gerhard Lakemeyer,et al. Cognitive Robotics , 2008, Handbook of Knowledge Representation.
[9] Mikhail Soutchanski,et al. Reasoning about Large Taxonomies of Actions , 2008, AAAI.
[10] Gerhard Lakemeyer,et al. A Situation-Calculus Semantics for an Expressive Fragment of PDDL , 2007, AAAI.
[11] Alberto Finzi,et al. Flexible Interval Planning in Concurrent Temporal Golog , 2004 .
[12] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[13] Hector J. Levesque,et al. ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..