| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| Deduction Systems |
MCL-ILS |
1/1/0 |
Prof. Rudolph |
KI |
| Foundations of Semantic Web Technologies |
INF-BAS2, INF-VERT2, MCL-KR, MCL-PI |
4/2/0 |
Prof. Rudolph |
KI |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| Bildverarbeitung |
FAK-INF-LE, INF-04-FG-IS, INF-B-520, INF-B-540, INF-BAS2, INF-BAS7, INF-VERT2, INF-VERT7, INF-VMI-8, MATH-MA-INFGDV |
2/2/0 |
Dr. Schlesinger |
KI |
| Hauptseminar Bildanalyse |
INF-04-HS, INF-BAS2, INF-BAS7, INF-D-940, INF-VERT2, INF-VERT7, IST-05-HS, MINF-04-HS |
0/2/0 |
Dr. Schlesinger, Dipl.-Phys. Heidrich |
KI |
| Komplexpraktikum Bildverarbeitung für 3D Displays |
INF-04-KP, INF-B-520, INF-B-540, INF-MA-PR, INF-VMI-8, MINF-04-KP-FG1 |
0/0/4 |
Dr. Schlesinger, Dipl.-Phys. Heidrich |
KI |
| Mustererkennung |
FAK-INF-LE, INF-04-FG-IS, INF-B-520, INF-B-540, INF-BAS2, INF-VERT2 |
2/2/0 |
Dr. Schlesinger |
KI |
| Praktikum Bildverarbeitung |
INF-04-P, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-MA-PR, MATH-MA-INFGDV, MINF-04-FG-MTGW |
0/0/2 |
Dr. Schlesinger, Dipl.-Phys. Heidrich |
KI |
| Proseminar Aufgabenstellungen der Bildanalyse und Mustererkennung |
INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-B-610, MINF-04-PS |
0/2/0 |
Dr. Schlesinger, Dipl.-Phys. Heidrich |
KI |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| Complex Lab: SAT Solving |
INF-E-4, INF-MA-PR, INF-PM-FPG |
0/0/4 |
Prof. Dr. Hölldobler, Dipl.-Inf. Steinke |
KI |
| Knowledge Representation and Reasoning |
INF-BAS2, INF-VERT2, MCL-KR, MCL-PCS, MCL-PI |
0/2/0 |
Prof. Dr. Hölldobler |
KI |
| Neural Symbolic Integration |
INF-BAS2, INF-VERT2, MCL-KR, MCL-PI |
2/2/0 |
Prof. Dr. Hölldobler |
KI |
| Project Group Knowledge Representation and Reasoning |
MCL-P |
0/0/4 |
Prof. Dr. Hölldobler |
KI |
| Theoretische Informatik und Logik |
INF-B-290, INF-D-330 |
4/2/0 |
Prof. Dr. Hölldobler, Prof. Dr. Baier |
KI, ThI |