Publications of Dörthe Arndt

From International Center for Computational Logic
Toggle side column

Publications of Dörthe Arndt


Proceedings Articles

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

Technical Reports

Dörthe Arndt, Stephan Mennike
Existential Notation3 Logic
Technical Report, ICCL, April 2024. Submission to Theory and Practice of Logic Programming
Details