Program for Workshop on Generalized Planning>

Program

Each accepted paper will get 25 minutes for the presentation. There will be a directed discussion of the presented papers and related topics at the end of each session.

8.50 - 9.00	Opening Remarks
09.00 - 10.00	Invited Talk by Paolo Traverso: When Planning for Generalized Plans is a Must: The Case of Software Service Composition & Monitoring
10.00 - 10.30	On Pebble Motion on Graphs and Abstract Multi-robot Path Planning Pavel Surynek
10.30 - 11.00	Coffee Break
11.00 - 12.30	Session Chair: Christian Fritz 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 Solving High-Level Planning Programs Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardina Web Service Composition via the Customization of Golog Programs with User Preferences Shirin Sohrabi, Nataliya Prokoshyna, and Sheila A. McIlraith
12.30 - 2.00	Lunch
2.00 - 3.30	Session Chair: Giuseppe De Giacomo Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners Blai Bonet, Hector Palacios, Hector Geffner Planning with Loops: Some New Results Yuxiao Hu, Hector J. Levesque Challenges in Finding Generalized Plans Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein
3.30 - 4.00	Coffee Break
4.00 - 5.30	Session Chair: Siddharth Srivastava Partial Observability, Quantification, and Iteration for Planning Robert P. Goldman P^2 : A Baseline Approach to Planning with Control Structures and Programs Ronald P. A. Petrick Deductive Formation of Recursive Workflows Jeremy Forth, Richard Waldinger