Temporal planning in domains with linear processes

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 1671-1676

  Coles, Amanda ^a   Coles, Andrew ^a   Fox, Maria ^a   Long, Derek ^a  

^a UNIVERSITY OF STRATHCLYDE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

CONTINUOUS PLANNING; DISCRETISATION; LINEAR PROCESS; LINEAR PROGRAMS; NUMERIC VALUES; TEMPORAL PLANNING;

LINEAR PROGRAMMING;

EID: 78751685237     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. A. I. Coles, M. Fox, D. Long, and A. J. Smith. Planning with problems requiring temporal coordination. In Proc. 23rd Nat. Conf. on AI (AAAI), 2008.
2. W. Cushing, S. Kambhampati,Mausam, and D.Weld. When is temporal planning really temporal planning? In Proc. Int. Joint Conf. on AI (IJCAI), pages 1852-1859, 2007.
3. H. Dierks. Finding optimal plans for domains with restricted continuous effects with uppaal-cora. In ICAPS Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems, 2005.
4. M. Binh Do and S. Kambhampati. Sapa: a domain-independent heuristic metric temporal planner. In Proc. European Conf. on Planning (ECP'01), 2001.
5. S. Edelkamp. Taming numbers and durations in a model-checking integrated planning system. J. Art. Int. Research, 20:195-238, 2003.
6. M. Fox and D. Long. PDDL2.1: An Extension of PDDL for Expressing Temporal Planning Domains. J. Art. Int. Research, 20:61-124, 2003.
7. M. Fox and D. Long. Modelling mixed discrete-continuous domains for planning. J. Art. Int. Research, 27:235-297, 2006.
8. J. Frank and P.H. Morris. Bounding the resource availability of activities with linear resource impact. In Proc. Int. Conf. on AI Planning and Scheduling, ICAPS, 2007.
9. A. Garrido, E. Onaindia, and F. Barber. A temporal planning system for time-optimal planning. In Progress in AI, volume 2258 of LNCS, 2001.
10. A. Gerevini, A. Saetti, and I. Serina. An approach to temporal planning and scheduling in domains with predictable exogenous events. J. Art. Int. Research, 25:187-231, 2006.
11. J. Hoffmann. The Metric-FF Planning System: Translating "Ignoring Delete Lists" to Numeric State Variables. J. Art. Int. Research, 20:291-341, 2003.
12. R. Howey and D. Long. VAL's Progress: The Automatic Validation Tool for PDDL2.1 used in the International Planning Competition. In ICAPS 2003 workshop: 'The Competition: Impact, Organization, Evaluation, Benchmarks', pages 28-37, 2003.
13. T. Léauté and B.C. Williams. Coordinating Agile Systems through the Model-based Execution of Temporal Plans. In Proc. 20th Nat. Conf. on AI (AAAI), 2005.
14. H. Li and B.C. Williams. Generative systems for hybrid planning based on flow tubes. In Proc. 18th Int. Conf. on Aut. Planning and Scheduling (ICAPS), 2008.
15. D. Long and M. Fox. Exploiting a Graphplan Framework in Temporal Planning. In Proc. 13th Int. Conf. on Aut. Planning and Scheduling (ICAPS), pages 52-61, 2003.
16. D. McDermott. Reasoning about Autonomous Processes in an Estimated Regression Planner. In Proc. 13th Int. Conf. on Aut. Planning and Scheduling (ICAPS), 2003.
17. S. Penberthy and D.Weld. Temporal Planning with Continuous Change. In Proc. 12th Nat. Conf. on AI (AAAI), pages 1010-1015. AAAI/MIT Press, 1994.
18. Ji-Ae Shin and E. Davis. Processes and Continuous Change in a SAT-based Planner. Artificial Intelligence, 166:194-253, 2005.
19. D. E. Smith and D. S. Weld. Temporal Planning with Mutual Exclusion Reasoning. In Proc. 16th Int. Joint Conf. on Art. Int. (IJCAI), pages 326-337, 1999.