Paraconsistent logic programming
Proc. of the seventh conference on Foundations of software technology and theoretical computer science
Finite-model theory—a personal perspective
ICDT Selected papers of the 4th international conference on Database theory
A logic for reasoning with inconsistency
Journal of Automated Reasoning
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
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inconsistent Databases
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
Integrating data from possibly inconsistent databases
COOPIS '96 Proceedings of the First IFCIS International Conference on Cooperative Information Systems
Database repairing using updates
ACM Transactions on Database Systems (TODS)
Computational methods for database repair by signed formulae*
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
Analysing inconsistent first-order knowledgebases
Artificial Intelligence
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Distance-Based repairs of databases
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A data model based on paraconsistent intuitionistic fuzzy relations
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Inconsistency-Tolerance in knowledge-based systems by dissimilarities
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
What is an ideal logic for reasoning with inconsistency?
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A preferential framework for trivialization-resistant reasoning with inconsistent information
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
An axiomatic model for merging stratified belief bases by negotiation
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part I
Axiomatic characterization of belief merging by negotiation
Multimedia Tools and Applications
| Hi-index | 0.00 |
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. In this paper, we use one of the paraconsistent logics introduced in [9,7] (LFI1) as a logical framework to model possibly inconsistent database instances obtained by integrating different sources. We propose a method based on the sound and complete tableau proof system of LFI1 to treat both the integration process and the evolution of the integrated database submitted to users updates. In order to treat the integrated database evolution, we introduce a kind of generalized database context, the evolutionary databases, which are databases having the capability of storing and manipulating inconsistent information and, at the same time, allowing integrity constraints to change in time. We argue that our approach is sufficiently general and can be applied in most circumstances where inconsistency may arise in databases.