Publications related to UnRAVeL
Source | Author(s) |
---|---|
[Report] UnRAVeL - Research Training Group, 2020 | Katoen, Joost-Pieter Ritzert, Martin Alexander Felix Wilke, Richard Dannert, Katrin Lindner, Peter et al. |
[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 |
[Contribution to a book] Provenance Analysis : A Perspective for Description Logics? In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday / Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter (eds.), 266-285, 2019 [DOI: 10.1007/978-3-030-22102-7_12] | Dannert, Katrin M. Grädel, Erich |