About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Courses in Winter Term 2009/10
Module MCL01 Foundations (Basic)
Person in charge: Prof. Steffen Hölldobler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Logic | 2/2/0 | Prof. Hölldobler | AI |
| Science of CL | 2/2/0 | Prof. Hölldobler | AI |
Module MCL02 Logic and Constraint Programming (Basic)
Person in charge: Prof. Michael Thielscher
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Foundations of Constraint Programming | 1/1/1 | Prof. Thielscher | AI |
| Foundations of Logic Programming | 2/1/0 | Prof. Thielscher | AI |
| LP Engineering | 0/0/2 | Dr. Nauber | ThCS |
Module MCL03 Advanced Logics (Basic)
Person in charge: Prof. Christel Baier
This module is not covered by any courses in winter terms.
Module MCL04 Integrated Logic Systems (Basic)
Person in charge: Prof. Michael Schroeder
This module is not covered by any courses in winter terms.
Module MCL05 Knowledge Representation and Artificial Intelligence (Advanced)
Person in charge: Prof. Michael Thielscher
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Advanced Topics in Description Logics | 2/0/0 | Dr. Turhan | ThCS |
| General Game Playing | 1/1/2 | Prof. Thielscher | AI |
| Interactive Theorem Proving | 4/1/1 | Dr. Posegga | ThCS |
|
Knowledge Representation and Reasoning "Human Reasoning and Cognitive Science" |
0/2/0 | Prof. Hölldobler | AI |
Module MCL06 Specification and Verification (Advanced)
Person in charge: Prof. Christel Baier
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Interactive Theorem Proving | 4/1/1 | Dr. Posegga | ThCS |
| Model Checking | 4/2/0 | Prof. Baier | ThCS |
| Selected Topics in Logic and Complexity | 0/2/0 | Prof. Baier, Dr. Größer | ThCS |
Module MCL07 Syntax Directed Semantics (Advanced)
Person in charge: Prof. Heiko Vogler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Automata and Logic | 4/2/0 | Prof. Baader | ThCS |
| Model Checking | 4/2/0 | Prof. Baier | ThCS |
| Natural Language Processing | 0/2/0 | Mr. Stüber | ThCS |
|
XML and Semi-structured Data CANCELED |
0/2/0 | Dr. Voigtländer | ThCS |
Module MCL08 Theoretical Computer Science and Logic (Advanced)
Person in charge: Prof. Franz Baader
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Advanced Topics in Description Logics | 2/0/0 | Dr. Turhan | ThCS |
| Automata and Logic | 4/2/0 | Prof. Baader | ThCS |
| Model Checking | 4/2/0 | Prof. Baier | ThCS |
| Selected Topics in Logic and Complexity | 0/2/0 | Prof. Baier, Dr. Größer | ThCS |
| Theoretical Computer Science | 0/2/0 | Prof. Baader | ThCS |
Module MCL09 Inference Techniques (Advanced)
Person in charge: Prof. Steffen Hölldobler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Advanced Topics in Description Logics | 2/0/0 | Dr. Turhan | ThCS |
| Automata and Logic | 4/2/0 | Prof. Baader | ThCS |
| Interactive Theorem Proving | 4/1/1 | Dr. Posegga | ThCS |
|
Knowledge Representation and Reasoning "Human Reasoning and Cognitive Science" |
0/2/0 | Prof. Hölldobler | AI |
| Model Checking | 4/2/0 | Prof. Baier | ThCS |
| Theoretical Computer Science | 0/2/0 | Prof. Baader | ThCS |
Module MCL10 Project (Basic)
Person in charge: head of the study course
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Project Group Computational Logic | 0/0/4 | Prof. Thielscher | AI |
| Project Group Knowledge Representation and Reasoning | 0/0/4 | Prof. Hölldobler | AI |
| Project Group Machine Translation and Tree Automata | 0/0/4 | Prof. Vogler | ThCS |
| Project Group Model Checking | 0/0/4 | Prof. Baier | ThCS |
| Project Group Semantic Search | 0/0/4 | Prof. Schroeder | AI |
| Project Group Theoretical Computer Science | 0/0/4 | Prof. Baader | ThCS |
Here you can find the description of the modules.
Note: 3 advanced modules have to be chosen out of the 5 ones (MCL05-MCL09). Courses summing up to min. 8 SWS have to be chosen for each of the 3 modules. Any course may be chosen for max. one module.
To discuss questions concerning logic and computational logic, you may contact Prof. Hölldobler during his consultation hours mentioned on his homepage.
Last update: Tue, 29 Jun 2010 13:08:41