Dörthe Arndt

Dr. Dörthe Arndt

Research AssociateTechnische 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 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) .

• Publications
• Teaching

Newest Publications

View full publication list

Courses

• 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)