PDDL+: Modelling Continuous Time-dependent Effects

Cached

Download Links

by Maria Fox , Derek Long
Citations:7 - 0 self

Active Bibliography

431 PDDL2.1: An extension to PDDL for expressing temporal planning domains – Maria Fox, Derek Long - 2003
30 Modelling mixed discrete-continuous domains for planning – Maria Fox, Derek Long - 2006
94 Bridging the gap between planning and scheduling – David E. Smith, Jeremy Frank, Ari K. Jónsson
15 Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches – Luca Chittaro, Angelo Montanari - 2002
A MODEL-BUILDER FOR EVENT CALCULUS Constructing Models for Continuous-Time and Continuous-Change Event Calculus ∗ – Ankesh Khandelwal, Peter Fox
18 Systems that detect and repair their own mistakes – Khemdut Purang - 2001
119 The 3rd international planning competition: Results and analysis – Derek Long, Maria Fox - 2003
Strathprints Institutional Repository – D. Validating, In Workshop, Richard Howey, Derek Long
6 Validating plans with continuous effects – Richard Howey, Derek Long - 2003
1 Bridging the Modelling Gap: Examining the Expressiveness of Planning Domain Description Languages – Derek Long, Maria Fox
Chapter 17 Event Calculus – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Erik T. Mueller
6 Representation of Temporal Knowledge for Web-based Applications – Stephanie Spranger - 2002
18 Causality and the Qualification Problem – Michael Thielscher - 1996
13 Integrating Discrete and Continuous Change in a Logical Framework – Javier Pinto - 1997
145 Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions – Lenhart K. Schubert - 1990
Motivated Action Theory: A Formal Theory of Causal Reasoning – Lynn Andrea, Lynn Andrea Stein, Leora Morgenstern - 1994
35 Active Logics: A Unified Formal Approach to Episodic Reasoning – Jennifer Elgot-drapkin, Sarit Kraus, Michael Miller, Madhura Nirkhe, Donald Perlis
68 A Circumscriptive Calculus of Events – Murray Shanahan, London Sw Bz - 1995
17 Extending TALplanner with Concurrency and Resources – Jonas Kvarnström, Patrick Doherty, Patrik Haslum - 2000