论文信息 - Self-Maintenance for Autonomous Robots controlled by ReadyLog - 字舞流文

Self-Maintenance for Autonomous Robots controlled by ReadyLog

Gerhard Lakemeyer | Andreas Wortmann | Stefan Schiffer | G. Lakemeyer | A. Wortmann | S. Schiffer

[1] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[2] Raymond Reiter,et al. Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.

[3] Craig Boutilier,et al. Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.

[4] Hector J. Levesque,et al. ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[5] Félix Ingrand,et al. Interleaving Temporal Planning and Execution in Robotics Domains , 2004, AAAI.

[6] Raymond Reiter,et al. Some contributions to the metatheory of the situation calculus , 1999, JACM.

[7] Mikhail Soutchanski,et al. Reasoning about Large Taxonomies of Actions , 2008, AAAI.

[8] Alexander Ferrein,et al. Logic-based robot control in highly dynamic domains , 2008, Robotics Auton. Syst..

[9] J. McCarthy. Situations, Actions, and Causal Laws , 1963 .

[10] Gerhard Lakemeyer,et al. A Situation-Calculus Semantics for an Expressive Fragment of PDDL , 2007, AAAI.

[11] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.