Integrity = validity + completeness
ACM Transactions on Database Systems (TODS)
A knowledge level analysis of belief revision
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Propositional knowledge base revision and minimal change
Artificial Intelligence
Nonmonotonic inference based on expectations
Artificial Intelligence
Combining databases with prioritized information
Journal of Intelligent Information Systems
Reasoning with information sources ordered by topics
AIMSA '94 Proceedings of the sixth international conference on Artificial intelligence : methodology, systems, applications: methodology, systems, applications
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
The semantic foundations of logic, volume 1 (2nd ed.): propositional logics
The semantic foundations of logic, volume 1 (2nd ed.): propositional logics
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
IEEE Transactions on Knowledge and Data Engineering
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
A System for Defeasible Argumentation, with Defeasible Priorities
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Intelligent Access to Data and Knowledge Bases via User's Topics of Interest
Proceedings of the IFIP 12th World Computer Congress on Personal Computers and Intelligent Systems - Information Processing '92 - Volume 3 - Volume 3
A Metadata Approach to Resolving Semantic Conflicts
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Merging structured text using temporal knowledge
Data & Knowledge Engineering
Logical fusion rules for merging structured news reports
Data & Knowledge Engineering
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Answering Queries Addressed to Several Databases According to a Majority Merging Approach
Journal of Intelligent Information Systems
Fusion rules for merging uncertain information
Information Fusion
Logic-based approaches to information fusion
Information Fusion
A knowledge-based approach to merging information
Knowledge-Based Systems
The Knowledge Engineering Review
Ordered belief fusion in possibilistic logic
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
| Hi-index | 0.00 |
This paper focuses on the problem of reasoning withinformation provided by a group of databases which share a common setof rules (deductive rules, integrity constraints). Each database isassumed to be consistent with the rules, but federating them may leadto contradictions.This paper describes a logic of beliefs, based on KD logic, forreasoning with contradictory information provided by severaldatabases. It also presents a theorem prover, associated with thislogic. This prover, described as a meta-interpreter of PROLOG allowsus to derive formulas of the form: given the databases and the rules,assuming an order of relative reliability between the databases, is agiven formula deducible? or, what are the individuals which satisfy agiven formula? When the set of rules is not recursive, we prove thecorrectness of this theorem-prover.