38 citations · 46 across the 4 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2011★ 38 cited
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…
cs.AI2000★ 5 cited
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…
cs.AI2000
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…