Uni-Logo

Seminar: Advanced Topics in AI Planning - Timetable

All meetings will be virtual (BigBlueButton Meeting). The schedule is subject to change.

Time Title
February 15
9:00-9:10 Welcome
Session: Classical Planning, Chair: Dr. David Speck
9:10-9:30 A4: Planning with Axioms
9:30-9:50 F1: Proving (and Certifying) Unsolvability
9:50-10:30 Coffee break
Session: Multi-Agent Planning, Chair: Patrick Caspari
10:30-10:50 D1: Privacy Preserving Multi-Agent Planning
10:50-11:10 D2: Multi-Agent Planning as Satisfiability
Session: Epistemic Planning, Chair: Dr. Thorsten Engesser
11:10-11:30 B3: DEL-Based Epistemic Planning
11:30-11:50 B1: Epistemic Planning as Classial Planning
11:50-13:00 Lunch
Session: Multi-Agent Path Finding, Chair: Rolf-David Bergdoll
13:00-13:20 C1: MAPF variations and algorithms
13:20-13:40 C2: MAPF reduced to SAT
13:40-14:00 C3: Online Multi-Agent Pickup and Delivery via Token Passing
February 16
Session: Symbolic Planning, Chair: Dr. Gregor Behnke
9:00-9:20 A2: Symbolic Heuristic Search using Decision Diagrams
9:20-9:40 A1: Transition Trees for Cost-Optimal Symbolic Planning
9:40-10:00 A3: Relaxed exists-step encoding
10:00-10:30 Coffee break
Session: Probabilistic Planning I, Chair: Grigorios Mouratidis
10:30-10:50 E2: Probabilistic Planning Based on UCT
10:50-11:10 E1: Probabilistic Planning via Determinization in Hindsight
Session: Probabilistic Planning II, Chair: Dr. Tim Schulte
11:10-11:30 E3: Probabilistic Logic Programming
11:30-11:50 E4: Privacy-preserving Planning in Stochastic Environments
11:50-13:00 Lunch
Session: Related Topics, Chair: Dr. Robert Mattmüller
13:00-13:20 F2: Generalized Planning
13:20-13:40 F3: Action Model Acquisition
13:40-14:00 Open Discussion + Closing Remarks

For each topic, we reserved a slot of 20 minutes, out of which

  • 15 minutes are intended for the main presentation,
  • 5 minutes are intended for discussion and feedback and include context switching between presentations.