Lehrveranstaltungen der Abtl. KI im SS'04

Vorlesungen

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

• Wissensmodellierung und wissensbasierte Systeme (2V / 2Ü)
  T. Liebig, H. Pfeifer

Seminare

 Grundstudium

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

 Hauptstudium

• Hauptseminar
  Automatische Beweisverfahren - Theorie, Algorithmen, praktischer Einsatz (2 S)
  F. v. Henke, H. Pfeifer

• Hauptseminar
  Planen in nichtdeterministischen Umgebungen
  S. Biundo-Stephan, R.Holzer

Praktika

• Praktikum im Hauptstudium:
  Design und Entwicklung eines Computerspiels
  F. v. Henke, K. Gugler
  In Zusammenarbeit mit der Abteilung Medieninformatik, Prof. M. Weber

• Praktikum im Hauptstudium:
  Agentenbasiertes Planen und Problemlösen
  S. Biundo-Stephan, R. Holzer, B. Schattenberg

• Praktikum im Hauptstudium:
  Komponenten für das Semantic Web
  F. v. Henke, H. Pfeifer, 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. v. Henke und Mitarbeiter