Chair of Knowledge Representation
Chair of Automata Theory
Chair of Formal Argumentation and Formal Logic
Chair of Knowledge-Based Systems
Chair of Knowledge-Aware Artifical Intelligence
Chair of Computational Logic
Center for Interdisciplinary Digital Sciences (CIDS)
Chair of Computational Logic
Chair of Automata Theory
Chair of Knowledge-aware Artificial Intelligence
Chair of Knowledge-aware Artificial Intelligence
Institute of Theoretical Computer Science
Chair for Knowledge-Based Systems
Center for Interdisciplinary Digital Sciences (CIDS)