Publikationen von Dörthe Arndt

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Publikationen von Dörthe Arndt


Artikel in Tagungsbänden

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

Technische Berichte

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