Lehrveranstaltungen der Abtl. KI im WS'01/02

Vorlesungen

 Grundstudium

• Praktische Informatik I (4V / 2Ü)
  F. v. Henke, T. Liebig, K. Gugler

 Hauptstudium

• Einführung in die LISP-Programmierung (1V / 1Ü)
  Blockkurs vor Beginn der Vorlesungszeit (8. - 12. Oktober 2001)
  F. v. Henke, M. Luther

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

• Multiagentensysteme (2V / 2Ü)
  S. Biundo-Stephan, B. Schattenberg

• Typentheorie (2V)
  F. v. Henke, M. Luther

Hauptseminare

• Technik der Spieleprogrammierung (2 S)
  F. v. Henke, K. Gugler, T. Liebig
  In Zusammenarbeit mit der Abteilung Verteilte Systeme, Prof. P. Schulthess

• Modellüberprüfung (2 Std.)
  F. v. Henke, H. Pfeifer

Praktika

• Teaching the PANDA: Ein alternatives Planungssystem in realitätsnahen Anwendungen
  S. Biundo-Stephan, H. Jungholt, B. Schattenberg

• Computergestütztes Lernen
  F. v. Henke, A. Seitz

• Implementierung einer Beweiser-Toolbox
  F. v. Henke, M. Luther, H. Pfeifer

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

Arbeitsgemeinschaft

• AG Künstliche Intelligenz
  S. Biundo-Stephan, F. v. Henke