Dörthe Arndt

Dr. Dörthe Arndt

Wissenschaftliche MitarbeiterinTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Computational Logic

• DBLP
• Google Scholar

•   doerthe.arndt@tu-dresden.de
•   +49 351 463 43559
•   APB 2019

Ich bin Postdoktorandin an der Professur Computational Logic. Meine Forschungsinteressen umfassen die Logiken und Formalismen im Semantic Web und ihre Beziehungen zueinander. Mein besonderes Interesse liegt hier auf Regel-basierten Systemen (insbesondere Notation 3 Logic).

• Publikationen
• Lehre

Neueste Publikationen

Komplette Publikationsliste anzeigen

Dörthe Arndt, Stephan Mennicke
Existential Notation3 Logic
Theory and Practice of Logic Programming, 1-36, June 2025
Details

Dörthe Arndt, Stephan Mennicke
Existential Notation3 Logic
Technical Report, arXiv.org, April 2024. Under consideration in Theory and Practice of Logic Programming (TPLP)
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

Komplette Publikationsliste anzeigen

Lehrveranstaltungen

• 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)
  
  weitere Lehrveranstaltungen anzeigen