Lehrveranstaltungen im Wintersemester 2007 / 2008
Vorlesungen
- Einführung in die Künstliche Intelligenz (3V / 1Ü)
S. Biundo-Stephan, B. Schattenberg - Maschinelles Beweisen (2V / 2Ü)
H. Pfeifer - Einführung in die LISP-Programmierung (1V / 1Ü)
Blockkurs vor Beginn der Vorlesungszeit (8. - 12. Oktober 2007)
T. Liebig
Hauptseminare
- Methoden der Wissensverarbeitung
T. Liebig
Praktika
- Verteiltes Planen und Problemlösen
S. Biundo-Stephan, B. Schattenberg - Semantic Web und Ontologien
T. Liebig, O. Noppens - Individualpraktika:
In Absprache mit Mitarbeitern des Instituts 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