Chair of Knowledge Representation
Chair of Automata Theory
Chair of Knowledge-Based Systems
Chair of Formal Argumentation and Formal Logic
Chair of Computational Logic
Chair of Computational Logic
Center for Interdisciplinary Digital Sciences (CIDS)
Chair of Automata Theory
Chair for Knowledge-Based Systems