An investigation into the expressive Power of PDDL2.1

Frontiers in Artificial Intelligence and Applications

Volumn 110, Issue , 2004, Pages 328-332

  Fox, Maria ^a   Long, Derek ^a   Halsey, Keith ^a  

^a UNIVERSITY OF STRATHCLYDE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CANONICAL BASIS; DOMAIN FEATURE; DOMAIN LANGUAGE; DOMAIN MODEL; EXPRESSIVE POWER; INTERNATIONAL PLANNING COMPETITIONS; LANGUAGE CONSTRUCTS; MODELLING CAPABILITIES; PLANNING COMMUNITY; PLANNING DOMAINS;

SEMANTICS;

EID: 85017389684     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (17)

1. J. F. Allen, 'Maintaining knowledge about temporal intervals', Comm. ACM, 26, 832-843, (1983).
2. F. Bacchus and F. Kabanza, 'Planning for temporally extended goals', Annals of Mathematics and Artificial Intelligence, 22, 5-27, (1998).
3. C. Baral, V. Kreinovich, and R. Trejo, 'Computational complexity of planning with temporal goals', in IJCAI, pp. 509-514, (2001).
4. T. Bylander, 'Complexity results for serial decomposability', in Proc. of 10th National Conference on AI, (1992).
5. S. Cresswell and A. Coddington, 'Adapting LPGP to plan with exogenous events and goals with deadlines', in Proc. of ECAI'04, (2004).
6. E.A. Emerson, 'Temporal and modal logic', in Handbook of Theoretical Computer Science, volume B, 995-1072, MIT Press, (1990).
7. M. Fox and D. Long, 'PDDL2.1: An extension to PDDL for expressing temporal planning domains', Journal of AI Research, (2003).
8. M. Helmert, 'Decidability and undecidability results for planning with numerical state variables', in Proc. of AIPS'02, (2002).
9. R. Howey and D. Long, 'VAL's progress: The automatic validation tool for PDDL2.1 used in the international planning competition', in Proceedings of the ICAPS 2003 workshop on the IPC series, (2003).
10. P. Laborie and M. Ghallab, 'Planning with sharable resource constraints', in Proceedings of IJCAI'95. Morgan Kaufmann, (1995).
11. D. McDermott, 'PDDL-the planning domain definition language', Technical report, Available at: www.cs.yale.edu/homes/dvm, (1998).
12. D. McDermott, 'Reasoning about autonomous processes in an estimated-regression planner', in Proceedings of ICAPS'03, (2003).
13. N. Muscettola, 'HSTS: Integrating planning and scheduling', in Intelligent Scheduling, eds., M. Zweben and M.S. Fox, 169-212, Morgan Kaufmann, San Mateo, CA, (1994).
14. B. Nebel, 'On the compilability and expressive power of propositional planning formalisms', Journal of Artificial Intelligence Research, 12, 271-315, (2000).
15. M. Pistore and P. Traverso, 'Planning as model checking for extended goals in non-deterministic domains', in IJCAI, pp. 479-486, (2001).
16. D. E. Smith, 'The case for durative actions: A commentary on PDDL2.1', Journal of AI Research, 20, 149-154, (2003).
17. S. Thiebaux, J. Hoffmann, and B. Nebel, 'In defense of PDDL axioms', in Proceedings of 18th IJCAI, (2003).