29 citations · 73 across the 14 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
Katrin M. Dannert, Erich Grädel, Matthias Naaf +1
Semiring provenance is a successful approach to provide detailed information on the combinations of atomic facts that are responsible for the result of a query. In particular, inte…
cs.LO2019★ 7 cited
Provenance Analysis for Logic and Games
Erich Grädel, Val Tannen
A model checking computation checks whether a given logical sentence is true in a given finite structure. Provenance analysis abstracts from such a computation mathematical informa…