Vorlesungen

• Einführung in die Künstliche Intelligenz (3V / 1Ü)
  S. Biundo-Stephan, B. Schattenberg

• Maschinelles Beweisen (2V / 2Ü)
  H. Pfeifer

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

Hauptseminare

• Methoden der Wissensverarbeitung
  T. Liebig

Praktika

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

• Semantic Web und Ontologien
  T. Liebig, O. Noppens

• Individualpraktika:
  In Absprache mit Mitarbeitern des Instituts 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