Lehrveranstaltungen SS13
Vorlesung "Theoretische Informatik 2"
Vorlesung "Beschreibungslogik"
Vorlesung "Automatentheorie und ihre Anwendungen"
Seminar "Theoretische Grundlagen von Datenbanken"
Graduiertenseminar "Theorie der Künstlichen Intelligenz"
Lehrveranstaltungen WS12/13
Vorlesung "Logik"
Graduiertenseminar "Theorie der Künstlichen Intelligenz"
Lehrveranstaltungen SS12
Vorlesung "Beschreibungslogik"
Vorlesung "Bayes-Netze"
Seminar "Theoretische Grundlagen von Datenbanken"
Graduiertenseminar "Theorie der Künstlichen Intelligenz"
Lehrveranstaltungen WS11/12
Vorlesung "Theoretische Informatik 1"
Vorlesung "Komplexitätstheorie"
Vorlesung "From syllogism to common sense: a tour through the logical
landscape"
Seminar "Highlights der Theoretischen Informatik"
Graduiertenseminar "Theorie der Künstlichen Intelligenz"
Lehrveranstaltungen SS11
Vorlesung "Theoretische Informatik 2"
Vorlesung "Beschreibungslogik"
Vorlesung "Algorithmentheorie"
Seminar "Ausgewählte Themen der Logik in der Informatik"
Graduiertenseminar "Theorie der Künstlichen Intelligenz"
Lehrveranstaltungen WS10/11
Vorlesung
"Logik"
Seminar "Theoretische Grundlagen von Datenbanken"
Seminar "Beschreibungslogik"
Graduiertenseminar "Theorie der Künstlichen Intelligenz"
Lehrveranstaltungen SS10
Vorlesung
"Beschreibungslogik und Ontologiesprachen"
Vorlesung "Graphentheorie"
Vorlesung "Algorithmic Game Theory"
Seminar "Logik und XML"
Graduiertenseminar "Theorie der Künstlichen Intelligenz"
Lehrveranstaltungen WS09/10
Vorlesung "Theoretische Informatik 1"
Vorlesung "Finite Automata on Infinite Words and Trees"
Seminar "Komplexitätstheorie"
Graduiertenseminar "Theorie der Künstlichen Intelligenz"
Lehrveranstaltungen SS09
Vorlesung "Komplexitätstheorie"
Seminar "Beschreibungslogik"
Graduiertenseminar "Theorie der Künstlichen Intelligenz"