Sommersemester 2013

Version vom 26.03.2013


Institut für Künstliche Intelligenz

Computational Logic


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

Intelligente Systeme


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
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

Wissensverarbeitung


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
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
Prof. Dr. Hölldobler, Dipl.-Phys. Heidrich
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



Sommersemester 2013