A logic for reasoning with inconsistency
Journal of Automated Reasoning
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A polynomial time computable metric between point sets
Acta Informatica
Consistent Answers from Integrated Data Sources
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
Proceedings of the 17th International Conference on Logic Programming
Census Data Repair: a Challenging Application of Disjunctive Logic Programming
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
A Logical Framework for Integrating Inconsistent Information in Multiple Databases
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Distance Between Herbrand Interpretations: A Measure for Approximations to a Target Concept
ILP '97 Proceedings of the 7th International Workshop on Inductive Logic Programming
On the decidability and complexity of query answering over inconsistent and incomplete databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Database Repairs and Analytic Tableaux
Annals of Mathematics and Artificial Intelligence
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Computing consistent query answers using conflict hypergraphs
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Database repairing using updates
ACM Transactions on Database Systems (TODS)
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Querying inconsistent databases
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Data integration and answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
DART: a data acquisition and repairing tool
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Distance semantics for database repair
Annals of Mathematics and Artificial Intelligence
Commonsense reasoning by distance semantics
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
Hi-index | 0.00 |
We introduce a general framework for repairing inconsistent databases by distance-based considerations. The uniform way of representing repairs and their semantics clarifies the essence behind various approaches to consistency restoration in database systems, helps to compare the underlying formalisms, and relates them to existing methods of defining belief revision operators, merging data sets, and integrating information systems.