On the decidability of HTN planning with task insertion

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2011, Pages 1955-1961

  Geier, Thomas ^a   Bercher, Pascal ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AI PLANNING; COMPLEXITY BOUNDS; EXISTENCE PROBLEMS; HIERARCHICAL TASK NETWORK (HTN) PLANNING; HTN PLANNING; ORDERING CONSTRAINTS; STATE-BASED PLANNING;

ARTIFICIAL INTELLIGENCE; COMPLEX NETWORKS;

COMPUTABILITY AND DECIDABILITY;

EID: 84864996249     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5591/978-1-57735-516-8/IJCAI11-327     Document Type: Conference Paper

References (8)

1. Kutluhan Erol, James Hendler, and Dana S. Nau. UMCP: A sound and complete procedure for hierarchical task-network planning. In Proceedings of the 2nd International Conference on Artificial Intelligence Planning Systems (AIPS 1994), pages 249-254, 1994.
2. Kutluhan Erol, Dana S. Nau, and V. S. Subrahmanian. Complexity, decidability and undecidability results for domain-independent planning. Artificial Intelligence, 76:75-88, 1995.
3. Kutluhan Erol, James Hendler, and Dana S. Nau. Complexity results for HTN planning. Annals of Mathematics and Artificial Intelligence, 18(1):69-93, 1996.
4. Tara A. Estlin, Steve A. Chien, and Xuemei Wang. An argument for a hybrid HTN/operator-based approach to planning. In Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning, pages 182-194, 1997.
5. Alfonso Gerevini, Ugur Kuter, Dana S. Nau, Alessandro Saetti, and Nathaniel Waisbrot. Combining domain-independent planning and HTN planning: The duet planner. In Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), pages 573-577. IOS Press, 2008.
6. John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation, volume 3. Addison-Wesley Reading, MA, second edition, 2000.
7. Subbarao Kambhampati, Amol Mali, and Biplav Srivastava. Hybrid planning for partially hierarchical domains. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI 1998), pages 882-888. AAAI Press, 1998.
8. Bernd Schattenberg and Susanne Biundo. A unifying framework for hybrid planning and scheduling. In Advances in Artificial Intelligence, Proceedings of the 29th German Conference on Artificial Intelligence (KI 2006), pages 361-373. Springer, 2006.