Marcelo Arenas Leopoldo Bertossi Michael Kifer P. Universidad Catolica de...  Home/Search
Context Related
| sunysb.edu/pub/Tec...nconsistency.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sunysb.edu/~kifer/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simultaneously embedding the database and the integrity constraints, which are mutually inconsistent in classical logic, into a theory in annotated predicate calculus | a logic that allows non trivial reasoning in the presence of inconsistency. In this way, several goals are achieved: (a) A logical speci cation of the class... (Update)
Similar documents based on text: More All
1.1: Applications of Annotated Predicate Calculus to Querying.. - Arenas, Bertossi, Kifer (2000) (Correct)
0.6: Consistent Query Answers in Inconsistent Databases - Arenas, Bertossi, al. (1999) (Correct)
0.5: Applications of Annotated Predicate Calculus and Logic Programs to .. - Baeza (2002) (Correct)
BibTeX entry: (Update)
M. Arenas, L. Bertossi, and M. Kifer. Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. In Proc. 6th International Conference on Rules and Objects in Databases (DOOD'2000). To appear in Springer LNCS, 2000. http://citeseer.ist.psu.edu/arenas00applications.html More
@inproceedings{ arenas00applications,
author = "M. Arenas and L. Bertossi and M. Kifer",
title = "{Applications of Annotated Predicate Calculus to Querying Inconsistent Databases}",
booktitle = "Computational Logic - {CL} 2000, First International Conference, London, {UK}, July 2000. Proceedings",
publisher = "Springer Verlag",
editor = "J. W. Lloyd and V. Dahl and U. Furbach and M. Kerber and K. K. Lau and C. Palamidessi and L. Moniz Pereira and Y. Sagiv and P. J. Stuckey",
pages = "926--941",
year = "2000",
url = "citeseer.ist.psu.edu/arenas00applications.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
458 A Theory of Diagnosis from First Principles (context) - Reiter - 1987
183 A Useful Four-Valued Logic (context) - Belnap - 1977
134 Theory of Generalized Annotated Logic Programming and its Ap.. - Kifer, Subrahmanian - 1992
106 Paraconsistent Logic Programming (context) - Blair, Subrahmanian - 1989
99 Multivalued Logics: A Uniform Approach to Reasoning in Arti .. (context) - Ginsberg - 1988
96 the Complexity of Propositional Knowledge Base Revision - Eiter, Gottlob - 1992
71 A Logic for Reasoning with Inconsistency - Kifer, Lozinskii - 1992
63 Consistent Query Answers in Inconsistent Databases - Arenas, Bertossi et al. - 1999
37 the Semantics of Quantitative Logic Programs (context) - Subrahmanian - 1987
32 A Model-Based Belief Revision System (context) - Chou, Winslett - 1994
31 Quantitative Deduction and its Fixpoint Theory - van Emden - 1986
16 Diagnosis and Repair of Constraint Violations in Database Sy.. (context) - Gertz - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.sunysb.edu/~kifer/papers.html): More
Theory of Generalized Annotated Logic Programming and its.. - Kifer, Subrahmanian (1992) (Correct)
On the Decidability and Axiomatization of Query Finiteness in.. - Kifer (1998) (Correct)
A Theory of Nonmonotonic Inheritance Based on Annotated Logic - Thirunarayan, Kifer (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC