| Course |
Lecturer |
SWS
l/t/s |
Credits |
Modules |
Exam |
Status |
|
Advanced Logics |
Prof. Reichel |
4/2/0 |
9 |
AL |
written |
foundation |
|
Algebraic Optimization |
Prof. Vogler |
0/2/0 |
3 |
SDS |
talk, essay |
advanced |
|
CL & KRR Colloquium |
Prof. Hölldobler,
Prof. Thielscher |
0/0/2 |
3 |
KRAI |
colloquium, essay |
advanced |
|
Formal Specification of Data and Process Types |
Prof. Reichel |
2/2/0 |
6 |
SDS, SV |
oral |
advanced |
|
Integrated Logic Systems |
Prof. Schroeder,
Prof. Thielscher |
4/2/0 |
9 |
ILS |
written, tutorial |
foundation |
|
Introduction to Sequent Calculus and Abstract Logic Programming |
Dr. Paola Bruscoli |
1/1/0 |
3 |
IT, KRAI |
written |
advanced |
|
Logic-based Knowledge Representation |
Prof. Baader,
Dr. Morawska |
4/2/0 |
9 |
KRAI, TCSL |
oral |
advanced |
|
Logic Programming and Connectionist Systems |
Prof. Hölldobler |
1/1/0 |
4 |
IT |
decided |
advanced |
|
Multi Agent Systems |
Prof. Thielscher |
0/0/2 |
3 |
KRAI |
talk, essay |
advanced |
|
Reasoning Agents |
Prof. Thielscher |
3/1/1 |
8 |
KRAI |
written |
advanced |
|
Repetition |
Rafael Penaloza |
0/2/0 |
0 |
none |
none |
repetition |
|
Syntax Directed Semantics II |
Prof. Vogler |
4/2/0 |
9 |
SDS |
oral |
advanced |
|
Temporal Logic |
Dr. Carsten Lutz
|
2/0/0 |
3 |
SV, TCSL |
oral |
advanced |
|
Theoretical Computer Science |
Prof. Baader,
Dr. Morawska |
0/0/2 |
3 |
TCSL |
talk |
advanced |
