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 43559
- APB 2019
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 Mennike
Existential Notation3 Logic
Technical Report, ICCL, April 2024. Submission to Theory and Practice of Logic Programming
Details
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)
- First-Order Logic – Semantic and Computational Properties (SS 2024)
- Theoretische Informatik und Logik (SS 2024)
- Foundations of Semantic Web Technologies (WS 2023)
- Quotation in Formal Logics and the Web (SS 2023)
show further courses