Dörthe Arndt: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 9: | Zeile 9: | ||
|Raum=APB 2034 | |Raum=APB 2034 | ||
|Bild=Doerthe-arndt.jpg | |Bild=Doerthe-arndt.jpg | ||
|Info=In Elternzeit bis vorraussichtlich Juli 2021. | |||
|Info EN=On maternity leave until July 2021. | |||
|DBLP=https://dblp.uni-trier.de/pid/165/1132.html | |DBLP=https://dblp.uni-trier.de/pid/165/1132.html | ||
|Google Scholar=https://scholar.google.com/citations?user=IMnVGVQAAAAJ&hl=de&oi=ao | |Google Scholar=https://scholar.google.com/citations?user=IMnVGVQAAAAJ&hl=de&oi=ao | ||
Version vom 6. Februar 2021, 13:37 Uhr
Dr. Dörthe Arndt
Wissenschaftliche Mitarbeiterin Computational Logic
In Elternzeit bis vorraussichtlich Juli 2021.
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
Lehrveranstaltungen
