| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Applying Deduction Systems |
MCL-KR, MCL-PI |
1/1/0 |
Dr. Wernhard |
KI |
V |
Dienstag |
3. |
INF/E005 |
wöch. |
| Deduction Systems |
MCL-ILS |
1/1/0 |
Prof. Rudolph |
KI |
V |
Donnerstag |
4. |
INF/E005 |
wöch. |
| Foundations of Semantic Web Technologies |
INF-BAS2, INF-VERT2, MCL-KR, MCL-PI |
4/2/0 |
Prof. Rudolph |
KI |
V U |
Freitag Mittwoch |
5., 6. 6. |
INF/E005 INF/E005 |
wöch. wöch. |
| Natural Language Processing for Knowledge Representation |
INF-BAS2, INF-VERT2, MCL-KR, MCL-PI |
2/2/0 |
Dr. Thomazo |
KI |
V U |
Montag Montag |
3. 4. |
INF/E005 INF/E005 |
wöch. wöch. |
| Problem Solving and Search in AI |
INF-BAS2, INF-VERT2, MCL-KR, MCL-PI |
2/1/0 |
Dr. Gaggl |
KI |
V V |
Montag Dienstag |
5. 2. |
INF/E005 INF/E005 |
wöch. wöch. |
| Programmierung |
INF-B-240, INF-D-230, INF-LE-EUI, INF-LE-MA, INF-LE-PHY, INF-SEGY-INF-05, INF-SEMS-INF-05, IST-05-PF-GS, MATH-BA-INFB, MATH-MA-INFPRG, SWT-PF |
2/2/0 |
Prof. Rudolph |
KI |
V U U U U U U U U U U U U U U U |
Freitag Montag Dienstag Dienstag Dienstag Dienstag Dienstag Mittwoch Mittwoch Mittwoch Mittwoch Donnerstag Donnerstag Freitag Freitag Freitag |
2. 2. 1. 1. 1. 5. 5. 1. 2. 2. 4. 1. 3. 1. 1. 5. |
HSZ/0003 INF/E023 BAR/0213 GÖR/0229 WIL/A221 INF/E010 SCH/A184 GER/0007 HSZ/0304 INF/E009 INF/E007 WIL/C106 INF/E010 BAR/0218 SCH/A185 INF/E009 |
wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. |
| Project Group Computational Logic |
MCL-P |
0/0/4 |
Prof. Rudolph |
KI |
P |
ZVZ |
ZVZ |
INF/E005 |
wöch. |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Forschungsprojekt Computer Vision |
INF-04-KP, INF-B-520, INF-B-540, INF-D-960, INF-E-4, INF-PM-FPA, INF-PM-FPG, IST-05-KP, MINF-04-KP-FG1 |
0/0/4, 0/0/8 |
Dipl.-Phys. Heidrich, Prof. Rother |
KI |
P |
Mittwoch |
2. |
INF/2025 |
wöch. |
| Hauptseminar Bildanalyse |
INF-AQUA, INF-BAS2, INF-BAS7, INF-D-940, INF-VERT2, INF-VERT7, IST-05-HS, MINF-04-HS |
0/2/0 |
Dipl.-Phys. Heidrich, Prof. Rother |
KI |
U |
Montag |
2. |
INF/E001 |
wöch. |
| Komplexpraktikum Computer Vision |
INF-04-KP, INF-E-4, INF-MA-PR, INF-VERT2, IST-05-KP, MINF-04-KP-FG1 |
0/0/4, 0/0/8 |
Dipl.-Phys. Heidrich, Prof. Rother |
KI |
P |
Mittwoch |
4., 5. |
INF/2025 |
wöch. |
| Machine Learning 2: Structured Models |
INF-04-FG-IS, INF-B-520, INF-B-540, INF-BAS2, INF-BAS7, INF-LE-MA, INF-VERT2, INF-VERT7, INF-VMI-8, MATH-MA-INFGDV |
2/2/0 |
Dr. Schlesinger, Prof. Rother |
KI |
V U |
Freitag Montag |
3. 4., 5. |
INF/E023 INF/E007 |
wöch. wöch. |
| 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 |
Dipl.-Phys. Heidrich, Prof. Rother |
KI |
U |
Freitag |
2. |
INF/E008 |
wöch. |
| Statistical Principles and Computational Methods |
INF-B-510, INF-D-510-COMP-BIO |
2/2/0 |
Prof. Roeder, Prof. Kaderali, Prof. Rother |
KI |
V U U |
Mittwoch Mittwoch Mittwoch |
2. 3. 3. |
INF/E001 INF/E001 INF/E069 |
wöch. wöch. wöch. |
| Lehrveranstaltung |
Modul |
SWS |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Knowledge Representation and Reasoning |
INF-AQUA, MCL-KR, MCL-PCS, MCL-PI |
0/2/0 |
Prof. Hölldobler |
KI |
S |
Montag |
2. |
INF/E005 |
wöch. |
| Project Group Knowledge Representation and Reasoning |
MCL-P |
0/0/4 |
Prof. Hölldobler |
KI |
P |
ZVZ |
ZVZ |
INF/E005 |
wöch. |
| SAT-Solving und das Lösen von Sudokus |
INF-B-520, INF-BAS2 |
1/1/2 |
Prof. Hölldobler |
KI |
V |
Montag |
4. |
INF/E010 |
wöch. |