34 citations · 60 across the 4 of their papers we have counts for
Showing 2002Show all
2 papers · 1 filter
cs.LO2002★ 3 cited
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning
Ofer Arieli, Marc Denecker, Bert Van Nuffelen +1
In this paper we consider two points of views to the problem of coherent integration of distributed data. First we give a pure model-theoretic analysis of the possible ways to `rep…
cs.AI2002★ 16 cited
Ultimate approximations in nonmonotonic knowledge representation systems
Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
We study fixpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sh…