A logical framework for integrating inconsistent information in multiple databases

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

Volumn 2284, Issue , 2002, Pages 67-84

  de Amo, Sandra ^a   Carnielli, Walter A ^b   Marcos, João ^c  

^a FEDERAL UNIVERSITY OF UBERLÂNDIA   (Brazil)

^b UNIVERSITY OF CAMPINAS   (Brazil)

^c GHENT UNIVERSITY   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

INCONSISTENT DATABASE; INCONSISTENT INFORMATION; INTEGRATED DATABASE; INTEGRATION PROCESS; INTEGRITY CONSTRAINTS; LOGICAL FRAMEWORKS; PARACONSISTENT LOGIC; SOUND AND COMPLETE;

DATABASE SYSTEMS;

EID: 84957015036     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45758-5_5     Document Type: Conference Paper

References (23)

1. Abiteboul, S., Hull, R. and Vianu, V.: Foundations of Databases, Addison-Wesley (1995).
2. Agarwal, S., Keller, A. M., Wiederhold, G., Saraswat, K.: Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inconsistent Databases. Proceedings ICDE, 1995.
3. Arenas, M., Bertossi, L., Chomicki, J.: Consistent Query Answers in Inconsistent Databases. In Proc. of the 18th ACM Symposium on Principles of Database Systems, June 1999, Philadelphia, USA, pp 68-79.
4. Arenas, M., Bertossi, L., Chomicki, J.: Specifying and Querying Database Repairs using Logic Programs with Exceptions. In Proc. 4th International Conference on Flexible Query Aswering Systems, October 2000, Warsaw, Poland, Springer-Verlag.
5. Baral, C., Kraus, S., Minker, J., Subrahmanian, V. S.: Combining knowledge bases consisting of first-order theories. Computational Intelligence, 8:45-71, 1992.
6. Blair, H., Subrahmanian, V.S.: Paraconsistent Logic Programming. Theoretical Computer Science, 68: 135-154, 1989. Also in Proc. Conf. on Foundations of Software Technology and Theoretical Computer Science, (LNCS 287), 340-360, 1987. Integrity
7. Carnielli, W.A. and Marcos, J.: A taxonomy of C-systems To appear in: W. A. Carnielli, M. E. Coniglio, and I. M. L. D’Ottaviano, editors, Paraconsistency: The logical way to the inconsistent. Proceedings of the II World Congress on Paraconsistency (WCP2000). Marcel Dekker, 2001. http://www.cle.unicamp.br/e-prints/abstract 5.htm
8. Carnielli, W. A. and Marcos, J.: Tableau systems for logics of formal inconsistency. In: H.R.Arabnia, editor, Proceedings of the 2001 International Conference on Artificial Intelligence, (IC-AI 2001), v. II, p. 848-852. CSREA Press, USA, 2001. http://logica.rug.ac.be/˜joao/tableauxLFIs.ps.zip
9. Carnielli, W. A., Marcos, J., de Amo, S.: Formal Inconsistency and evolutionary databases. To appear in Logic and Logical Philosophy, 7/8, 2000. http://www.cle.unicamp.br/e-prints/abstract 6.htm
10. Carnielli, W.A., de Amo, S.: A logic-based system for controlling inconsistencies in evolutionary databases. Proc. of the VI Workshop on Logic, Language, Information and Computation, (WoLLIC 99), Itatiaia, Brazil, 1998, pp.89-101.
11. Carnielli, Walter A.: Many-valued logics and plausible reasoning. Proceedings of International Symp. on Multiple-valued Logic, Charlotte, U.S.A.,pp. 328-335 IEEE Computer Society Press(1990)
12. Carnielli, W. A., Lima–Marques, M.: Reasoning under Inconsistent Knowledge. Journal of Applied Non-classical Logics, Vol. 2 (1), 1992, pp. 49-79.
13. Carnielli, Walter A.: Systematization of the finite many-valued through the method of tableaux.
14. da Costa, Newton C.A.: On the theory of inconsistent formal system, Notre Dame Journal of Formal Logic, v. 11, pp. 497-510 (1974).
15. Dreben, B., Goldburg, W.D.: The Decision Problem: Solvable Classes of Quantificational Formulas. Addison-Wesley, 1979.
16. Dung, P.M.: Integrating Data from Possibly Inconsistency Databases. International Conference on Cooperative Information Systems, Brussels, Belgium, 1996.
17. Fagin, R., Ullman, J. D., Vardi, M.: On the semantics of updates in databases. In 2nd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pages 352-365, 1983.
18. Fagin, R.: Finite Model Theory: a Personal Perspective. Theoretical Computer Science, 116 (182):3-31, 1994.
19. Gallo, G., Rago, G.: The Satisfiability problem for the Sch¨oenfinkel-Bernays fragment: Partial Instantiation and Hypergraph Algorithms TR 4/94, Dipartimento di Informatica, Università di Pisa, 1994.
20. Gärdenfors, P.: Knowledge in Flux - Modeling the Dynamics of Epistemic States. MIT Press, 1988.
21. Kifer, M., Lozinskii, E.L: A Logic for Reasoning with Inconsistency. Journal of Automated Reasoning9: 179-215, 1992.
22. Subrahmanian, V.S.: Amalgamating knowledge bases. ACM Transactions on Database Systems, 19(2)-1994.
23. Trakhtenbrot, B.A.: The impossibility of an algorithm for the decision problem for finite domains. (Russian), Doklady Akademii Nauk, SSSR (N.S.) 70, pp 569-572, 1950.