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 |