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

TU Dresden | Wintersemester 2021 / 2022 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.

Display more information
Access to this course has been restricted. Please login. Login
Information about access
You do not have enough rights to start this resource.