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