Lehrveranstaltungen der Abtl. KI im WS'05/06

Vorlesungen

 Informatik Intensiv (ISI): Frühjahr 2006

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

 Hauptstudium

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

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

• Einführung in die LISP-Programmierung (1V / 1Ü)
  Blockkurs vor Beginn der Vorlesungszeit (10. - 14. Oktober 2005)
  F. v. Henke, T. Liebig

Hauptseminare

• Inferenzdienste im Semantic Web
  F. v. Henke, T. Liebig, O. Noppens

Praktika

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

• Verteiltes Planen und Problemlösen
  S. Biundo-Stephan, B. Schattenberg

• 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