A paraconsistent logic programming approach for querying inconsistent knowledge bases

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence

Volumn , Issue , 2005, Pages 747-752

  De Amo, Sandra ^a   Pais, Mônica S ^b  

^a FEDERAL UNIVERSITY OF UBERLÂNDIA   (Brazil)

^b Ciencia e Tecnologia Do Amazonas Campus Distrito Industrial IFAM CMDI   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

DATA ACQUISITION; DATABASE SYSTEMS; KNOWLEDGE BASED SYSTEMS; QUERY LANGUAGES; SEMANTICS;

FIXPOINT OPERATOR; INCONSISTENT INFORMATION; INTEGRATING DATA; PARACONSISTENT LOGIC PROGRAMMING APPROACH;

LOGIC PROGRAMMING;

EID: 32844463242     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Abiteboul, S.; Vianu, V.; and Hull, R. 1995. Foundations of Databases. Addison-Wesley.
2. Blair, H., and Subrahmanian, V. 1989. Paraconsistent logic programming. Theoretical Computer Science 135-154.
3. Carnielli, W. A., and Marcos, J. 2001. A taxonomy of C-systems. In Proceedings of the II World Congress on Paraconsistency (WCP2000), 1-94.
4. Carnielli, W. A.; Marcos, J.; and de Amo, S. 2000. Formal inconsistency and evolutionary databases. Logic and Logical Philosophy 8:115-152.
5. de Amo, S.; Carnielli, W. A.; and Marcos, J. 2002. A logical framework for integration inconsistent information in multiple databases. FOIKS 2002, LNCS 2284:67-84.
6. Kifer, M., and Lozinskii, E. 1992. A logic for reasoning with inconsistency. Journal of Automated Reasoning 179-215.
7. Leroy, X. 2002. The objective caml system - release 3.06.
8. Documentation and user's manual.
9. Lloyd, J. 1993. Foundations of Logic Programming. Springer-Verlag.
10. Pereira, L. M., and Alferes, J. J. 1992. Well founded semantics for logic programs with explicit negation. In European Conference on Artificial Intelligence, 102-106.
11. Przymusinski, T. C. 1990. Well-founded semantics coincides with three-valued stable semantics. Fundamentae Informaticae, XIII 445-463.
12. Sakama, C. 1992. Extended well-founded semantics for paraconsistent logic programs. In Proceedings of the International Conference on Fifth Generation Computer Systems, 592-599.
13. Subrahmanian, V. S. 1994. Amalgamating knowledge bases. ACM Transaction on Database Systems 19(2):291-331.
14. Van Gelder, A. 1989. The alternating fixpoint of logic programs with negation. In Proceedings of the eighth ACM Symposium on Principles of Database Systems-ACM PODS'89, 1-10.