Fachgebiet Intelligente Systeme
12.12.2011
Lehrangebot der Fakultät Informatik
für das Fachgebiet Intelligente Systeme
(Sommersemester 2012)
| Lehrveranstaltung | SWS1 | Dozent | Institut | Prakt. | Pflicht/Wahlpflicht2
|
| Advanced Logics
(in engl. Sprache) |
4/2/0 | Prof. Baier | ThI |
|
Wahlpflicht |
| Angewandte Wissensverarbeitung (Komplexpraktikum) | 0/0/4 | Doz. Dr. Petersohn | KI | x |
|
| Automata and Logic
(in engl. Sprache) |
4/2/0 | Prof. Baader | ThI |
|
Wahlpflicht
|
| Formal Concept Analysis and Logic | 2/1/0 | Dr. Distel | ThI | ||
| SAT - Probleme und das Lösen von Sudokus | 1/1/2 | Prof. Hölldobler | KI |
|
|
| Introduction to Complexity Theory
(in engl. Sprache) |
2/1/0 | Dr. Penaloza | ThI |
|
Wahlpflicht |
| Advanced Topics on Weighted Tree Automata | 4/2/0 | Prof. Vogler | ThI | ||
| Maschinelles Übersetzen natürlicher Sprachen 2 / Statistical Machine Translation 2 | 2/4/0 | Prof. Vogler
Dipl.-Inf. Dietze |
ThI | ||
| Wissensentdeckung und Maschinelles Lernen | 2/0/2 | Doz. Dr. Petersohn | KI | x | Wahlpflicht |
| Bildverarbeitung | 2/2/0 | Dr. Schlesinger | KI | Wahlpflicht | |
| Mustererkennung | 2/2/0 | Dr. Schlesinger | KI | Wahlpflicht |