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 |