8:15 | WELCOME |
8:30 | Constraint-based reactive rescheduling in a stochastic environment |
J.E. Spragg, G. Fozzard, D.J. Tyler | |
9:00 | Ignoring irrelevant facts and operations in plan generation |
Bernhard Nebel, Yannis Dimopoulos, Jana Koehler | |
9:30 | Extending planning graphs to an ADL subset |
Jana Koehler, Bernhard Nebel, Jörg Hoffman, Yannis Dimopoulos | |
10:00 | COFFEE |
10:30 | Planning and chemical plant operating procedure synthesis: a case study |
Ruth Aylett, Gary Petley, Paul Chung, James Soutter, Andrew Rushton | |
11:00 | Planning, learning and executing in autonomous domains |
Ramón Garcia-Martinez, Daniel Borrajo | |
11:30 | Event calculus planning revisited |
Murray Shanahan | |
12:00 | Approaching the "plans are programs" paradigm using transaction logic |
Marcus V. Santos, Marcio Rillo |
12:30 LUNCH (Espace ATRIUM)
14:00 | INVITED TALK: Reasoning about skills and goal-directed behavior |
Erik Sandewall | |
15:00 | Natural hierarchical planning using operator decomposition |
Maria Fox | |
15:30 | Planning via model checking: a decision procedure for AR |
Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Paulo Traverso | |
16:00 | COFFEE |
16:30 | What does a planner need to know about execution? |
Ruth Aylett, Alex Coddington, David Barnes, Rob Ghanea-Hercock | |
17:00 | Time-Oriented Skeletal Plans: Support to Design and Execution |
Silvia Miksch, Yuval Shahar, Werner Horn, Christian Popow, Franz Paky, Peter Johnson |
18:00 : Welcome Ceremony (cocktail) at the City Hall
(10 minutes walk from Hotel Capoul)
Meeting point: 17h50 in front of the hotel