Lehrveranstaltungen im Sommersemester 2012
Vorlesungen
- Intelligente Handlungsplanung
S. Biundo-Stephan, B. Seegebarth
CS6310.000
- Automated Theorem Proving
Y. Kazakov
CS6302.000
Seminare
- Proseminar Künstliche Intelligenz
S. Biundo-Stephan, B. Schattenberg, B. Seegebarth
CS4400.003Vorbesprechung:
Dienstag, der 17.04. um 12:15 in O27/429
- Advances in Artificial Intelligence
S. Biundo-Stephan, B. Glimm, B. Seegebarth
CS5900.108Vorbesprechung:
Donnerstag, der 19.04. um 12:15 in O27/429
- Artificial Companions
S. Biundo-Stephan, B. Schattenberg
CS5900.105Vorbesprechung:
Donnerstag, der 19.04. um 12:15 in O27/429
Praktika / Projekte
- Intelligente Planung und Entscheidungsfindung
S. Biundo-Stephan, B. Schattenberg
CS6400.000Vorbesprechung:
Donnerstag, der 19.04. um 12:15 in O27/429
- Individualpraktika:
In Absprache mit Mitarbeitern des Instituts können jederzeit
individuelle Praktika zu aktuellen Themen aus der KI durchgeführt werden.
Arbeitsgemeinschaften
- Graduiertenkolleg des SFB/TRR 62
S. Biundo-Stephan, K. Dietmayer, W. Minker, H. Neumann, G. Palm, H. Traue, M. Weber, B. Glimm, Mitarbeiter und Gäste
CS6598.000