Uni-Logo

This page is only available in German.

Handlungsplanung - Literatur

Einführung, Allgemeines, Theorie

Stuart Russell and Peter Norvig, Artificial Intelligence: A Modern Approach, Chapter IV: Planning
Prentice Hall, 2003.
Fakultätsbibliothek FAW, Standnummer: Frei 91: CI/2.0/25a

Dana Nau, Malik Ghallab and Paolo Traverso, Automated Planning: Theory and Practice,
Morgan Kaufmann Publishers, San Fransisco, CA, 2004.
Fakultätsbibliothek FAW, Standnummer: Frei 91: CI/2.8/24

Daniel S. Weld, Recent Advances in AI Planning.
AI Magazine 20(2), 1999, (PS)

Subbarao Kambhampati, Recent Advances in AI Planning: A Unifying View.
Tutorial at the Seventeenth National Conference on Artificial Intelligence (AAAI), 2000. (HTML)

Tom Bylander, The Computational Complexity of Propositional STRIPS Planning,
Artificial Intelligence 69(1-2):165-204, 1994. (PS.GZ)

Planen als Heuristische Suche

Blai Bonet and Héctor Geffner, Planning as Heuristic Search.
Artificial Intelligence 129, 2001. (PS)

Jörg Hoffmann and Bernhard Nebel, The FF Planning System: Fast Plan Generation Through Heuristic Search,
Journal of Artificial Intelligence Research, Volume 14, 2001, pages 253 - 302. (PDF) (PS)

Malte Helmert, A Planning Heuristic Based on Causal Graph Analysis,
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS), pages 161-170, 2004.
(PDF)

Planen als Erfüllbarkeitsproblem

Henry Kautz and Bart Selman, Planning as Satisfiability
Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI), 1992 (PS)

Henry Kautz and Bart Selman, Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search.
Proceedings of the Thirteenth National Conference on Artificial Intelligence, 1996. (PS)

Planen als Modellprüfung mit BDDs

Stefan Edelkamp and Malte Helmert, The Model Checking Integrated Planning System (MIPS),
AI Magazine 22(3):67-71, 2001. (PDF)

Nichtdeterministisches Planen

Blai Bonet and Héctor Geffner, Planning with Incomplete Information as Heuristic Search in Belief Space.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning and Scheduling, 2000. (PS)

Alessandro Cimatti, Marco Pistore, Marco Roveri, and Paolo Traverso, Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking.
Technical Report #0104-11 at the Isituto Trentino di Cultura, 2001. (PS.GZ)

Anwendungen

Nicola Muscettola, P. Pandurang Nayak, Barney Pell and Brian C. Williams, Remote Agent: To Boldly Go Where No AI System Has Gone Before.
Artificial Intelligence 103, 1998. (PDF)

Dana S. Nau, Satyandra K. Gupta, and William C. Regli, AI Planning Versus Manufacturing-Operation Planning: A Case Study.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995. (PS)

Mark S. Boddy, Johnathan Gohde, Thomas Haigh and Steven A. Harp, Course of Action Generation for Cyber Security Using Classical Planning.
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS), pages 12-21, 2005.
(PDF)

Sylvie Thiébaux, Marie-Odile Cordier, Olivier Jehl and Jean-Paul Krivine. Supply restoration in Power Distribution Systems - A Case Study in Integrating Model-Based Diagnosis and Repair Planning.
Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI), pages 525-532, 1996.
(PDF)

Sonstiges

Avrim L. Blum and Merrick L. Furst, Fast Planning Through Planning Graph Analysis.
Artificial Intelligence 90, 1997. (PDF)