3 citations · 3 across the 1 of their papers we have counts for
3 papers
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.AI2000
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…