Lehrveranstaltungen der Abtl. KI im WS'06/07

Vorlesungen

 Informatik Intensiv (ISI): Frühjahr 2007

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

 Grundstudium

• Praktische Informatik I (4V / 2Ü)
  S. Biundo-Stephan, B. Schattenberg, T. Liebig, (+ D. Gessenharter, Abtl. PM)

 Hauptstudium

• Einführung in die Künstliche Intelligenz (3V / 1Ü)
  F. v. Henke, O. Noppens

• Maschinelles Beweisen (2V / 2Ü)
  F. v. Henke, H. Pfeifer

• Einführung in die LISP-Programmierung (1V / 1Ü)
  Blockkurs vor Beginn der Vorlesungszeit (9. - 13. Oktober 2006)
  F. v. Henke, H. Pfeifer

Hauptseminare

• Methoden der Wissensverarbeitung
  F. v. Henke, H. Pfeifer, T. Liebig

Praktika

• Maschinelles Beweisen mit PVS
  F. v. Henke, H. Pfeifer

• Planen und Scheduling
  S. Biundo-Stephan, B. Schattenberg
  Vorbesprechung und Themenvergabe am Donnerstag, 19.10.2006, um 11:30 Uhr in O27 / 441

• Web Services und Ontologien
  F. v. Henke, T. Liebig, O. Noppens

• 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