Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Foundations of semantic query optimization for deductive databases
Foundations of deductive databases and logic programming
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Generalized well-founded semantics for logic programs
CADE-10 Proceedings of the tenth international conference on Automated deduction
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
Applications of Protected Circumscription
Proceedings of the 7th International Conference on Automated Deduction
Procedural Interpretation of Non-Horn Logic Programs
Proceedings of the 9th International Conference on Automated Deduction
ACM Transactions on Database Systems (TODS)
Reasoning About Data Provided By Federated Deductive Databases
Journal of Intelligent Information Systems
Computing intersections of Horn theories for reasoning with models
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
Proceedings of the 17th International Conference on Logic Programming
Coherent Composition of Distributed Knowledge-Bases Through Abduction
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Tuple Relational Calculus for Paraconsistent Databases
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Paraconsistency in Object-Oriented Databases
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
Infinite Relations in Paraconsistent Databases
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
A Logic Framework for the Integration of Databases
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
On Anytime Coherence-Based Reasoning
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Data Merging: Theory of Evidence vs. Knowledge-Bases Merging Operators
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Integrating and Managing Conflicting Data
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Consistent queries over databases with integrity constraints
Database integrity
Data & Knowledge Engineering
Resource-Bounded Paraconsistent Inference
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
Answering Queries Addressed to Several Databases According to a Majority Merging Approach
Journal of Intelligent Information Systems
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Artificial Intelligence - Special issue on nonmonotonic reasoning
A modal logic framework for multi-agent belief fusion
ACM Transactions on Computational Logic (TOCL)
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
Logic-based approaches to information fusion
Information Fusion
Coordination in answer set programming
ACM Transactions on Computational Logic (TOCL)
Implementing semantic merging operators using binary decision diagrams
International Journal of Approximate Reasoning
Approaches to Constructing a Stratified Merged Knowledge Base
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Proof Theory for Distributed Knowledge
Computational Logic in Multi-Agent Systems
Merging stratified knowledge bases under constraints
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Merging Logic Programs under Answer Set Semantics
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
An AGM-based belief revision mechanism for probabilistic spatio-temporal logics
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
The strategy-proofness landscape of merging
Journal of Artificial Intelligence Research
Quota and Gmin merging operators
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Constructing consensus logic programs
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Querying inconsistent databases
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Merging first-order knowledge using dilation operators
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Using ASP for knowledge management with user authorization
Data & Knowledge Engineering
Reasoning under inconsistency: A forgetting-based approach
Artificial Intelligence
Disjunctive merging: Quota and Gmin merging operators
Artificial Intelligence
The Knowledge Engineering Review
The Epistemic View of Belief Merging: Can We Track the Truth?
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Efficient policy-based inconsistency management in relational knowledge bases
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Merging belief bases by negotiation
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
An ID-logic formalization of the composition of autonomous databases
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
A framework for multiset merging
Fuzzy Sets and Systems
A method to eliminate incompatible knowledge and equivalence knowledge
ICMLC'05 Proceedings of the 4th international conference on Advances in Machine Learning and Cybernetics
Quota-Based merging operators for stratified knowledge bases
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
A three-phase knowledge extraction methodology using learning classifier system
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
Approaches to measuring inconsistent information
Inconsistency Tolerance
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Conciliation and consensus in iterated belief merging
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
An implementation of learning classifier systems for rule-based machine learning
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Coordination between logical agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent 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
Combining answer sets of nonmonotonic logic programs
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Duality between merging operators and social contraction operators
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Contributions to personalizable knowledge integration
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Axiomatic characterization of belief merging by negotiation
Multimedia Tools and Applications
A Model-Theoretic Approach to Belief Change in Answer Set Programming
ACM Transactions on Computational Logic (TOCL)
Policy-based inconsistency management in relational databases
International Journal of Approximate Reasoning
Confluence operators and their relationships with revision, update and merging
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
Combining knowledge present in multiple knowledge base systems into a single knowledge base is discussed. A knowledge based system can be considered an extension of a deductive database in that it permits function symbols as part of the theory. Alternative knowledge bases that deal with the same subject matter are considered. The authors define the concept of combining knowledge present in a set of knowledge bases and present algorithms to maximally combine them so that the combination is consistent with respect to the integrity constraints associated with the knowledge bases. For this, the authors define the concept of maximality and prove that the algorithms presented combine the knowledge bases to generate a maximal theory. The authors also discuss the relationships between combining multiple knowledge bases and the view update problem.