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.