Person

Katrin Dannert

M. Sc. RWTH

Assoziierte Promotionsstudentin

Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität)

Adresse

Gebäude: Erweiterungsbau 1

Raum: 4119

Ahornstr. 55

52074 Aachen

Kontakt

workPhone
Telefon: +49 241 80 21709
Fax: +49 241 80 22215

Sprechstunde

nach Vereinbarung
 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Preprint]
Semiring Provenance for Guarded Logics, 2019
Grädel, Erich
Dannert, Katrin M.
[Preprint]
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic, 2019
Dannert, Katrin M.
Grädel, Erich
Naaf, Matthias
Tannen, Val
[Buchbeitrag]
Provenance Analysis: A Perspective for Description Logics?
In: Description Logic, Theory Combination, and All That / Lutz, Carsten (Editor), 266-285, 2019
[DOI: 10.1007/978-3-030-22102-7_12]
Dannert, Katrin M.
Grädel, Erich