Person
Prof. Dr. phil.Erich Grädel
UniversitätsprofessorMathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area
Former Supervisor
Address
Building: E1, 1. Etage
Room: 4120
Ahornstraße 55
52074 Aachen
Contact
- WorkPhone
- Phone: +49 241 80 21730
Fax
Fax:
+49 241 80 22215
Email:
graedel@logic.rwth-aachen.de
Publications related to UnRAVeL
| Source | Author(s) |
|---|---|
| [Journal Article] Logics with Multiteam Semantics In: ACM transactions on computational logic : TOCL, 23 (2), 13, 2022 [DOI: 10.1145/3487579] | Grädel, Erich (Corresponding author) Wilke, Richard Marlon |
| [Preprint] Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics, 2022 [DOI: 10.48550/arXiv.2203.03425] | Grädel, Erich (Corresponding author) Helal, Hayyan (Corresponding author) Naaf, Matthias Ferdinand (Corresponding author) Wilke, Richard Marlon (Corresponding author) |
| [Preprint] Limitations of the Invertible-Map Equivalences, 2021 | Dawar, Anuj (Corresponding author) Grädel, Erich (Corresponding author) Lichter, Moritz (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] Semiring Provenance for Fixed-Point Logic In: 29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (virtual conference) / edited by Christel Baier, Jean Goubault-Larrecq, 17:1-17:22, 2021 [DOI: 10.4230/LIPICS.CSL.2021.17] | Dannert, Katrin M. (Corresponding author) Grädel, Erich (Corresponding author) Naaf, Matthias Ferdinand (Corresponding author) Tannen, Val (Corresponding author) |
| [Contribution to a conference proceedings] Separation Logic and Logics with Team Semantics In: Proceedings of Workshop on Logics of Dependence and Independence (LoDE 2020V), Jouko Väänänen and Fan Yang (eds.), 9-15, 2020 | Grädel, Erich (Corresponding author) Haase, Darion (Corresponding author) Wilke, Richard Marlon (Corresponding author) |
| [Preprint] Logics with Multiteam Semantics, 2020 [DOI: 10.18154/RWTH-2020-12350] | Grädel, Erich (Corresponding author) Wilke, Richard Marlon (Corresponding author) |
| [Preprint] Semiring Provenance for Guarded Logics, 2019 | Grädel, Erich (Corresponding author) Dannert, Katrin M. |
| [Preprint] Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic, 2019 [DOI: 10.18154/RWTH-2019-09537] | Dannert, Katrin M. Grädel, Erich (Corresponding author) Naaf, Matthias Ferdinand 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 (Corresponding author) |