Accepted Papers
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners Revisited
Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith
Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners
Blai Bonet, Hector Palacios, Hector Geffner
Deductive Formation of Recursive Workflows
Jeremy Forth, Richard Waldinger
Solving High-Level Planning Programs
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardina
Partial Observability, Quantification, and Iteration for Planning
Robert P. Goldman
Planning with Loops: Some New Results
Yuxiao Hu, Hector J. Levesque
P^2 : A Baseline Approach to Planning with Control Structures and Programs
Ronald P. A. Petrick
Web Service Composition via the Customization of Golog Programs with User Preferences
Shirin Sohrabi, Nataliya Prokoshyna, and Sheila A. McIlraith
Challenges in Finding Generalized Plans
Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein
On Pebble Motion on Graphs and Abstract Multi-robot Path Planning
Pavel Surynek