Lehrveranstaltungen im Wintersemester 2008 / 2009
Vorlesungen
- Einführung in die Künstliche Intelligenz (3V / 1Ü)
F. von Henke, O. Noppens
- Einführung in die formale Modellierung und Verifikation (2V / 2Ü)
F. von Henke, H. Pfeifer - Einführung in die LISP-Programmierung (1V / 1Ü)
Blockkurs vor Beginn der Vorlesungszeit (6. - 10. Oktober 2008)
T. Liebig - Praktische Informatik (4V / 2Ü)
S. Biundo-Stephan, J. Bidot, H. Wunderlich
Hauptseminare
- Formale Modellierung und Analyse autonomer und mobiler Agenten
F. von Henke, H. Pfeifer - Handlungsplanung für kognitive technische Systeme (Blockseminar im Februar 2009)
S. Biundo-Stephan
Praktika
- Verteiltes Planen und Problemlösen
S. Biundo-Stephan, B. Schattenberg - Semantic Web und Ontologien
F. von 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