Fachgebiet Intelligente Systeme
01.05.2012
Lehrangebot der Fakultät Informatik für das
Fachgebiet Intelligente Systeme
(Wintersemester 2012/2013)
Lehrveranstaltung | SWS1 | Dozent | Institut | Pflicht/Wahlpflicht2 |
Computer Vision | 2/2/0 | Dr. Schlesinger | KI | Wahlpflicht |
Foundations of CP (in engl. Sprache) |
1/1/1 | N.N. | KI | Wahlpflicht |
Foundations of LP (in engl. Sprache) |
2/1/- | N.N. | KI | Wahlpflicht |
Intelligente Systeme | 3/1/- | Doz. Dr. Petersohn | KI | Wahlpflicht |
Science of Computational Logic>3 (in engl. Sprache) |
2/2/- | Prof. Hölldobler | KI | Wahlpflicht |
Strukturelle Modelle in der Bildverarbeitung | 2/2/0 | Dr. Schlesinger | KI | Wahlpflicht |
Description Logic | 4/2/0 | Dr. Turhan | ThI | |
Maschinelles Übersetzen natürlicher Sprachen | 4/2/0 | Prof. Vogler | ThI | |
Machine Translation Lab | 0/2/0 | Prof. Vogler | ThI | |
NLP Reading Group | 0/2/0 | Prof. Vogler | ThI | |
Seminar Machine Learning | 0/2/0 | Prof. Vogler | ThI | |
Fuzzy Logic | 2/1/0 | Dr. Distel | ThI | Wahlpflicht |
Model Checking | 4/4/0 | Prof. Baier | ThI | |
Entwurf und Analyse mit Petri-Netzen | 2/2/0 | Dr. Nauber | ThI | |
Theorem Proving with Equality | 2/1/0 | Dr. Morawska | ThI |