Generalized planning: Synthesizing plans that work for multiple environments

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2011, Pages 918-923

  Hu, Yuxiao ^a   De Giacomo, Giuseppe ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE SET; FINITE-STATE; FORMAL DEFINITION; GENERALIZED PLANNING; ONE-DIMENSIONAL PROBLEM; REPRESENTATION FORMALISMS;

ARTIFICIAL INTELLIGENCE;

SET THEORY;

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

References (17)

1. Alexandre Albore, Héctor Palacios, and Héctor Geffner. A translation-based approach to contingent planning. In Proceedings of the International Conference on Automated Planning and Scheduling, 2009.
2. Fahiem Bacchus and Froduald Kabanza. Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence, 22(1-2):5-27, 1998.
3. Bonet Bonet, Héctor Palacios, and Héctor Geffner. Automatic derivation of memoryless policies and finitestate controllers using classical planners. In ICAPS, 2009.
4. Tom Bylander. The computational complexity of propositional strips planning. Artificial Intelligence, 69(1-2):165-204, 1994.
5. Giuseppe De Giacomo and Moshe Y. Vardi. Automata-theoretic approach to planning for temporally extended goals. In ECP, 1999.
6. Michael R. Garey and David S. Johnson. Computers and Intractability - A guide to NP-completeness. W. H. Freeman and Co., 1979.
7. Malik Ghallab, Dana Nau, and Paolo Traverso. Automated Planning: Theory and Practise. Morgan Kaufmann, 2004.
8. Patrik Haslum and Peter Jonsson. Some results on the complexity of planning with incomplete information. In ECP, pages 308-318, 1999.
9. Yuxiao Hu and Hector Levesque. Planning with loops: Some new results. In ICAPS Workshop on Generalized Planning, 2009.
10. Yuxiao Hu and Hector Levesque. A correctness result for reasoning about one-dimensional planning problems. In KR, 2010.
11. Hector Levesque. Planning with loops. In IJCAI, 2005.
12. Héctor Palacios and Héctor Geffner. Compiling uncertainty away in conformant planning problems with bounded width. Journal of Artificial Intelligence Research, 35:623-675, 2009.
13. Amir Pnueli and Roni Rosner. On the synthesis of a reactive module. In POPL, pages 179-190, 1989.
14. Cédric Pralet, Gérard Verfaillie, Michel Lemaître, and Guillaume Infantes. Constraint-based controller synthesis in non-deterministic and partially observable domains. In ECAI, 2010.
15. Jussi Rintanen. Complexity of planning with partial observability. In ICAPS, pages 345-354, 2004.
16. S. Srivastava, N. Immerman, and S. Zilberstein. Learning generalized plans using abstract counting. In AAAI, 2008.
17. Siddharth Srivastava, Neil Immerman, and Shlomo Zilberstein. A new representation and associated algorithms for generalized planning. Artificial Intelligence, 175(2):615-647, 2011.