Lehrveranstaltungen der Abtl. KI im WS'03/04

Vorlesungen

 Informatik Intensiv (ISI): Frühjahr 2004

• Multiagentensysteme (2V / 2Ü)
  S. Biundo-Stephan, R. Holzer, H. Jungholt

 Hauptstudium

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

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

• Einführung in die LISP-Programmierung (2V / 0Ü)
  Blockkurs vor Beginn der Vorlesungszeit (6. - 10. Oktober 2003)
  F. v. Henke, M. Luther

Hauptseminare

 Informatik Intensiv (ISI): Herbst 2003

• Intelligente Benutzerinteraktion (2S)
  S. Biundo-Stephan, H. Jungholt

 Hauptstudium

• Semantic Web und Inferenzsysteme (2S)
  F. v. Henke, T. Liebig, H. Pfeifer
  

Praktika

• Design und Entwicklung eines Computerspiels
  F. v. Henke, K. Gugler
  In Zusammenarbeit mit den Abteilungen Medieninformatik, Prof. M. Weber, und Verteilte Systeme, Prof. Schulthess

• Komponenten für das Semantic Web
  F. v. Henke, T. Liebig

• Agentenbasiertes Planen und Problemlösen
  S. Biundo-Stephan, R. Holzer, H. Jungholt, B. Schattenberg

• 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.

Arbeitsgemeinschaft

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