| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| Abstract Argumentation |
INF-AQUA, MCL-KR, MCL-PCS |
0/2/0 |
Dr. Gaggl |
KI |
| Foundations of Constraint Programming |
INF-VERT2, MCL-LCP |
1/1/0 |
Prof. Rudolph (unter Vorbehalt) |
KI |
| Foundations of Logic Programming |
INF-BAS2, MCL-LCP |
2/1/0 |
Prof. Rudolph (unter Vorbehalt) |
KI |
| Introduction to Formal Concept Analysis |
INF-BAS2, MCL-KR, MCL-PI |
2/2/0 |
Prof. Rudolph (unter Vorbehalt) |
KI |
| Project Group Computational Logic |
MCL-P |
0/0/4 |
Prof. Rudolph (unter Vorbehalt) |
KI |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| Computer Vision |
FAK-INF-LE, INF-B-510, INF-B-530, INF-BAS2, INF-BAS7, INF-VERT2, INF-VERT7, INF-VMI-8, MATH-MA-INFGDV |
2/2/0 |
Dr. Rother |
KI |
| Einführungspraktikum Computer Vision |
FAK-INF-LE, INF-04-P, INF-B-510, INF-B-530, INF-BAS2, MATH-MA-INFGDV, MINF-04-FG-MTGW |
0/0/2 |
Dipl.-Phys. Heidrich, Dr. Rother |
KI |
| Hauptseminar Bildanalyse |
INF-AQUA, INF-BAS2, INF-BAS7, INF-D-940, INF-VERT2, INF-VERT7, IST-05-HS, MINF-04-HS |
0/2/0 |
Dr. Rother |
KI |
| Komplexpraktikum Computer Vision |
INF-04-KP, INF-MA-PR, INF-VERT2, IST-05-KP, MINF-04-KP-FG1 |
0/0/4 |
Dipl.-Phys. Heidrich, Dr. Rother |
KI |
| Machine Learning |
INF-04-FG-IS, INF-BAS2, INF-BAS7 |
2/2/0 |
Dr. Schlesinger |
KI |
| Projektpraktikum Computer Vision |
INF-D-960, INF-PM-FPA, INF-PM-FPG |
0/0/4 |
Dipl.-Phys. Heidrich, Dr. Rother |
KI |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| Academic Writing and Presenting |
MCL-PCS |
2/0/0 |
Prof. Dr. Hölldobler |
KI |
| Intelligente Systeme |
INF-B-3B0, INF-D-340 |
3/1/0 |
N.N. |
KI |
| Knowledge Representation and Reasoning |
INF-AQUA, MCL-KR, MCL-PCS, MCL-PI |
0/2/0 |
Prof. Dr. Hölldobler |
KI |
| Komplexpraktikum Parallelizing SAT Preprocessors |
INF-04-KP, INF-E-4, INF-MA-PR |
0/0/4 |
Prof. Dr. Hölldobler |
KI |
| Logic |
MCL-F |
2/2/0 |
Prof. Dr. Hölldobler |
KI |
| Project Group Knowledge Representation and Reasoning |
MCL-P |
0/0/4 |
Prof. Dr. Hölldobler |
KI |
| SAT Solving |
INF-VERT2, MCL-KR, MCL-PI |
2/2/0 |
Prof. Dr. Hölldobler |
KI |
| Science of Computational Logic |
INF-BAS2, MCL-F |
2/2/0 |
Prof. Dr. Hölldobler |
KI |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
|---|---|---|---|---|
| Intelligente Systeme |
INF-B-3B0, INF-D-340 |
3/1/0 |
N.N. |
KI |