Sommersemester 2013

Version vom 23.04.2013


Institut für Künstliche Intelligenz

Computational Logic


Lehrveranstaltung
Modul
SWS
Dozent
Institut
Art
Tag
DS
Raum
Woche
Deduction Systems
MCL-ILS
1/1/0
Prof. Rudolph
KI
V
Montag
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
V
U
Dienstag
Dienstag
Freitag
2.
3.
5.
INF/E005
INF/E005
INF/E005
wöch.
wöch.
wöch.

Intelligente Systeme


Lehrveranstaltung
Modul
SWS
Dozent
Institut
Art
Tag
DS
Raum
Woche
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


U
U
V
Dienstag
Dienstag
Montag
2.
4.
5.
INF/E069
INF/E069
INF/E007
wöch.
wöch.
wöch.
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
Dr. Schlesinger, Dipl.-Phys. Heidrich
KI
V
Montag
3.
INF/E009
wöch.
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
P
Donnerstag
4., 5.
INF/2025
wöch.
Mustererkennung


FAK-INF-LE, INF-04-FG-IS, INF-B-520, INF-B-540, INF-BAS2, INF-VERT2


2/2/0


Dr. Schlesinger


KI


V
V
U
Mittwoch
Freitag
Freitag
2.
1.
5.
INF/E009
INF/E008
INF/E010
wöch.
wöch.
wöch.
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
V
Donnerstag
2.
AVO
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
Dr. Schlesinger, Dipl.-Phys. Heidrich
KI
V
Freitag
2.
INF/E008
wöch.

Wissensverarbeitung


Lehrveranstaltung
Modul
SWS
Dozent
Institut
Art
Tag
DS
Raum
Woche
Complex Lab: SAT Solving
INF-E-4, INF-MA-PR, INF-PM-FPG
0/0/4
Prof. Dr. Hölldobler, Dipl.-Inf. Steinke
KI
P
ZVZ
ZVZ
AVO

Knowledge Representation and Reasoning
INF-BAS2, INF-VERT2, MCL-KR, MCL-PCS, MCL-PI
0/2/0
Prof. Dr. Hölldobler
KI
V
Donnerstag
3.
INF/E005
wöch.
Neural Symbolic Integration

INF-BAS2, INF-VERT2, MCL-KR, MCL-PI

2/2/0

Prof. Dr. Hölldobler

KI

V
U
Montag
Mittwoch
6.
6.
INF/E005
INF/E005
wöch.
wöch.
Project Group Knowledge Representation and Reasoning
MCL-P
0/0/4
Prof. Dr. Hölldobler
KI
P
ZVZ
ZVZ
AVO

Theoretische Informatik und Logik







INF-B-290, INF-D-330







4/2/0







Prof. Dr. Hölldobler, Prof. Dr. Baier







KI, ThI







V
V
U
U
U
U
U
U
Montag
Mittwoch
Montag
Dienstag
Mittwoch
Mittwoch
Mittwoch
Freitag
2.
3.
6.
4.
1.
2.
6.
1.
GÖR/0226
HSZ/0004
INF/E006
INF/E009
INF/E009
INF/E001
INF/E006
INF/E007
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.



Sommersemester 2013