34 citations · 60 across the 4 of their papers we have counts for
4 papers · 1 filter
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…
Detecting Unsolvable Queries for Definite Logic Programs
Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal +1
In solving a query, the SLD proof procedure for definite programs sometimes searches an infinite space for a non existing solution. For example, querying a planner for an unreachab…
A note on the Declarative reading(s) of Logic Programming
Marc Denecker
This paper analyses the declarative readings of logic programming. Logic programming - and negation as failure - has no unique declarative reading. One common view is that logic pr…
Fixpoint 3-valued semantics for autoepistemic logic
M. Denecker, V. Marek, M. Truszczynski
The paper presents a constructive fixpoint semantics for autoepistemic logic (AEL). This fixpoint characterizes a unique but possibly three-valued belief set of an autoepistemic th…