Lehrveranstaltung
|
Modul
|
SWS
|
Dozent
|
Institut
|
Existential Rules
|
INF-BAS2, INF-VERT2, MCL-KR, MCL-PI
|
2/2/0
|
Prof. Rudolph
|
KI
|
Foundations of Constraint Programming
|
INF-VERT2, MCL-LCP
|
1/1/0
|
Prof. Rudolph
|
KI
|
Foundations of Logic Programming
|
INF-BAS2, MCL-LCP
|
2/1/0
|
Prof. Rudolph
|
KI
|
Introduction to Formal Concept Analysis
|
INF-BAS2, MCL-KR, MCL-PI
|
2/2/0
|
Prof. Rudolph
|
KI
|
Project Group Computational Logic
|
MCL-P
|
0/0/4
|
Prof. Rudolph
|
KI
|
Seminar Abstract Argumentation
|
INF-AQUA, MCL-KR, MCL-PCS
|
0/2/0
|
Dr. Gaggl
|
KI
|
Lehrveranstaltung
|
Modul
|
SWS
|
Dozent
|
Institut
|
Intelligente Systeme
|
INF-B-3B0, INF-D-340
|
3/1/0
|
Prof. Schroeder, Prof. Rother
|
BIOTEC, KI
|
Computer Vision
|
INF-B-510, INF-B-530, INF-BAS2, INF-BAS7, INF-LE-MA, INF-PM-ANW, INF-VERT2, INF-VERT7, INF-VMI-8, MATH-MA-INFGDV
|
2/2/0
|
Prof. Rother
|
KI
|
Einführungspraktikum Computer Vision
|
INF-04-P, INF-B-510, INF-B-530, INF-BAS2, INF-LE-MA, MATH-MA-INFGDV, MINF-04-FG-MTGW
|
0/0/2
|
Dipl.-Phys. Heidrich, Prof. 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
|
Prof. 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, Prof. 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, Prof. Rother
|
KI
|
Lehrveranstaltung
|
Modul
|
SWS
|
Dozent
|
Institut
|
Knowledge Representation and Reasoning
|
INF-AQUA, MCL-KR, MCL-PCS, MCL-PI
|
0/2/0
|
Prof. Hölldobler
|
KI
|
Komplexpraktikum Parallelizing SAT Preprocessors
|
INF-04-KP, INF-E-4, INF-MA-PR
|
0/0/4
|
Prof. Hölldobler
|
KI
|
Logic
|
MCL-F
|
2/2/0
|
Prof. Hölldobler
|
KI
|
Project Group Knowledge Representation and Reasoning
|
MCL-P
|
0/0/4
|
Prof. Hölldobler
|
KI
|
SAT Solving
|
INF-VERT2, MCL-KR, MCL-PI
|
2/2/0
|
Prof. Hölldobler
|
KI
|
Science of Computational Logic
|
INF-BAS2, MCL-F
|
2/2/0
|
Prof. Hölldobler
|
KI
|
Academic Skills in Computer Science
|
INF-04-FG-SWT, INF-AQUA, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-VERT3, MCL-PCS
|
2/2/0
|
Prof. Hölldobler, Prof. Aßmann
|
KI, SMT
|