Planning in Artificial Intelligence

Schedule

Preliminary Meeting: 2013-03-07 16:00 Seminarraum Gödel

2013-03-14 12:00-15:00 Seminarraum 126

2013-04-11 12:00-15:00 Seminarraum 126

2013-04-18 12:00-15:00 Seminarraum 126

2013-04-25 12:00-15:00 Seminarraum 126

2013-05-02 12:00-15:00 Seminarraum 126

2013-05-16 12:00-15:00 Seminarraum 126

2013-05-23 13:00-16:00 Seminarraum 126

2013-06-06 12:00-15:00 Seminarraum 126

Course Contents

Deterministic Planning

  • Transition Systems
  • Logical Representation
  • Algorithms
  • Heuristics
  • SAT-based Planning

Nondeterministic Planning

  • Complete and Partial Observability
  • Planning via BDDs and QBFs
  • Probabilistic Planning

Selected Languages and Frameworks for Planning

  • Situation Calculus
  • Event Calculus
  • Fluent Calculus
  • PDDL
  • K

Material

Slides by Jussi Rintanen and Marco Ragni: Freiburg course page