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