26 citations · 26 across the 1 of their papers we have counts for
3 papers
cs.LG2020★ 26 cited
PrIU: A Provenance-Based Approach for Incrementally Updating Regression Models
Yinjun Wu, Val Tannen, Susan B. Davidson
The ubiquitous use of machine learning algorithms brings new challenges to traditional database problems such as incremental view update. Much effort is being put in better underst…
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.LO2017
Semiring Provenance for First-Order Model Checking
Erich Grädel, Val Tannen
Given a first-order sentence, a model-checking computation tests whether the sentence holds true in a given finite structure. Data provenance extracts from this computation an abst…