Dagstuhl Seminar 01451 on Exploration of Large State Spaces



Tuesday, Nov. 6, 2001

07:30-09:00 breakfast
Chair: Bernhard Nebel
09:00-10:00
Fahiem Bacchus (University of Toronto)
AI Planning Tutorial: Part I
10:00-10:15 coffee break
10:15-11:15
Fahiem Bacchus (University of Toronto)
AI Planning Tutorial: Part II
11:15-11:30 coffee break
11:30-12:15
Brian C. Williams (MIT)
A Hierarchical Approach to Model-based Reactive Planning in Large State Spaces
12:15-14:00 lunch break
Chair: Fahiem Bacchus
14:00-14:40
Maria Fox (University of Durham)
Using Symmetry Elimination to assist in Search Control in Planning
14:40-15:20
Ulrich Scholz (TU Darmstadt)
Reducing Planning Problems by Path Analysis
15:20-16:00
Jörg Hoffmann (Freiburg University)
Utilizing Problem Structure in Local Search: The Planning Benchmarks as a Case Study
16:00-16:30 coffee break
Chair: Fahiem Bachus
16:30-17:15
Enrico Guinchiglia (University of Genoa)
SAT-Based Conformant Planning
17:15-18:00
Alessandro Cimatti (IRST, Trento)
Planning under Limited Observability as Search in the Space of BDDs
18:00 dinner