JavaScript is required to use this site. Please enable JavaScript in your browser settings.

Leading Principal Investigator

Team Leads

Team

Leading Principal Investigator

Photo from Prof. Dr. Carsten Lutz

Prof. Dr. Carsten Lutz

Leipzig University

Chair of Knowledge Representation

Principal Investigators

Photo from Prof. Dr. -Ing. Franz Baader

Prof. Dr. -Ing. Franz Baader

TUD Dresden University of Technology

Chair of Automata Theory

Photo from Prof. Dr. Ringo Baumann

Prof. Dr. Ringo Baumann

Leipzig University

Chair of Formal Argumentation and Formal Logic

Photo from Prof. Dr. Markus Krötzsch

Prof. Dr. Markus Krötzsch

TUD Dresden University of Technology

Chair of Knowledge-Based Systems

Photo from Prof. Dr. Sebastian Rudolph

Prof. Dr. Sebastian Rudolph

TUD Dresden University of Technology

Chair of Computational Logic

Team Members

funded by:
Gefördert vom Bundesministerium für Bildung und Forschung.
Gefördert vom Freistaat Sachsen.