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)