Fachgebiet Intelligente Systeme
10.09.2011
Lehrangebot der Fakultät Informatik für das
Fachgebiet Intelligente Systeme
(Wintersemester 2011/2012)
Lehrveranstaltung | SWS1 | Dozent | Institut | Pflicht/Wahlpflicht2 |
Angewandte Systeme der KI | 2/-/2 | Doz. Dr. Petersohn | KI | Wahlpflicht |
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 |
Fuzzy Description Logic | 2/1/0 | Dr. Penaloza | ThI | |
Intelligente Systeme | 3/1/- | Doz. Dr. Petersohn | KI | Wahlpflicht |
Interactive Theorem Proving (in engl. Sprache) |
4/2/- | Dr. Posegga | ThI | Wahlpflicht |
Introduction to Automatic Structures | 2/1/0 | Dr. Turhan | ThI | |
Lernalgorithmen für die Sprachverarbeitung | 2/2/0 | Dr. Stüber | ThI | |
Neural Symbolic Integration3 | 2/2/0 | Prof. Hölldobler | KI | Wahlpflicht |
SAT-Solving3 | 2/2/0 | Prof. Hölldobler | 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 |
Term Rewriting Systems | 4/2/0 | Prof. Baader | ThI | |
Verarbeitung natürlicher Sprache — Sprachmodelle | 4/2/0 | Prof. Vogler | ThI | |
Weighted Tree Automata | 2/0/0 | Prof. Vogler | ThI |