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

•   doerthe.arndt@tu-dresden.de
•   APB 2034

• Publikationen
• Lehre

Neueste Publikationen

Komplette Publikationsliste anzeigen

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