Lehrveranstaltungen der Abtl. KI im SS'06

Vorlesungen

 Informatik Intensiv (ISI): Frühherbst 2006

• Intelligente Komponenten kognitiver technischer Systeme (2V)
  S. Biundo-Stephan

 Hauptstudium

• Planen und Scheduling (3V / 1Ü)
  S. Biundo-Stephan, B. Schattenberg

• Wissensmodellierung und wissensbasierte Systeme (3V / 1Ü)
  T. Liebig, O. Noppens

• Computergestützte Modellierung und Verifikation (2V / 2Ü)
  F. von Henke, H. Pfeifer

• Semantik von Programmiersprachen und Programmverifikation (3V / 1Ü)
  F. von Henke, H. Pfeifer

Seminare

 Grundstudium

• Proseminar
  Künstliche Intelligenz
  F. v. Henke, H. Pfeifer, B. Schattenberg

 Hauptstudium

• Hauptseminar
  Planen und Lernen
  S. Biundo-Stephan, B. Schattenberg

Praktika

• Praktikum im Hauptstudium:
  Hybride Planungssysteme
  S. Biundo-Stephan, B. Schattenberg

• Praktikum im Hauptstudium:
  Semantic Web und Ontologien
  F. v. Henke, T. Liebig

• Individualpraktika:
  In Absprache mit Mitarbeitern der Abteilung können jederzeit
  individuelle Praktika zu aktuellen Themen aus der KI durchgeführt werden.
  Siehe dazu auch die Liste mit Themenvorschlägen.

Weitere Veranstaltungen

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