| Course Title |
Lecturer |
SWS
l/t/s |
Credits |
Modules |
Exam |
Status |
|
Advanced Logics
|
Prof. Baier
|
4/2/0 |
9 |
AL |
written |
foundation |
|
AI Game Playing
|
Prof. Thielscher
|
0/2/0 |
3 |
KRAI, TCSL |
|
advanced |
Algebraic Computation
(CANCELED)
|
Dr. Stefanus
|
4/2/0 |
6 |
IT, TCSL |
written |
advanced |
|
Applications of Satisfiability Testing
|
Prof. Hölldobler
|
0/2/0 |
3 |
IT, KRAI |
|
advanced |
|
Computational Logic
|
Prof. Thielscher
|
0/2/0 |
0 |
none |
none |
none |
|
Description Logic
|
Prof. Baader
|
4/2/0 |
9 |
IT, KRAI, TCSL |
oral |
advanced |
|
Foundations of Agent Programming
|
Prof. Thielscher
|
3/3/0 |
9 |
KRAI |
tb decided |
advanced |
|
ICCL-Colloquium
|
CL professors
|
0/2/0 |
0 |
none |
none |
none |
|
Inductive Logic Programming
|
Prof. Zaverucha
|
4/0/0 |
2 |
IT, KRAI |
|
foundation |
|
Integrated Logic Systems
|
Prof. Schroeder,
Prof. Thielscher
|
4/2/0 |
9 |
ILS |
written, tutorial |
foundation |
|
Knowledge Representation and Reasoning
|
Prof. Hölldobler
|
0/2/0 |
0 |
none |
none |
none |
|
Natural Language Processing
|
Prof. Vogler
|
0/2/0 |
3 |
SDS |
essay |
advanced |
|
Project Group Model Checking
|
Prof. Baier
|
0/0/4 |
6 |
IT, SV |
project |
advanced |
|
Satisfiability Problems or How to Solve Sudoku Puzzles
|
Prof. Hölldobler
|
1/1/2 |
6 |
IT |
|
advanced |
|
Syntax Directed Semantics
|
Prof. Vogler
|
4/2/0 |
10 |
SDS |
oral |
advanced |
|
Theorem Proving and Equality
|
Dr. Morawska
|
2/1/0 |
5 |
IT, TCSL |
oral |
advanced |
|
Theotical Computer Science
|
Prof. Baader
|
0/2/0 |
3 |
IT, TCSL |
talk |
advanced |
|
XML and Programming Languages
|
Dr. Voigtländer
|
2/1/0 |
5 |
SDS |
tb decided |
advanced |
To discuss questions concerning logic and computational logic, you may contact Prof. Hölldobler during his consultation hours mentioned on his homepage.
