List of Accepted Papers

1. A Generic Framework and Solver for Synthesizing Finite-State Controllers
   Toby Hu, Giuseppe DeGiacomo
   
   
2. Generalized Planning: Synthesizing Plans that Work for Multiple Environments
   Toby Hu, Giuseppe DeGiacomo
   
   
3. Reasoning about Planning Domains
   Rajesh Kalyanam, Tanji Hu, Robert Givan
   
   
4. An Extensible Planning Architecture for Configurable Rich-World Actions
   Amit Kumar, Alexander Nareyek
   
   
5. Flexible Plans for Adaptation by End-Users
   Cyrille Martin, Humbert Fiorino, Gaelle Calvary
   
   
6. Stable Grounded Inference in Flexible Resource Scheduling
   Paul Morris, John Bresina, Javier Barreiro
   
   
7. Monitoring the Execution of Partial-Order Plans via Regression
   Christian Muise, Sheila A. McIlraith, J. Christopher Beck
   
   
8. Synthesizing Robust Plans under Incomplete Domain Models
   Tuan A. Nguyen, Subbarao Kambhampati, Minh B. Do
   
   
9. Temporal Defeasible Logic-based POP for physically correct plans
   Pere Pardo
   
   
10. An extension of knowledge-level planning to interval-valued functions
    Ronald P. A. Petrick
    
    
11. From Software Services to a Future Internet of Services
    Marco Pistore, Paolo Traverso, Massimo Paolucci, Matthias Wagner
    
    
12. Qualitative Numeric Planning
    Siddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner
    
    
13. Planning over MDPs through HTNs
    Yuqing Tang, Felipe Meneguzzi, Katia Sycara, Simon Parsons