Seminar Theoretical Computer Science: "Automata for Description Logics" -- WiSe 2021/22

This seminar covers recent topics from theoretical computer science and is held by Prof Franz Baader and PD Anni-Yasmin Turhan. In this semester we focus on approaches for realising reasoning in Description Logics by the use of automata.