| 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/0/2 |
3 |
KRAI, TCSL |
|
advanced |
|
Complexity and Logic
|
Prof. Baader
|
4/2/0 |
9 |
IT, KRAI, TCSL |
oral |
advanced |
|
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. Stefanus
|
3/1/0 |
4 |
IT, TCSL |
written |
advanced |
|
ICCL-Colloquium
|
CL professors
|
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 |
|
Project Group Model Checking
|
Prof. Baier
|
0/0/4 |
6 |
IT, SV |
project |
advanced |
|
Reasoning Agents
|
Prof. Thielscher
|
3/2/1 |
9 |
KRAI |
tb decided |
advanced |
|
Rule Extraction from Artificial Neural Networks
|
Prof. Hölldobler
|
0/0/2 |
3 |
KRAI |
presentation, paper |
advanced |
|
Satisfiability Problems or How to Solve Sudoku Puzzles
|
Prof. Hölldobler
|
1/1/2 |
6 |
IT |
|
advanced |
|
Semantics of Dependent Type Theory
|
Dr. Posegga
|
2/2/0 |
4 |
IT, SV, TCSL |
|
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 |
|
Verification Techniques (CANCELED)
|
Dr. Zarba
|
3/1/0 |
6 |
IT, SV, TCSL |
oral |
advanced |
|
XML and Programming Languages
|
Dr. Voigtländer
|
2/1/0 |
5 |
SDS |
tb decided |
advanced |
