Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe  Home/Search
Context Related
Links: ACM DBLP | cs.kuleuven.ac.be/~dtai/publ...36218.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.kuleuven.ac.be/...2001E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce an abductive method for coherent composition of distributed data. Our approach is based on an abductive inference procedure that is applied on a meta-theory that relates different, possibly inconsistent, input databases. Repairs of the integrated data are computed, resulting in a consistent output database that satisfies the meta-theory. Our framework is based on the A-system, which is an abductive system that implements SLDNFA-resolution. The outcome is a robust application that,... (Update)
Context of citations to this paper: More
...or retracted from it in order to keep the data consistent. A corresponding application was introduced and described in greater details in [7]. Here we review it in order to keep this paper self contained, and putting our results in the right context. We then show that the...
...that its complement, l, is not provable. Other coherent formalisms for managing inconsistent information are considered, e.g. in [2 4,7,13,18]. Belief revision The need to alter the set of conclusions according to an input that is frequently modi ed is not an unusual...
Cited by: More
Paraconsistent Declarative Semantics for Extended Logic Programs - Arieli (2002) (Correct)
Repairing Inconsistent Databases: A.. - Arieli, Denecker, .. (Correct)
Similar documents (at the sentence level):
9.4%: Coherent Integration of Databases by Abductive Logic.. - Arieli, Denecker, al. (2004) (Correct)
Active bibliography (related documents): More All
0.6: Specifying Active Rules for Database Maintenance - Bertossi, Pinto (Correct)
0.4: Logics for Emerging Applications of Databases - Chomicki, Saake, van der Meyden (2003) (Correct)
0.4: Query Answering in Inconsistent Databases - Bertossi, Chomicki (Correct)
Similar documents based on text: More All
0.4: Problem solving in ID-logic with aggregates: some experiments - Van Nuffelen, Denecker (Correct)
0.4: Temporal reasoning with Abductive Event Calculus - Denecker, Missiaen, Bruynooghe (1992) (Correct)
0.3: Ultimate Well-founded and Stable Semantics for Logic.. - Denecker, Pelov.. (2001) (Correct)
Related documents from co-citation: More All
2: The Well-Founded Semantics for General Logic Programs - Van Gelder, Ross et al. - 1991
2: Reasoning with logical bilattices - Arieli, Avron - 1995
2: A Kripke-Kleene semantics for logic programs (context) - Fitting - 1985
BibTeX entry: (Update)
O.Arieli, B.Van Nu elen, M.Denecker, M.Bruynooghe. Coherent composition of distributed knowledge-bases through abduction. Proc. LPAR'01 , LNCS 2250, Springer, pp.620-635, 2001. http://citeseer.ist.psu.edu/arieli01coherent.html More
@article{ arieli01coherent,
author = "Ofer Arieli and Bert Van Nuffelen and Marc Denecker and Maurice Bruynooghe",
title = "Coherent Composition of Distributed Knowledge-Bases through Abduction",
journal = "Lecture Notes in Computer Science",
volume = "2250",
pages = "624+",
year = "2001",
url = "citeseer.ist.psu.edu/arieli01coherent.html" }
Citations (may not include all citations):212 Abductive Logic Programming - Denecker, Kakas - 2000 DBLP
120 Bilattices and the semantics of logic programming - Fitting - 1991 ACM DBLP
109 Database updates through abduction (context) - Kakas, Mancarella - 1990 ACM DBLP
101 Inconsistency management and prioritized syntax-based entail.. (context) - Benferhat, Cayrol et al. - 1993 DBLP
71 A logic for reasoning with inconsistency - Kifer, Lozinskii - 1992 ACM DBLP
64 Amalgamating knowledge-bases (context) - Subrahmanian - 1994
63 Consistent query answers in inconsistent databases - Arenas, Bertossi et al. - 1999 ACM DBLP
60 On specifying database updates - Reiter - 1995 DBLP
39 SLDNFA an abductive procedure for abductive logic programs - Denecker, De Schreye - 1998
32 Merging databases under constraints - Lin, Mendelzon - 1998 DBLP
30 Hypothetical Reasoning with Well Founded Semantics (context) - Pereira, Aparicio et al. - 1991 DBLP
28 Updating extended logic programs through abduction - Sakama, Inoue - 1999 ACM DBLP
24 the semantics of theory change: Arbitration between old and .. - Revesz - 1993
24 How to infer from inconsistent beliefs without revising - Benferhat, Dubois et al. - 1995
23 Negation as refutation - Fitting - 1989 ACM DBLP
23 Abductive framework for nonmonotonic theory change - Inoue, Sakama - 1995 DBLP
22 ACLP: Abductive constraint logic programming - Kakas, Michael et al. - 2000 DBLP
19 Query Answering in Information Systems with Integrity Constr.. - Bry - 1997 ACM DBLP
19 Integrity checking in deductive databases (context) - Oliv - 1991 ACM DBLP
18 Combining Multiple Knowledge Bases (context) - Baral, Kraus et al. - 1991 ACM DBLP
14 Mechanical proof procedures for many valued lattice-based lo.. (context) - Subrahmanian - 1990
14 System: Problem solving through abduction - Kakas, Van Nu et al. - 2001
13 Compositionality of normal open logic programs - Verbaeten, Denecker et al. - 2000 ACM DBLP
10 An extensible framework for repairing constraint violations - Gertz, Lipeck - 1997 ACM DBLP
7 BReLS: a system for the integration of knowledge bases - Liberatore, Schaerf - 2000 DBLP
6 Extending classical logic with inductive de nitions - Denecker - 2000
4 Combining knowledge with many-valued logics (context) - Messing - 1997 ACM DBLP
4 Querying inconsistent databases (context) - Greco, Zumpano - 2000 ACM DBLP
3 Four-valued logics for reasoning with uncertainty in priorit.. - Arieli - 1999
2 SCDBR: An automated reasoner for speci cations of database u.. (context) - Bertossi, Arenas et al. - 1998
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/2001-E.shtml): More
On Termination of Meta-Programs - Serebrenik (2001) (Correct)
Techniques for on- and Off-Line Specialisation of Logic Programs - Vanhoof (Correct)
On Termination of Meta-Programs - Serebrenik, De Schreye (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC