Lehrveranstaltungen WS21/22
Vorlesung „Theoretische Informatik 1“
Vorlesung „Logik“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen SS21
Vorlesung „Beschreibungslogik“
Vorlesung „Komplexitätstheorie“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen WS20/21
Vorlesung „Theoretische Informatik 1“
Vorlesung „Logik“
Vorlesung „Automatentheorie und ihre Anwendungen“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen SS20
Vorlesung „Beschreibungslogik“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen WS19/20
Vorlesung „Logik“
Vorlesung „Automatentheorie und ihre Anwendungen“
Seminar „Induktives Logisches Programmieren“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen SS19
Vorlesung „Theoretische Informatik 2“
Vorlesung „Beschreibungslogik“
Vorlesung „Komplexitätstheorie“
Seminar „Maschinelles Lernen und Logik“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen WS18/19
Vorlesung „Logik“
Vorlesung „Automatentheorie und ihre Anwendungen“
Vorlesung „Modallogik“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen SS18
Vorlesung „Beschreibungslogik“
Vorlesung „Einführung in die Datenbank-Theorie“
Vorlesung „Komplexitätstheorie“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen WS17/18
Vorlesung „Logik“
Vorlesung „Automatentheorie und ihre Anwendungen“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen SS17
Vorlesung „Theoretische Informatik 2“
Vorlesung „Beschreibungslogik“
Seminar „Zählen in der Informatik“
Projekt „GenQA“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen WS16/17
Vorlesung „Theoretische Informatik 1“
Vorlesung „Logik“
Vorlesung „Einführung in die Datenbank-Theorie“
Projekt „GenQA“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen SS16
Vorlesung „Theoretische Informatik 2“
Vorlesung „Beschreibungslogik“
Projekt „DeepQD“
Seminar „Big Data Mining“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen WS15/16
Vorlesung „Theoretische Informatik 1“
Vorlesung „Logik“
Projekt „DeepQD“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen SS15
Vorlesung „Theoretische Informatik 2“
Vorlesung „Beschreibungslogik“
Vorlesung „Automatentheorie und ihre Anwendungen“
Seminar „Frage- und Antwortsysteme“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen WS14/15
Vorlesung „Logik“
Vorlesung „Komplexitätstheorie“
Seminar „Big Data Mining“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen SS14
Vorlesung „Beschreibungslogik“
Vorlesung „Automatentheorie und ihre Anwendungen“
Seminar „Theoretische Grundlagen von Datenbanken“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
Lehrveranstaltungen WS 13/14
Vorlesung „Theoretische Informatik 1“
Vorlesung „Logik“
Vorlesung „Verifikation unendlicher Systeme“
Seminar „Highlights der Theoretischen Informatik“
Graduiertenseminar „Theorie der Künstlichen Intelligenz“
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“