38 citations · 46 across the 4 of their papers we have counts for
4 papers
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…
Problem solving in ID-logic with aggregates: some experiments
Bert Van Nuffelen, Marc Denecker
The goal of the LP+ project at the K.U.Leuven is to design an expressive logic, suitable for declarative knowledge representation, and to develop intelligent systems based on Logic…
SLDNFA-system
Bert Van Nuffelen
The SLDNFA-system results from the LP+ project at the K.U.Leuven, which investigates logics and proof procedures for these logics for declarative knowledge representation. Within t…