A paraconsistent logic programming approach for querying inconsistent databases

International Journal of Approximate Reasoning

Volumn 46, Issue 2, 2007, Pages 366-386

  de Amo, Sandra ^a   Pais, Mônica Sakuray ^b  

^a FEDERAL UNIVERSITY OF UBERLÂNDIA   (Brazil)

^b CEFET Urutaí   (Brazil)

Author keywords

Deductive databases; Inconsistent information; Logic programming; Paraconsistent logic; Query languages

Indexed keywords

DATA ACQUISITION; INTEGRATION; LOGIC PROGRAMMING; MATHEMATICAL OPERATORS; QUERY LANGUAGES; SEMANTICS;

DEDUCTIVE DATABASES; INCONSISTENT INFORMATION; PARACONSISTENT LOGIC PROGRAMMING; QUERYING INCONSISTENT DATABASES;

QUERY PROCESSING;

EID: 34848872532     PISSN: 0888613X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ijar.2006.09.009     Document Type: Article

References (31)

1. Abiteboul S., Vianu V., and Hull R. Foundations of Databases (1995), Addison-Wesley
2. M. Arenas, L. Bertossi, J. Chomicki, Consistent query answers in inconsistent databases, in: 18th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'99), 1999, pp. 68-79.
3. M. Arenas, L. Bertossi, J. Chomicki, Answer sets for consistent query answering in inconsistent databases, Theory and Practice of Logic Programming, vol. 3, 2003, pp. 393-424.
4. M. Arenas, L. Bertossi, M. Kifer, Applications of annotated predicate calculus to querying inconsistent databases, in: Proceedings of Computational Logic, 2000, pp. 926-941.
5. Arieli O. Paraconsistent declarative semantics for extended logic programs. Annals of Mathematics and Artificial Intelligence 36 4 (2002) 381-417
6. Arieli O., Bruynooghe M., Denecker M., and Van Nuffelen B. Coherent integration of databases by abductive logic programming. Journal of Artificial Intelligence Research (JAIR) 21 (2004) 245-286
7. P. Barceló, L. Bertossi, Logic programs for querying inconsistent databases. Practical Aspects of Declarative Languages (PADL), in: Fifth International Symposium, 2003, pp. 208-222.
8. Belnap N.D. A useful four-valued logic. In: Epstein G., and Dunn J.M. (Eds). Modern Uses of Many-valued Logic (1977), Reidel 30-56
9. S. Benferhat, D. Dubois, H. Prade, How to Infer from Inconsistent Beliefs without Revising? in: Proceedings of the Foureenth International Joint Conferences on Artificial Intelligence, pp. 1449-1455, 1995.
10. Bidoit N., and Legay P. Well!: An evaluation procedure for all logic programs. In: Abiteboul S., and Kanellakis P.C. (Eds). ICDT'90, Third International Conference on Database Theory, Paris, France. Lecture Notes in Computer Science vol. 470 (1990), Springer 335-348
11. Blair H.A., and Subrahmanian V.S. Paraconsistent logic programming. Proceedings of the Seventh Conference on Foundations of Software Technology and Theoretical Computer Science (1987), Springer-Verlag 340-360
12. Bravo L., and Bertossi L. Logic programs for consistently querying data integration systems. IJCAI (2003) 10-15
13. W.A. Carnielli, J. Marcos, Tableau systems for logics of formal inconsistency, in: Proceedings of the 2001 International Conference on Artificial Intelligence - IC-AI, 2001, pp. 848-852.
14. W.A. Carnielli, J. Marcos, A taxonomy of C-systems, Paraconsistency - the Logical Way to the Inconsistent, Lecture Notes in Pure and Applied Mathematics, vol. 228, New York, 2002, pp. 1-94.
15. L. Cholvy, A general framework for reasoning about contradictory information and some of its applications, ECAI Workshop "Conflicts among agents" Brighton, August 1998.
16. L. Cholvy, C. Garion, A logic to reason on contradictory beliefs with a majority approach, Workshop IJCAI Inconsistency in Data and Knowledge, Seattle, August 2001.
17. de Amo S., Carnielli W.A., and Marcos J. Formal inconsistency and evolutionary databases. Logic and Logical Philosophy 8 (2000) 115-152
18. S. de Amo, W.A. Carnielli, J. Marcos, A logical framework for integrating inconsistent information in multiple databases, in: Second Symposium on Foundations of Information and Knowledge Systems (FOIKS), Salzau Castle, Germany, vol. 2284, LNCS, 2002, pp. 67-84.
19. S. de Amo, M.S. Pais, A paraconsistent logic programming approach for querying inconsistent knowledge bases, in: Proceedings of the 18th International FLAIRS Conference, 2005, pp. 747-752.
20. T. Eiter, M. Fink, G. Greco, D. Lembo, Efficient evaluation of logic programs for querying data integration systems, in: Proceedings of the 19th International Conference on Logic Programming (ICLP), 2003, pp. 163-177.
21. Gabbay D., and Hunter A. Making inconsistency respectable: A logical framework for inconsistency in reasoning. In: Jorrand P., and Kelemen J. (Eds). Proceedings of Fundamentals of Artificial Intelligence Research (FAIR'91) (1991), Springer-Verlag 19-32
22. M. Gelfond, V. Lifschitz, The stable model semantics for logic programming, in: Proceedings of the Fifth International Conference on Logic Programming, 1988, pp. 1070-1080.
23. Kifer M., and Lozinskii E.L. A logic for reasoning with inconsistency. Journal of Automated Reasoning (1992) 179-215
24. X. Leroy, The objective caml system - release 3.06, Documentation and users manual, August 2002.
25. Lloyd J.W. Foundations of Logic Programming (1993), Springer-Verlag
26. L.M. Pereira, J.J. Alferes, Well founded semantics for logic programs with explicit negation, in: European Conference on Artificial Intelligence, 1992, pp. 102-106.
27. Przymusinski T.C. Well-founded semantics coincides with three-valued stable semantics. Fundamentae Informaticae XIII (1990) 445-463
28. Sakama C. Extended well-founded semantics for paraconsistent logic programs. Proceedings of the International Conference on Fifth Generation Computer Systems (1992), ACM 592-599
29. Subrahmanian V.S. Amalgamating knowledge bases. ACM Transactions on Database Systems 19 2 (1994) 291-331
30. A. Van Gelder, The alternating fixpoint of logic programs with negation, in: Proceedings of the Eighth ACM Symposium on Principles of Database Systems-ACM PODS'89, 1989, pp. 1-10.
31. Van Gelder A., Ross K., and Schlipf J.S. The well-founded semantics for general logic programs. Journal of the ACM 38 3 (1991) 620-650