Lehrangebot Sommersemester 2014

Version vom 24.03.2014


Institut für Künstliche Intelligenz

Computational Logic


Lehrveranstaltung
Modul
SWS
Dozent
Institut
Applying Deduction Systems
MCL-KR, MCL-PI
1/1/0
Dr. Wernhard
KI
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
Natural Language Processing for Knowledge Representation
INF-BAS2, INF-VERT2, MCL-KR, MCL-PI
2/2/0
Dr. Thomazo
KI
Problem Solving and Search in AI
INF-BAS2, INF-VERT2, MCL-KR, MCL-PI
2/1/0
Dr. Gaggl
KI
Programmierung
INF-B-240, INF-D-230, INF-LE-EUI, INF-LE-MA, INF-LE-PHY, INF-SEGY-INF-05, INF-SEMS-INF-05, IST-05-PF-GS, MATH-BA-INFB, MATH-MA-INFPRG, SWT-PF
2/2/0
Prof. Rudolph
KI
Project Group Computational Logic
MCL-P
0/0/4
Prof. Rudolph
KI

Bildverarbeitung


Lehrveranstaltung
Modul
SWS
Dozent
Institut
Forschungsprojekt Computer Vision
INF-04-KP, INF-B-520, INF-B-540, INF-D-960, INF-E-4, INF-PM-FPA, INF-PM-FPG, IST-05-KP, MINF-04-KP-FG1
0/0/4, 0/0/8
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
Dipl.-Phys. Heidrich, Prof. Rother
KI
Komplexpraktikum Computer Vision
INF-04-KP, INF-E-4, INF-MA-PR, INF-VERT2, IST-05-KP, MINF-04-KP-FG1
0/0/4, 0/0/8
Dipl.-Phys. Heidrich, Prof. Rother
KI
Machine Learning 2: Structured Models
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, Prof. Rother
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
Dipl.-Phys. Heidrich, Prof. Rother
KI
Statistical Principles and Computational Methods
INF-B-510, INF-D-510-COMP-BIO
2/2/0
Prof. Roeder, Prof. Kaderali, Prof. Rother
KI

Wissensverarbeitung


Lehrveranstaltung
Modul
SWS
Dozent
Institut
Knowledge Representation and Reasoning
INF-AQUA, MCL-KR, MCL-PCS, MCL-PI
0/2/0
Prof. Hölldobler
KI
Project Group Knowledge Representation and Reasoning
MCL-P
0/0/4
Prof. Hölldobler
KI
SAT-Solving und das Lösen von Sudokus
INF-B-520
1/1/2
Prof. Hölldobler
KI



Lehrangebot Sommersemester 2014