| Course Title |
Lecturer |
SWS
l/t/s |
Credits |
Modules |
Exam |
Status |
|
Advanced Logics
|
Prof. Baier
|
4/2/0 |
9 |
AL |
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 |
|
Description Logics
|
Prof. Baader
|
4/2/0 |
9 |
IT, KRAI, TCSL |
oral |
advanced |
|
ICCL-Colloquium
|
Prof. Hölldobler,
Prof. Thielscher
|
0/0/2 |
0 |
none |
none |
none |
|
Integrated Logic Systems
|
Prof. Schroeder,
Prof. Thielscher
|
4/2/0 |
9 |
ILS |
written, tutorial |
foundation |
|
Knowledge Representation and Reasoning
|
Prof. Hölldobler
|
0/0/2 |
0 |
none |
none |
none |
|
Logic and Probability
|
Prof. Thielscher
|
0/0/2 |
3 |
KRAI, TCSL |
talk, paper |
advanced |
|
Natural Language Processing
|
Prof. Vogler
|
0/2/0 |
3 |
SDS |
oral |
advanced |
|
Project Group Model Checking
|
Prof. Baier
|
0/0/4 |
6 |
IT, SV |
project |
advanced |
|
Reasoning Agents
|
Prof. Thielscher
|
3/2/0 |
8 |
KRAI |
to be decided |
advanced |
|
Satisfiability Testing or how to solve Sudoku puzzles
|
Prof. Hölldobler
|
1/1/2 |
6 |
IT, KRAI |
to be decided |
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 |
|
Theoretical Computer Science
|
Prof. Baader
|
0/0/2 |
3 |
TCSL |
talk |
advanced |
|
Type-2 Fuzzy Sets
|
Prof. T. D. Khang
|
4/0/0 |
1 |
IT |
none |
none |
