Theory of Artificial Intelligence

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“

Lehrveranstaltungen WS08/09

Vorlesung „Beschreibungslogik und Ontologiesprachen“