Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Proceedings of the 1990 North American conference on Logic programming
ACM Transactions on Database Systems (TODS)
Integration of weighted knowledge bases
Artificial Intelligence
A semantics for reasoning consistently in the presence of inconsistency
Artificial Intelligence
ACM Transactions on Database Systems (TODS)
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Prioritized logic programming and its application to commonsense reasoning
Artificial Intelligence
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
The Extended Stable Models of Contradiction Removal Semantics
EPIA '91 Proceedings of the 5th Portuguese Conference on Artificial Intelligence
Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inconsistent Databases
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
Combining Knowledge Bases Consisting of First Order Theories
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
Query Answering in Information Systems with Integrity Constraints
Proceedings of the IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems: Increasing the confidence in Information Systems
Integrating data from possibly inconsistent databases
COOPIS '96 Proceedings of the First IFCIS International Conference on Cooperative Information Systems
Conflict Tolerant Queries in AURORA
COOPIS '99 Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems
Querying inconsistent databases
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conflict Resolution Using Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Consistent Answers from Integrated Data Sources
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Condensed Representation of Database Repairs for Consistent Query Answering
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Census Data Repair: a Challenging Application of Disjunctive Logic Programming
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
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
Consistent queries over databases with integrity constraints
Database integrity
Scalar aggregation in inconsistent databases
Theoretical Computer Science - Database theory
Database Repairs and Analytic Tableaux
Annals of Mathematics and Artificial Intelligence
Repairing and querying inconsistent databases
Effective databases for text & document management
A Logical Framework for Querying and Repairing Inconsistent Databases
IEEE Transactions on Knowledge and Data Engineering
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Computing consistent query answers using conflict hypergraphs
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Consistent query answering under inclusion dependencies
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Discrete models for data imputation
Discrete Applied Mathematics - Discrete mathematics & data mining (DM & DM)
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Proceedings of the 14th ACM international conference on Information and knowledge management
Theory and Practice of Logic Programming
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
Social contraction and belief negotiation
Information Fusion
Magic Sets and their application to data integration
Journal of Computer and System Sciences
Solving abduction by computing joint explanations
Annals of Mathematics and Artificial Intelligence
Distance semantics for database repair
Annals of Mathematics and Artificial Intelligence
Towards Relational Inconsistent Databases with Functional Dependencies
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
Polynomial Time Queries over Inconsistent Databases
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Intensional First-Order Logic for P2P Database Systems
Journal on Data Semantics XII
Magic sets for data integration
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Logic programs for consistently querying data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Query rewriting and answering under constraints in data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Consistent query answers in the presence of universal constraints
Information Systems
Discrete models for data imputation
Discrete Applied Mathematics
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Proceedings of the 2nd international conference on Semantics in databases
Towards unifying semantic constraints and security constraints
Proceedings of the 2nd international conference on Semantics in databases
Polynomial time queries over inconsistent databases with functional dependencies and foreign keys
Data & Knowledge Engineering
Data integration and answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Preferred generalized answers for inconsistent databases
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Distance-Based repairs of databases
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Magic sets and their application to data integration
ICDT'05 Proceedings of the 10th international conference on Database Theory
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Query answering by rewriting in GLAV data integration systems under constraints
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
A framework for merging, repairing and querying inconsistent databases
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
Intensional semantics for p2p data integration
Journal on Data Semantics VI
Magic Sets for disjunctive Datalog programs
Artificial Intelligence
Efficient querying of inconsistent databases with binary integer programming
Proceedings of the VLDB Endowment
| Hi-index | 0.00 |
In this paper we present a logic programming based framework for the integration of possibly inconsistent databases. In particular we consider the problemof 'merging' databases and, since the resulting 'merged' database may be inconsistent (with respect to the constraints defined on the input databases or with respect to additional constraints), we address the problemof managing inconsistent databases. We propose a general logic framework for computing repairs and consistent answers over inconsistent databases. The logic framework and the techniques for computing repairs and consistent answers proposed here are more general than previously proposed techniques. Indeed, our technique is sound and complete for universally quantified constraints whereas previous defined techniques only consider restricted cases.