| Course Title |
Lecturer |
SWS
l/t/s |
Credits |
Modules |
Exam |
Status |
|
The Algebraic Path Problem (SDS)
|
Prof. Vogler
|
4/2/0 |
9 |
SDS |
oral |
advanced |
|
Combinatorics and Analysis of Algorithms
|
Prof. Vogler
|
2/0/0 |
3 |
LCP |
written |
foundation |
|
Complexity and Logic
|
Prof. Baader
|
4/2/0 |
9 |
TCSL |
oral |
advanced |
|
Complexity Theory
|
Dr. Großmann
|
1/1/0 |
3 |
F, TCSL |
written |
foundation |
|
Computational Logic
|
Prof. Thielscher
|
0/0/2 |
0 |
none |
none |
none |
Computational Logic Consultation
Studienberatung Computational Logic
|
Prof. Hölldobler
|
0/0/2 |
0 |
none |
none |
none |
|
Computer Algebra
|
Dr. Pech
|
1/1/0 |
3 |
F, SV |
written |
foundation |
|
Formal Models of Concurrency
|
Prof. Reichel
|
2/2/0 |
6 |
SDS, SV, TCSL |
oral |
advanced |
|
Foundations of Constraint Programming
|
Prof. Thielscher
|
1/1/0 |
2 |
LCP |
written |
foundation |
|
Foundations of Logic Programming
|
Prof. Thielscher
|
2/1/0 |
4 |
LCP |
written |
foundation |
|
General Game Playing
|
Prof. Thielscher
|
1/0/3 |
6 |
KRAI |
oral |
advanced |
|
Interactive Theorem Proving
|
Dr. Posegga
|
4/1/1 |
9 |
IT, KRAI, SV |
written |
advanced |
|
Knowledge Representation and Reasoning
|
Prof. Hölldobler
|
0/0/2 |
0 |
none |
none |
none |
|
Knowledge Representation and Reasoning for the Semantic Web
|
Dr. Hitzler,
Markus Krötzsch
|
0/0/2 |
3 |
IT, KRAI |
talk |
advanced |
|
Logic
|
Prof. Hölldobler
|
2/2/0 |
6 |
F |
written |
foundation |
|
LP Engineering
|
Prof. Reichel,
Dr. Nauber
|
0/0/2 |
3 |
LCP |
written/project |
foundation |
|
Reasoning Agents II
|
Prof. Thielscher
|
0/0/2 |
3 |
KRAI |
presentation, paper |
advanced |
|
Science of CL
|
Prof. Hölldobler
|
2/2/0 |
6 |
F |
written |
foundation |
|
Specification and Verification
|
Prof. Reichel
|
0/0/2 |
3 |
SV |
oral |
advanced |
|
Theoretical Computer Science
|
Prof. Baader,
Dr. Lutz
|
0/0/2 |
3 |
IT, TCSL |
talk |
advanced |
|
Theorem Proving and Equality
|
Dr. Morawska
|
2/0/0 |
3 |
IT, TCSL |
oral |
advanced |
