A logic-based calculus of events
New Generation Computing
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about truth (research note)
Artificial Intelligence
Proceedings of the Fourth Annual Symposium on Logic in computer science
Bilattices and the semantics of logic programming
Journal of Logic Programming
On the semantics of theory change: arbitration between old and new information
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Justification semantics: a unifying framework for the semantics of logic programs
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
A logic for reasoning with inconsistency
Journal of Automated Reasoning
ACM Transactions on Database Systems (TODS)
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
A semantics for reasoning consistently in the presence of inconsistency
Artificial Intelligence
Combining knowledge with many-valued logics
Data & Knowledge Engineering - Special issue: distributed expertise
Compositionality of normal open logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
SCDBR: An Automated Reasoner for Specifications of Database Updates
Journal of Intelligent Information Systems
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Information integration using logical views
Theoretical Computer Science - Special issue on the 6th International Conference on Database Theory—ICDT '97
Termination analysis for abductive general logic programs
Proceedings of the 1999 international conference on Logic programming
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
LUPS---a language for updating logic programs
Artificial Intelligence
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Journal of Automated Reasoning
Combining Multiple Knowledge Bases
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
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
Proceedings of the 17th International Conference on Logic Programming
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Integrity Constraints Checking In Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Data Integration under Integrity Constraints
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
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
Analytic Tableaux and Database Repairs: Foundations
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge 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
An Extensible Framework for Repairing Constraint Violations
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
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
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
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
How to infer from inconsistent beliefs without revising
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Historical and computational aspects of paraconsistency in view of the logic foundation of databases
Proceedings of the 2nd international conference on Semantics in databases
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
Solving abduction by computing joint explanations
Annals of Mathematics and Artificial Intelligence
Distance semantics for database repair
Annals of Mathematics and Artificial Intelligence
A paraconsistent logic programming approach for querying inconsistent databases
International Journal of Approximate Reasoning
Repair localization for query answering from inconsistent databases
ACM Transactions on Database Systems (TODS)
Reasoning with Prioritized Data by Aggregation of Distance Functions
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Data integration and answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
An ID-logic formalization of the composition of autonomous databases
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Distance-Based repairs of databases
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Hi-index | 0.00 |
We introduce an abductive method for a coherent integration of independent datasources. The idea is to compute a list of data-facts that should be inserted to the amalgamated database or retracted from it in order to restore its consistency. This method is implemented by an abductive solver, called A system, that applies SLDNFA-resolution on a meta-theory that relates different, possibly contradicting, input databases. We also give a pure model-theoretic analysis of the possible ways to 'recover' consistent data from an inconsistent database in terms of those models of the database that exhibit as minimal inconsistent information as reasonably possible. This allows us to characterize the 'recovered databases' in terms of the 'preferred' (i.e., most consistent) models of the theory. The outcome is an abductive-based application that is sound and complete with respect to a corresponding model-based, preferential semantics, and - to the best of our knowledge - is more expressive (thus more general) than any other implementation of coherent integration of databases.