Vorlesungen

• Einführung in die Künstliche Intelligenz (3V / 1Ü)
  F. von Henke, O. Noppens
  

• Einführung in die formale Modellierung und Verifikation (2V / 2Ü)
  F. von Henke, H. Pfeifer

• Einführung in die LISP-Programmierung (1V / 1Ü)
  Blockkurs vor Beginn der Vorlesungszeit (6. - 10. Oktober 2008)
  T. Liebig

• Praktische Informatik (4V / 2Ü)
  S. Biundo-Stephan, J. Bidot, H. Wunderlich
  

Hauptseminare

• Formale Modellierung und Analyse autonomer und mobiler Agenten
  F. von Henke, H. Pfeifer
• Handlungsplanung für kognitive technische Systeme (Blockseminar im Februar 2009)
  S. Biundo-Stephan
  

Praktika

• Verteiltes Planen und Problemlösen
  S. Biundo-Stephan, B. Schattenberg

• Semantic Web und Ontologien
  F. von Henke, T. Liebig, O. Noppens

• Individualpraktika:
  In Absprache mit Mitarbeitern der Abteilung können jederzeit
  individuelle Praktika zu aktuellen Themen aus der KI durchgeführt werden.

Arbeitsgemeinschaft

• Diplomandenseminar Künstliche Intelligenz
  S. Biundo-Stephan, F. v. Henke und Mitarbeiter