• Introduction
• Subbarao Kambhampati: Refinement Planning as a Unifying Framework for Plan Synthesis. AI Magazine 18(2): 67-97 (1997)

• Overview of planning Techniques

• 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)

• 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

Ian Port

• 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).

Zachary Ross

• 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
• Heavy-Tailed Phenomena in Satisfiability and Constraint SatisfactionProblems,  by Gomes, Selman, Crato and Kautz
• Blai Bonet, Hector Geffner: Planning as heuristic search. Artificial Intelligence 129(1-2): 5-33 (2001)

Sven Koenig
 

Matthias Gauger

• Joerg Hoffmann, Bernand Nebel, The FF Planning System: Fast Plan Generation Through Heuristic Search. Journal of Artificial Intelligence Research 14: 253 - 302 (2001).
• X. Nguyen and S. Kambhampati. Reviving Partial Order Planning, IJCAI 2001.

Sven Koenig 

• Y. Liu, S. Koenig, and D. Furcy. Speeding Up the Calculation of Heuristics for Heuristic Search-Based Plannig. In: Proceedings of the National Conference on Artificial Intelligence, 484-491, 2002.

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

David Dagon
 

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

Nathan Melanson

• 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

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

• Bridging the Gap Between Planning and Scheduling, D. Smith, J. Frank, and A. Jnsson, Knowledge Engineering Review 15:1 (2000)

• D. Joslin and D. Clements. Squeaky Wheel Optimization. Journal of Artificial Intelligence Research. Volume 10, 353-373, 1999.

• 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.

David Dagon 

• Thomas Vossen, Michael Ball, Amnon Lotem, Dana S. Nau: On the Use of Integer Programming Models in AI Planning. IJCAI 1999: 304-309 

• Jim Blythe: Decision-Theoretic Planning. AI Magazine 20(2): 37-54 (1999)
• Using Anytime Algorithms in Intelligent Systems, S. Zilberstein. AI Magazine, 17(3):73-83, 1996.

Sven Koenig

• Craig Boutilier, Thomas Dean, Steve Hanks: Decision-Theoretic Planning: Structural Assumptions and Computational Leverage. JAIR 11: 1-94 (1999)

• S. Koenig and Y. Liu. The Interaction of Representations and Planning Objectives for Decision-Theoretic Planning Tasks. Journal of Experimental and Theoretical Artificial Intelligence, 2002. 

• Markov Decision Problems
• Utility Theory for Risk-Sensitive Decision Making

• S. Koenig and Y. Liu. Sensor Planning with Non-Linear Utility

Functions. In Proceedings of the European Conference on Planning,
Springer-Verlag, 1999.

• Leslie Pack Kaelbling, Michael L. Littman, Andrew P. Moore: Reinforcement Learning: A Survey. JAIR 4: 237-285 (1996)
• Stephen M. Majercik, Michael L. Littman: MAXPLAN: A New Approach to Probabilistic Planning. AIPS 1998: 86-93

Stuart Hinson

• 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) 
• 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

Dahl Groenke

Dahl Groenke

• 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 

Richard Smiley 

• Dana S. Nau, Satyandra K. Gupta, William C. Regli: AI Planning Versus Manufacturing-Operation Planning: A Case Study. IJCAI 1995: 1670-1676 
• Jana Koehler, D. Ottiger: An AI-based Approach to Destination Control in Elevators, AI Magazine, Fall 2002. 

Jon Beckham

• 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. 
• Michael Beetz: Structured Reactive Controllers. Autonomous Agents and Multi-Agent Systems 4(1/2): 25-55 (2001) 
• Jonathan Gratch: Emile: Marshalling passions in training and education. Agents 2000: 325-332

Aaron Drew 
 

Ramesh Viswanath

•  PROJECT PRESENTAITONS

• PROJECT PRESENTAITONS