List of Accepted Papers, GenPlan11>

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