Lehrveranstaltungen im Sommersemester 2013

Vorlesungen

Intelligente Handlungsplanung
S. Biundo-Stephan, B. Schattenberg
CS6310.000

Algorithmen in der Wissensrepräsentation
B. Glimm
CS6321.000

Automated Theorem Proving
Y. Kazakov
CS6302.000

Seminare

Proseminar Künstliche Intelligenz
S. Biundo-Stephan und Mitarbeiter
CS4400.003

Advances in Artificial Intelligence
S. Biundo-Stephan, B. Schattenberg
CS5900.108

Vorbesprechung:
Dienstag, der 23.04. um 12:00 Uhr in O27/429

Seminar Kognitive Modellierung
Die Veranstaltung wird zusammen mit der Psychologie durchgeführt.
M. Schiller, F. Schmitz, B. Glimm, O. Wilhelm
CS5900.116 (in der Psychologie PSY12203.004)

Praktika / Projekte

Components for Intelligent Companion Systems
S. Biundo-Stephan, B. Schattenberg
CS6400.001

Vorbesprechung:
Dienstag, der 23.04. um 12:00 Uhr 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, Mitarbeiter und Gäste
CS6598.000

Absolventenseminar Künstliche Intelligenz
S. Biundo-Stephan, B. Glimm, Mitarbeiter und Gäste
CS6599.001