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
Project Group Computational Logic	MCL-P	0/0/4	Prof. Rudolph	KI

Bildverarbeitung

Lehrveranstaltung	Modul	SWS	Dozent	Institut
Bildverarbeitung	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	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
Mustererkennung	INF-04-FG-IS, INF-B-520, INF-B-540, INF-BAS2, INF-LE-MA, INF-VERT2	2/2/0	Dr. Schlesinger	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
Statistical Principles and Computational Methods	INF-B-510	2/2/0	Prof. Roeder, Prof. Kaderali, Dr. Rother	KI

Computational Biology

Lehrveranstaltung	Modul	SWS	Dozent	Institut
Networks, Function and Genomics	INF-B-510	2/2/0	Prof. Schroeder, Dr. Hiller, Dr. Brusch	BIOTEC, KI
Modeling and Simulation	INF-B-510	2/2/0	Dr. Sbalzarini, Prof. Voigt, Prof. Deutsch	KI
Statistical Principles and Computational Methods	INF-B-510	2/2/0	Prof. Roeder, Prof. Kaderali, Dr. Rother	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
Knowledge Representation and Reasoning	INF-AQUA, 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