Lehrveranstaltungen der Abtl. KI im SS'02

Vorlesungen

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

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

Seminare

 Grundstudium

• Proseminar
  Künstliche Intelligenz
  S. Biundo-Stephan, H. Jungholt, B. Schattenberg

• Proseminar
  Maschinelles Beweisen
  F. v. Henke, M. Luther, H. Pfeifer

 Hauptstudium

• Hauptseminar
  Technik der Spieleprogrammierung (2 S)
  F. v. Henke, K. Gugler
  In Zusammenarbeit mit den Abteilungen
  Verteilte Systeme, Prof. P. Schulthess, und Medieninformatik, Prof. M. Weber

Praktika

• Praktikum im Hauptstudium:
  Modellierung realistischer Planungsprobleme
  S. Biundo-Stephan, H. Jungholt

• Praktikum im Hauptstudium:
  Werkzeuge für interaktive Planungssysteme
  S. Biundo-Stephan, B. Schattenberg

• Praktikum im Hauptstudium:
  Computergestütztes Lernen
  F. v. Henke, A. Seitz

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

Weitere Veranstaltungen

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