| 8:30 | SINERGY: A Linear Planner Based on Genetic Programming |
| Ion Muslea | |
| 9:00 | Encoding planning problems in non-monotonic logic programs |
| Yannis Dimopoulos, Bernhard Nebel, Jana Koehler | |
| 9:30 | Bounded parameter Markov decision processes |
| Robert Givan, Sonia Leach, Thomas Dean | |
| 10:00 | COFFEE |
| 10:30 | Plan-Refinement Strategies and Search-Space Size |
| Reiko Tsuneto, Dana Nau, James Hendler | |
| 11:00 | Model tableaux for reasoning about actions and plans |
| Marcos A. Castilho, Olivier Gasquet, Andreas Herzig | |
| 11:30 | Understanding and Extending Graphplan |
| Subbarao Kambhampati, Eric Parker, Eric Lambrecht | |
| 12:00 | Quantification and truth criteria in classical planning |
| Andrew Burgess, Sam Steel |
12:30 LUNCH (Espace ATRIUM)
| 14:00 | INVITED TALK: Coordination through distributed planning |
| Malik Ghallab | |
| 15:00 | Planning with sensing for a mobile robot |
| Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati | |
| 15:30 | A tabu search strategy to solve scheduling problems |
| with deadlines and complex metric constraints | |
| Angelo Oddi, Amedeo Cesta | |
| 16:00 | COFFEE |
| 16:30 | Fast probabilistic plan debugging |
| Michael Beetz, Drew McDermott | |
| 17:00 | Planning and search techniques for intelligent behaviour of battlefield entities |
| R.T. Hepplewhite, J.W. Baxter |