Dörthe Arndt
From International Center for Computational Logic
Dr. Dörthe Arndt
Research Associate Computational Logic
- doerthe.arndt@tu-dresden.de
- +49 351 463 38343
- APB 2034
I am a postdoctoral researcher in the Computational Logic. My research centers around the different logics and formalisms of the Semantic Web and their relationship to each other. Here, I focus especially on rule-based reasoning (especially Notation 3 Logic) .
Newest Publications
View full publication listCourses
- Quotation in Formal Logics and the Web (SS 2023)
- Foundations of Semantic Web Technologies (WS 2022)
- Theoretische Informatik und Logik (SS 2022)
- Formale Systeme (WS 2021)