Uni-Logo

Principles of AI Planning - Bibliography

Introduction, General

Stuart Russell and Peter Norvig, Artificial Intelligence: A Modern Approach.
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, 2004.
Fakultätsbibliothek FAW, Standnummer: Frei 91: CI/2.8/24

Jussi Rintanen, Introduction to Automated Planning. Lecture Notes for the SS 2005 course.
Albert-Ludwigs-Universität-Freiburg, 2005. (PDF)

Computational Complexity

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

Kutluhan Erol, Dana S. Nau and V. S. Subrahmanian, Complexity, Decidability and Undecidability Results for Domain-Independent Planning.
Artificial Intelligence 76(1-2):65-88, 1995. (PDF of preprint)

Michael L. Littman, Probabilistic Propositional Planning: Representations and Complexity.
Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), pp. 748-754, 1997. (PS)

Patrik Haslum and Peter Jonsson, Some Results on the Complexity of Planning with Incomplete Information.
Proceedings of the 5th European Conference on Planning (ECP-99), pp. 308-318, 1999. (PS.GZ of preprint)

Malte Helmert, Decidability and Undecidability Results for Planning with Numerical State Variables.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002), pp. 303-312, 2002. (PDF)

Jussi Rintanen, Complexity of Planning with Partial Observability.
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), pp. 345-354, 2004. (PDF)

Planning as Heuristic Search

Blai Bonet, Gábor Loerincs and Héctor Geffner, A Fast and Robust Action Selection Mechanism for Planning.
Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), pp. 714-719, 1997. (PS)

Blai Bonet and Héctor Geffner, Planning as Heuristic Search: New Results.
Proceedings of the 5th European Conference on Planning (ECP-99), pp. 360-372, 1999. (PS)

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

Stefan Edelkamp, Planning with Pattern Databases.
Pre-proceedings of the Sixth European Conference on Planning (ECP 2001), pp. 13-24, 2001. (PDF of preprint)

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

Stefan Edelkamp, Symbolic Pattern Databases in Heuristic Search Planning.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002), pp. 274-283, 2002. (PDF)

Patrik Haslum, Blai Bonet and Héctor Geffner, New Admissible Heuristics for Domain-Independent Planning.
Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI 2005), pp. 1163-1168, 2005. (PDF)

Jörg Hoffmann, Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks,
Journal of Artificial Intelligence Research 24:685-758, 2005. (PDF)

Yixin Chen, Benjamin W. Wah, Chih-Wei Hsu, Temporal Planning using Subgoal Partitioning and Resolution in SGPlan.
Journal of Artificial Intelligence Research 26:323-369, 2006. (PDF)

Malte Helmert, The Fast Downward Planning System.
Journal of Artificial Intelligence Research 26:191-246, 2006. (PDF)

Stefan Edelkamp, Automated Creation of Pattern Database Search Heuristics.
Proceedings of the 4th Workshop on Model Checking and Artificial Intelligence (MoChArt 2006), pp. 35-50, 2007. (SpringerLink)

Patrik Haslum, Adi Botea, Malte Helmert, Blai Bonet and Sven Koenig, Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning.
Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI 2007), pp. 1007-1012, 2007. (PDF)

Malte Helmert, Patrik Haslum and Jörg Hoffmann, Flexible Abstraction Heuristics for Optimal Sequential Planning.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007), pp. 176-183, 2007. (PDF)

Vitaly Mirkis and Carmel Domshlak, Cost-Sharing Approximations for h+.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007), pp. 240-247, 2007. (PDF)

Emil Keyder and Héctor Geffner, Heuristics for Planning with Action Costs Revisited.
Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), 2008. (PDF)

Silvia Richter, Malte Helmert and Matthias Westphal, Landmarks Revisited.
Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), pp. 975-982. (PDF)

Michael Katz and Carmel Domshlak, Optimal Additive Composition of Abstractian-based Admissible Heuristics.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling (ICAPS 2008), pp. 174-181, 2008. (PDF)

Michael Katz and Carmel Domshlak, Structural Patterns Heuristics via Fork Decomposition.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling (ICAPS 2008), pp. 182-189, 2008. (PDF)

Silvia Richter and Matthias Westphal, The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks.
Journal of Artificial Intelligence Research 39:127-177, 2010. (PDF)

Invariant Synthesis and Landmarks

Maria Fox and Derek Long, The Automatic Inference of State Invariants in TIM.
Journal of Artificial Intelligence Research 9:367-421, 1998. (PDF)

Alfonso Gerevini and Lenhart Schubert, Inferring State Constraints for Domain-Independent Planning.
Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98), pp. 905-912, 1998. (PDF)

Stefan Edelkamp and Malte Helmert, Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length.
Proceedings of the 5th European Conference on Planning (ECP-99), pp. 135-147, 1999. (PDF)

Jussi Rintanen, An Iterative Algorithm for Synthesizing Invariants.
Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000), pp. 806-811, 2000. (PDF)

Julie Porteous and Stephen Cresswell, Extending Landmarks Analysis to Reason about Resources and Repetition.
Proceedings of the 21st Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG '02), pp. 45-54, 2002. (PDF)

Jörg Hoffmann, Julie Porteous and Laura Sebastia, Ordered Landmarks in Planning.
Journal of Artificial Intelligence Research 22:215-278, 2004. (PDF)

Malte Helmert, Concise Finite-Domain Representations for PDDL Planning Tasks.
Artificial Intelligence 173:503-535, 2009. (PDF of preprint)

Planning as Satisfiability

Henry Kautz and Bart Selman, Planning as Satisfiability.
Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92), pp. 359-363, 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 (AAAI-96), pp. 1194-2001, 1996. (PS)

Planning as Model Checking with BDDs

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

Nondeterministic Planning

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 (AIPS 2000), pp. 52-61, 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 Istituto Trentino di Cultura, 2001. (PS.GZ)

Applications

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 (IJCAI-95), pp. 1670-1676, 1995. (PS)

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-96), pp. 525-532, 1996. (PDF)

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:5-48, 1998. (PDF)

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 2005), pp. 12-21, 2005. (PDF)

Background and Miscellaneous

Richard E. Fikes and Nils J. Nilsson, STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
Artificial Intelligence 2:189-208, 1971. (PDF of IJCAI-71 version)

Joseph C. Culberson and Jonathan Schaeffer, Searching with Pattern Databases.
Proceedings of the Eleventh Biennial Conference of the Canadian Society for Computational Studies of Intelligence (CSCSI-96), pp. 402-416, 1996. (PS)

Richard Korf, Finding Optimal Solutions to Rubik's Cube Using Pattern Databases.
Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), pp. 700-705, 1997. (PDF)

Richard E. Korf, Michael Reid and Stefan Edelkamp, Time complexity of iterative-deepening-A*.
Artificial Intelligence 129(1-2): 199-218, 2001. (ScienceDirect) (PDF of preprint)

Etsuji Tomita, Akira Tanaka and Haruhisa Takahashi, The Worst-Case Time Complexity for Generating All Maximal Cliques.
Proceedings of the 10th Annual International Conference on Computing and Combinatorics (COCOON 2004), pp. 161-170, 2004. (SpringerLink)

Klaus Dräger, Bernd Finkbeiner and Andreas Podelski, Directed Model Checking with Distance-Preserving Abstractions.
Proceedings of the 13th International SPIN Workshop (SPIN 2006), pp. 19-34, 2006. (PDF)