136 citations · 149 across the 12 of their papers we have counts for
1 paper · 1 filter
Yann Ramusat, Silviu Maniu, Pierre Senellart
We establish a translation between a formalism for dynamic programming over hypergraphs and the computation of semiring-based provenance for Datalog programs. The benefit of this t…