Some of the contents of the courses offered in the field of "Knowledge-based Systems" can be found in the courses currently offered in the master's and bachelor's program of computer science. Information about the courses offered in computer science can be found in the module handbooks on the teaching page of Computer Science.
Master's and Bachelor's theses can no longer be supervised.
Courses of previous semesters
| Summer Term 2017 | |||
| L.079.09501 | Webbasierte Informationssysteme | Vorlesung | Lettmann |
| Winter Term 2016 / 2017 | |||
| L.079.05701 | Heuristic Search | Vorlesung | Lettmann |
| Summer Term 2016 | |||
| L.079.05801 | Propositional Proof Systems | Vorlesung | Kleine Büning |
| L.079.09501 | Webbasierte Informationssysteme | Vorlesung | Lettmann |
| L.079.08106 | Wissensbasierte Systeme | Oberseminar | Kleine Büning |
| Winter Term 2015 / 2016 | |||
| L.079.05717 | Konfiguration und Diagnose | Vorlesung | Kleine Büning |
| L.079.05101 | Modellierung | Vorlesung | Blömer / Kleine Büning |
| L.079.08003 | Seminar Wissensbasierte Systeme | Seminar | Kleine Büning |
| L.079.08106 | Oberseminar Wissensbasierte Systeme | Oberseminar | Kleine Büning |
| L.079.05701 | Heuristic Search | Vorlesung | Lettmann |
| Summer Term 2015 | |||
| L.079.05600 | Grundlagen Wissensbasierter Systeme | Vorlesung | Kleine Büning |
| L.079.05801 | Propositional Proof Systems | Vorlesung | Kleine Büning |
| L.079.09501 | Webbasierte Informationssysteme | Vorlesung | Lettmann |
| L.079.08106 | Wissensbasierte Systeme | Oberseminar | Kleine Büning |