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
Dörthe Arndt, Stephan Mennicke
Notation3 as an Existential Rule Language
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, October 2023. Springer
Details Download
Courses
- Formale Systeme (WS 2024)
- Theoretische Informatik und Logik (SS 2024)
- First-Order Logic – Semantic and Computational Properties (SS 2024)
- Foundations of Semantic Web Technologies (WS 2023)
- Quotation in Formal Logics and the Web (SS 2023)
show further courses