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 |