2 citations · 4 across the 12 of their papers we have counts for
3 papers · 1 filter
A logic-based framework for database repairs
Nicolas Fröhlich, Arne Meier, Nina Pardal +1
We introduce a general abstract framework for database repairs, where the repair notions are defined using formal logic. We distinguish between integrity constraints and so-called…
Data-graph repairs: the preferred approach
Sergio Abriola, Santiago Cifuentes, Nina Pardal +1
Repairing inconsistent knowledge bases is a task that has been assessed, with great advances over several decades, from within the knowledge representation and reasoning and the da…
Unified Foundations of Team Semantics via Semirings
Timon Barlag, Miika Hannula, Juha Kontinen +2
Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for st…