Courses in Summer Term 2016
From International Center for Computational Logic
Courses in Summer Term 2016
Module MCL-AL Advanced Logics (Basic)
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
Module MCL-KR Knowledge Representation (Advanced)
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Database Theory | 2/2/0 | Dr. Krötzsch | ThCS |
| Introduction to Automatic Structures | 2/1/0 | Dr. Turhan | ThCS |
| Problem Solving and Search in Artificial Intelligence | 2/1/1 | Dr. Gaggl | AI |
Module MCL-PI Principles of Inference (Advanced)
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Database Theory | 2/2/0 | Dr. Krötzsch | ThCS |
| Problem Solving and Search in Artificial Intelligence | 2/1/1 | Dr. Gaggl | AI |
Module MCL-TCSL Theoretical Computer Science and Logic (Advanced)
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Database Theory | 2/2/0 | Dr. Krötzsch | ThCS |
| Introduction to Automatic Structures | 2/1/0 | Dr. Turhan | ThCS |
====
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Advanced Topics in Complexity Theory | 2/2/0 | Dr. Borchmann | ThCS |
| Foundations of Semantic Web Technologies | Prof. Rudolph | AI | |
| Deduction Systems | Prof. Rudolph | AI | |
| Foundations of Semantic Web Technologies | Prof. Rudolph | AI | |
| Knowledge Representation and Reasoning | 0/2/0 | Prof. Hölldobler | AI |
| Logical Modelling | Prof. Rudolph | AI | |
| Advanced Logic | Prof. Baier | ThCS | |
| Selected Topics in Logics and Verification | Prof. Baier | ThCS | |
| Theoretical Computer Science | Prof. Baader | ThCS | |
| Term Rewriting Systems | Prof. Baader | ThCS |
