Current trends in automated planning

AI Magazine

Volumn 28, Issue 4, 2007, Pages 43-58

  Nau, Dana S ^a,b  

^a UNIVERSITY OF MARYLAND   (United States)

^b University's Laboratory for Computational Cultural Dynamics

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTOMATION; INFORMATION TECHNOLOGY;

AUTOMATED PLANNING TECHNOLOGY; AUTOMATED-PLANNING RESEARCH;

PLANNING;

EID: 39049093187     PISSN: 07384602     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (19)

1. Bacchus, F., and Kabanza, F. 2000. Using Temporal Logics to Express Search Control Knowledge for Planning. Artificial Intelligence 116(1-2): 123-191.
2. Bonet, B., and Geffner, H. 1999. Planning as Heuristic Search: New Results. In Proceedings of the European Conference on Planning (ECP). Berlin: Springer-Verlag.
3. Boutilier, C.; Dean, T. L.; and Hanks, S. 1996. Planning under Uncertainty: Structural Assumptions and Computational Leverage. In New Directions in AI Planning, ed. M. Ghallab and A. Milani, 157-171. Amsterdam: IOS Press.
4. Cimatti, A.; Pistore, M.; Roveri, M.; and Traverso, P. 2003. Weak, Strong, and Strong Cyclic Planning Via Symbolic Model Checking. Artificial Intelligence, 147(1-2): 35-84.
5. Estlin, T.; Castaño, R.; Anderson, B.; Gaines, D.; Fisher, F.; and Judd, M. 2003. Learning and Planning for Mars Rover Science. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI). San Francisco: Morgan Kaufmann Publishers.
6. Ghallab, M.; Nau, D.; and Traverso, P. 2004. Automated Planning: Theory and Practice. San Francisco: Morgan Kaufmann Publishers.
7. Gupta, S. K.; Bourne, D. A; Kim, K.; and Krishanan, S. S. 1998. Automated Process Planning for Sheet Metal Bending Operations. Journal of Manufacturing Systems 17(5): 338-360.
8. Hoffmann, J., and Nebel, B. 2001. The FF Planning System: Fast Plan Generation through Heuristic Search. Journal of Artificial Intelligence Research, 14: 253-302.
9. Kautz, H., and Selman, B. 1992. Planning as Satisfiability. In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI), 359-363. Chichester, UK: John Wiley and Sons.
10. Koehler, J., and Schuster, K. 2000. Elevator Control as a Planning Problem. In Proceedings of the Fifth International Conference on AI Planning Systems (AIPS), 331-338. Menlo Park, CA: AAAI Press.
11. Kuter, U., and Nau, D. 2005. Using Domain-Configurable Search Control for Probabilistic Planning. In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI). Menlo Park, CA: AAAI Press.
12. Kuter, U.; Nau, D.; Pistore, M.; and Traverso, P. 2005. A Hierarchical Task-Network Planner Based on Symbolic Model Checking. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), 300-309. Menlo Park, CA: AAAI Press.
13. Kvarnström, J., and Doherty, P. 2001. TALplanner: A Temporal Logic Based Forward Chaining Planner. Annals of Mathematics and Artificial Intelligence, 30(1-4): 119-169.
14. Muscettola, N.; Nayak, P. P.; Pell, B.; and Williams, B. C. 1998. Remote Agent: To Boldly Go Where No AI System has Gone Before. Artificial Intelligence, 103(1-2): 5-47.
15. Nau, D.; Au, T.-C.; Ilghami, O.; Kuter, U.; Murdock, J. W.; Wu, D.; and Yaman, F. 2003. SHOP2: An HTN Planning System. Journal of Artificial Intelligence Research, 20(December): 379-404.
16. Penberthy, J. S., and Weld, D. 1992. UCPOP: A Sound, Complete, Partial-Order Planner for ADL. In Proceedings of the Third International Conference on Knowledge Representation and Reasoning (KR-92). San Francisco: Morgan Kaufmann Publishers.
17. Smith, S. J. J.; Nau, D. S.; and Throop, T. 1998. Computer Bridge: A Big Win for AI planning. AI Magazine, 19(2): 93-105.
18. Tate, A.; Drabble, B.; and Kirby, R. 1994. O-Plan2: An Architecture for Command, Planning, and Control. San Mateo, CA: Morgan-Kaufmann Publishers.
19. Wilkins, D. E. 1988. Practical Planning: Extending the Classical AI Planning Paradigm. San Mateo, CA: Morgan Kaufmann Publishers.