Literature on Planning

Overview Papers:

• Overview of Planning Techniques (Sven Koenig), starting January 6
• Subbarao Kambhampati: Refinement Planning as a Unifying Framework for Plan Synthesis. AI Magazine 18(2): 67-97 (1997)

Least Commitment Planning:

• Daniel S. Weld: An Introduction to Least Commitment Planning. AI Magazine 15(4): 27-61 (1994)
• Martha E. Pollack, David Joslin, Massimo Paolucci: Flaw Selection Strategies For Partial-Order Planning (HTML). JAIR 6: 223-262 (1997) (PDF)

Hierarchical Task Network Planning

• Dana S. Nau, Yue Cao, Amnon Lotem, Hector Muoz-Avila: SHOP: Simple Hierarchical Ordered Planner. IJCAI 1999: 968-975
• Dana S. Nau, Stephen J. J. Smith, Kutluhan Erol: Control Strategies in HTN Planning: Theory Versus Practice. AAAI/IAAI 1998: 1127-1133

Planning by Analogy and Case-Based Planning:

• Manuela M. Veloso: Flexible Strategy Learning: Analogical Replay of Problem Solving Episodes. AAAI 1994: 595-600
• CBR in Context: The Present and Future. By David B. Leake. A chapter from Case-Based Reasoning: Experiences, Lesons, and Future Directions, David B. Leake, editor (AAAI Press / MIT Press, 1996).

Graph Plan and SAT Plan

• Daniel S. Weld: Recent Advances in AI Planning. AI Magazine 20(2): 93-123 (1999)
• Avrim Blum, Merrick L. Furst: Fast Planning Through Planning Graph Analysis. Artificial Intelligence 90(1-2): 281-300 (1997)
• Henry A. Kautz, Bart Selman: Pushing the Envelope: Planning, Propositional Logic and Stochastic Search. AAAI/IAAI, Vol. 2 1996: 1194-1201

Heuristic Search-Based Planning

• Blai Bonet, Hector Geffner: Planning as heuristic search. Artificial Intelligence 129(1-2): 5-33 (2001)
• Joerg Hoffmann, Bernand Nebel, The FF Planning System: Fast Plan Generation Through Heuristic Search. Journal of Artificial Intelligence Research 14: 253 - 302 (2001).

Planning with Temporal Logic

• Fahiem Bacchus, Froduald Kabanza: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116(1-2): 123-191 (2000)

BDD-Based Planning

• Rune M. Jensen, Randal E. Bryant, Manuela M. Veloso: SetA*: An Efficient BDD-Based Heuristic Search Algorithm. AAAI/IAAI 2002: 668-673
• Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso: Planning via Model Checking: A Decision Procedure for AR. ECP 1997: 130-142

Iterative Repair Techniques

• Steve A. Chien, Russell Knight, Andre Stechert, Rob Sherwood, Gregg Rabideau: Using Iterative Repair to Improve the Responsiveness of Planning and Scheduling. AIPS 2000: 300-307

Model-Based Diagnosis

• Brian C. Williams, P. Pandurang Nayak: A Model-Based Approach to Reactive Self-Configuring Systems. AAAI/IAAI, Vol. 2 1996: 971-978

Planning with Time and Resources

• Bridging the Gap Between Planning and Scheduling, D. Smith, J. Frank, and A. Jnsson, Knowledge Engineering Review 15:1 (2000)
• LPG: a Planner based on Planning Graphs with Action Costs, A. Gerevini, I. Serina, Proceedings of the Sixth International Conference on AI Planning and Scheduling, AAAI Press, pp. 13-22, 2002.
• Stefan Edelkamp: Taming Numbers and Duration in the Model Checking Integrated Planning System, Journal of Artificial Research (JAIR), 2003, to appear.
• Thomas Vossen, Michael Ball, Amnon Lotem, Dana S. Nau: On the Use of Integer Programming Models in AI Planning. IJCAI 1999: 304-309

Probabilistic Planning

• Jim Blythe: Decision-Theoretic Planning. AI Magazine 20(2): 37-54 (1999)
• Leslie Pack Kaelbling, Michael L. Littman, Andrew P. Moore: Reinforcement Learning: A Survey. JAIR 4: 237-285 (1996)
• Craig Boutilier, Thomas Dean, Steve Hanks: Decision-Theoretic Planning: Structural Assumptions and Computational Leverage. JAIR 11: 1-94 (1999)
• Stephen M. Majercik, Michael L. Littman: MAXPLAN: A New Approach to Probabilistic Planning. AIPS 1998: 86-93

Complexity of Planning

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

The AIPS Planning Competitions

• Subset of PDDL for the AIPS2000 Planning Competition by Fahiem Bacchus, 2000 (web document).
• PDD2.1: An Extension to PDDL forExpressing Temporal Planning Domain by Maria Fox and Derek Long, 2002 (web document).
• plus web documents and AI Magazine articles about the outcomes of the planning competition

Applications of Planning

Planning in Space

• Nicola Muscettola, P. Pandurang Nayak, Barney Pell, Brian C. Williams: Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence 103(1-2): 5-47 (1998)
• Ari K. Jnsson, Paul H. Morris, Nicola Muscettola, Kanna Rajan, Benjamin D. Smith: Planning in Interplanetary Space: Theory and Practice. AIPS 2000: 177-186

Planning for Manufacturing

• Dana S. Nau, Satyandra K. Gupta, William C. Regli: AI Planning Versus Manufacturing-Operation Planning: A Case Study. IJCAI 1995: 1670-1676

Elevator Scheduling

• Jana Koehler, D. Ottiger: An AI-based Approach to Destination Control in Elevators, AI Magazine, Fall 2002.

Software Engineering

• A. Memon, M. E. Pollack, and M. L. Soffa, "Hierarchical GUI Test Case Generation using Automated Planning," IEEE Transactions on Software Engineering, 27(2):144-155,2001.

Robotics

• Michael Beetz: Structured Reactive Controllers. Autonomous Agents and Multi-Agent Systems 4(1/2): 25-55 (2001)

Training and Education

• Jonathan Gratch: Emile: Marshalling passions in training and education. Agents 2000: 325-332