Applications of annotated predicate calculus to querying inconsistent databases

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 926-941

  Arenas, Marcelo ^a,b   Bertossi, Leopoldo ^a,b   Kifer, Michael ^a,b  

^a PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE   (Chile)

^b Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL LOGIC; INCONSISTENT DATABASE; INCONSISTENT INFORMATION; INTEGRITY CONSTRAINTS; LOGICAL SPECIFICATIONS; NON-TRIVIAL;

CALCULATIONS; LOGIC PROGRAMMING;

DATABASE SYSTEMS;

EID: 84867779624     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_62     Document Type: Conference Paper

References (12)

1. M. Arenas, L. Bertossi, and J. Chomicki. Consistent Query Answers in Inconsistent Databases. In Proc. ACM Symposium on Principles of Database Systems (ACM PODS'99, Philadelphia), pages 68-79, 1999.
2. N. Belnap. A Useful Four-Valued Logic. In M. Dunn and G. Epstein, editors, Modern Uses of Multi-Valued Logic, pages 8-37. Reidel Publ. Co., 1977.
3. H.A. Blair,V.S. Subrahmanian Paraconsistent Logic Programming Theoret-ical Computer Science, 68 135-154 1989.
4. T. Chou and M. Winslett. A Model-Based Belief Revision System. J. Automated Reasoning, 12:157-208, 1994.
5. T. Eiter and G. Gottlob. On the Co mplexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. J. Artificial Intelligence, 57(2-3):227-270, 1992.
6. M. Garey and D. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Co., 1979.
7. M. Gertz. Diagnosis and Repair of Constraint Violations in Database Systems. PhD thesis, Universität Hannover, 1996.
8. M.L. Ginsberg. Multivalued Logics: A Uniform Approach to Reasoning in Artificial Intelligence. Computational Intelligence, 4:265-316, 1988.
9. M. Kifer and E.L. Lozinskii. A Logic for Reasoning with Inconsistency. Journal of Automated Reasoning, 9(2):179-215, November 1992.
10. M. Kifer and V.S. Subrahmanian. Theory of Gener alized Annotated Logic Programming and its Applications. Journal of Logic Programming, 12(4):335-368, April 1992.
11. V.S. Subrahmanian. On the Semantics of Quantitative Logic Programs. In IEEE Symposium on Logic Programming, pages 173-182, 1987.
12. M.H. Van Emden. Quantitative Deduction and its Fixpoint Theory. Journal of Logic Programming, 1(4):37-53, 1986.