Wintersemester 2013/14

Version vom 16.07.2013


Institut für Künstliche Intelligenz

Computational Logic


Lehrveranstaltung
Modul
SWS
Dozent
Institut
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

Bildverarbeitung


Lehrveranstaltung
Modul
SWS
Dozent
Institut
Computer Vision
INF-B-510, INF-B-530, INF-BAS2, INF-BAS7, INF-LE-MA, INF-VERT2, INF-VERT7, INF-VMI-8, MATH-MA-INFGDV
2/2/0
Dr. 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, 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

Wissensverarbeitung


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

Projektgruppe Angewandte Wissensverarbeitung


Lehrveranstaltung
Modul
SWS
Dozent
Institut
Intelligente Systeme
INF-B-3B0, INF-D-340
3/1/0
N.N.
KI



Wintersemester 2013/14