38 citations · 42 across the 4 of their papers we have counts for
4 papers
Argumentative Characterizations of (Extended) Disjunctive Logic Programs
Jesse Heyninck, Ofer Arieli
This paper continues an established line of research about the relations between argumentation theory, particularly assumption-based argumentation, and different kinds of logic pro…
Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming
Jesse Heyninck, Ofer Arieli, Bart Bogaerts
Approximation fixpoint theory (AFT) is an abstract and general algebraic framework for studying the semantics of nonmonotonic logics. It provides a unifying study of the semantics…
Coherent Integration of Databases by Abductive Logic Programming
O. Arieli, M. Bruynooghe, M. Denecker +1
We introduce an abductive method for a coherent integration of independent data-sources. The idea is to compute a list of data-facts that should be inserted to the amalgamated data…
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…