Coherent composition of distributed knowledge-bases through abduction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2250, Issue , 2001, Pages 624-638

  Arieli, Ofer ^a   Van Nuffelen, Bert ^a   Denecker, Marc ^a   Bruynooghe, Maurice ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

ABDUCTIVE INFERENCE; ABDUCTIVE METHOD; DISTRIBUTED DATA; DISTRIBUTED KNOWLEDGE BASIS; INTEGRATED DATA; META-THEORY; ROBUST APPLICATION;

DATA INTEGRATION;

EID: 84937391648     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45653-8_43     Document Type: Conference Paper

References (30)

1. M. Arenas, L. E. Bertossi, J. Chomicki. Consistent query answers in inconsistent databases. Proc. PODS'99, 68-79, 1999.
2. O. Arieli. Four-valued logics for reasoning with uncertainty in prioritized data. In: Information, Uncertainty, Fusion, 263-309, Kluwer, 1999.
3. C. Baral, S. Kraus, J. Minker. Combining Multiple Knowledge Bases. IEEE Trans. on Knowledge and Data Enginnering 3(2), 208-220, 1991.
4. S. Benferhat, C. Cayrol, D. Dubois, J. Lang, H. Prade. Inconsistency management and prioritized syntax-based entailment. Proc. IJCAI' 93, 640-645, 1993.
5. S. Benferhat, D. Dubois, H. Prade. How to infer from inconsistent beliefs without revising? Proc. IJCAI' 95, 1449-1455, 1995.
6. L. Bertossi, M. Arenas, C. Ferretti. SCDBR: An automated reasoner for specifications of database updates. Intelligent information Systems 10(3), 253-280, 1998.
7. F. Bry. Query Answeringin Information Systems with Integrity Constraints. Proc. IICIS' 97, 113-130, 1997.
8. M. Denecker, A. C. Kakas. Abductive Logic Programming, Special issue of Journal of Logic Programming, 44(1-3), 2000.
9. M. Denecker. Extendingclassical logic with inductive definitions. Proc. CL'2000, J. Lloyd et al., editors, LNAI 1861, Springer, 703-717, 2000.
10. M. Denecker, D. De Schreye. SLDNFA an abductive procedure for abductive logic programs. Journal of Logic Programming 34(2), 111-167, 1998.
11. M. Fitting. Negation as refutation. Proc. LICS'89, IEEE Press, 63-70, 1989.
12. M. Fitting. Bilattices and the semantics of logic programming. Journal of Logic Programming 11(2), 91-116, 1991.
13. M. Gertz, U. W. Lipeck. An extensible framework for repairingconstraint violations. Proc. IICIS' 97, 89-111, 1997.
14. S. Greco, E. Zumpano. Queryinginconsistent databases. Proc. LPAR'2000, M. Parigot and A. Voronokov, editors, LNAI 1955, 308-325, Springer, 2000.
15. K. Inoue, C. Sakama. Abductive framework for nonmonotonic theory change. Proc. IJCAI' 95, 204-210, 1995.
16. T. Kakas, P. Mancarella. Database updates through abduction. Proc VLDB' 90, 650-661, 1990.
17. T. Kakas, A. Michael, C. Mourlas. ACLP: Abductive constraint logic programming. Journal of Logic Programming 44(1-3), 129-177, 2000.
18. T. Kakas, B. Van Nuffelen, M. Denecker. A-System: Problem solvingthrough abduction. Proc. IJCAI' 01, 2001.
19. M. Kifer, E. L. Lozinskii. A logic for reasoning with inconsistency. Journal of Automated Reasoning 9(2), 179-215, 1992.
20. P. Liberatore, M. Schaerf. BReLS: a system for the integration of knowledge bases. Proc KR' 2000, 145-152, 2000.
21. J. Lin, A. O. Mendelzon. Merging databases under constraints. Int. Journal of Cooperative Information Systems 7(1), 55-76, 1998.
22. B. Messing. Combining knowledge with many-valued logics. Data and Knowledge Engineering 23, 297-315, 1997.
23. A. Olivé. Integrity checking in deductive databases. Proc VLBD' 91, 513-523, 1991.
24. L. M. Pereira, J. N. Aparicio, J. J. Alferes., Hypothetical Reasoningwith Well Founded Semantics, Proc. of the 3th Scandinavian Conference on AI, B. Mayoh, IOS Press, 289-300, 1991
25. R. Reiter. On specifyingdatabase updates. Journal of Logic Programming, 25(1), 53-91, 1995.
26. P. Z. Revesz. On the semantics of theory change: Arbitration between old and new information. Proc. PODS' 93, 71-82, 1993.
27. C. Sakama, K. Inoue. Updating extended logic programs through abduction. Proc LPNMR' 99, 147-161, 1999.
28. V. S. Subrahmanian. Mechanical proof procedures for many valued lattice-based logic programming. Journal of Non-Classical Logic 7, 7-41, 1990.
29. V. S. Subrahmanian. Amalgamating knowledge-bases. ACM Trans. on Database Systems 19(2), 291-331, 1994.
30. S. Verbaeten, M. Denecker, D. De Schreye. Compositionality of normal open logic programs. Journal of Logic Programming 41(3), 151-183, 2000.