|
347
|
PDDL2.1: An extension to PDDL for expressing temporal planning domains
– Maria Fox, Derek Long
- 2003
|
|
9
|
Modelling Mixed Discrete-Continuous Domains for Planning
– Maria Fox, Derek Long
- 2004
|
|
13
|
Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches
– Luca Chittaro, Angelo Montanari
- 2002
|
|
101
|
The 3rd international planning competition: Results and analysis
– Derek Long, Maria Fox
- 2003
|
|
1
|
Bridging the Modelling Gap: Examining the Expressiveness of Planning Domain Description Languages
– Derek Long, Maria Fox
|
|
5
|
Validating plans with continuous effects
– Richard Howey, Derek Long
- 2003
|
|
6
|
Representation of Temporal Knowledge for Web-based Applications
– Stephanie Spranger
- 2002
|
|
18
|
Causality and the Qualification Problem
– Michael Thielscher
- 1996
|
|
10
|
Integrating Discrete and Continuous Change in a Logical Framework
– Javier Pinto
- 1997
|
|
33
|
Active Logics: A Unified Formal Approach to Episodic Reasoning
– Jennifer Elgot-drapkin, Sarit Kraus, Michael Miller, Madhura Nirkhe, Donald Perlis
|
|
|
Motivated Action Theory: A Formal Theory of Causal Reasoning
– Lynn Andrea, Lynn Andrea Stein, Leora Morgenstern
- 1994
|
|
137
|
Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions
– Lenhart K. Schubert
- 1990
|
|
61
|
A Circumscriptive Calculus of Events
– Murray Shanahan, London Sw Bz
- 1995
|
|
16
|
Extending TALplanner with Concurrency and Resources
– Jonas Kvarnström, Patrick Doherty, Patrik Haslum
- 2000
|
|
|
Handling fuzzy temporal constraints in a planning environment Marc de la Asunción
– Juan Fernández-olivares, Luis Castillo, Antonio González, Francisco Palao, Luis Castillo
- 2005
|
|
9
|
An approach to temporal planning and scheduling in domains with predicatable exogenous events
– Alfonso Gerevini, Alessandro Saetti, Ivan Serina
- 2006
|
|
33
|
Constraint-based attribute and interval planning
– Jeremy Frank, Ari Jónsson
- 2003
|
|
34
|
Sapa: A multi-objective metric temporal planner
– Subbarao Kambhampati
|
|
36
|
Taming Numbers and Durations in the Model Checking Integrated Planning System
– Stefan Edelkamp
- 2002
|
