Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
On the semantics of rule-based expert systems with uncertainty
Lecture notes in computer science on ICDT '88
Conflict resolution of rules assigning values to virtual attributes
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proceedings of the Fourth Annual Symposium on Logic in computer science
RI: A logic for reasoning with inconsistency
Proceedings of the Fourth Annual Symposium on Logic in computer science
A simple formulation of the theory of metalogic programming
Meta-programming in logic programming
Bilattices and the semantics of logic programming
Journal of Logic Programming
Database systems: achievements and opportunities
Communications of the ACM
Paraconsistent disjunctive deductive databases
Theoretical Computer Science
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Automated deduction in paraconsistent logics
Automated deduction in paraconsistent logics
Dealing with multi-source information in possibilistic logic
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
The completeness of gp-resolution for annotated logics
Information Processing Letters
A theory of nonmonotonic inheritance based on annotated logic
Artificial Intelligence
Fundamenta Informaticae - Special issue: logics for artificial intelligence
Probabilistic logic programming
Information and Computation
A logic for reasoning with inconsistency
Journal of Automated Reasoning
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reasoning with Incomplete Information
Reasoning with Incomplete Information
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Paraconsistent Logic Programming
Proceedings of the Seventh Conference on Foundations of Software Technology and Theoretical Computer Science
Efficient maintenance of materialized mediated views
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Query caching and optimization in distributed mediator systems
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
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
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Foundations of distributed interaction systems
Annals of Mathematics and Artificial Intelligence
Annotated Logic Applications for Imperfect Information
Applied Intelligence
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Journal of Automated Reasoning
ML Systems: A Proof Theory for Contexts
Journal of Logic, Language and Information
IEEE Transactions on Knowledge and Data Engineering
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning
IEEE Transactions on Knowledge and Data Engineering
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
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
A Context-Based Logic for Distributed Knowledge Representation and Reasoning
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Paraconsistency in Object-Oriented Databases
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Infinite Relations in Paraconsistent Databases
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
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
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
Coherent Well-founded Annotated Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Multiplex: A Formal Model for Multidatabases and Its Implementation
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
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
Information Integration for Electronic Commerce
AMET '98 Selected Papers from the First International Workshop on Agent Mediated Electronic Trading on Agent Mediated Electronic Commerce
Consistent queries over databases with integrity constraints
Database integrity
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
Introducing dynamic behavior in amalgamated knowledge bases
Theory and Practice of Logic Programming
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
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
A modal logic framework for multi-agent belief fusion
ACM Transactions on Computational Logic (TOCL)
About the fusion of legal knowledge with exceptions
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Matrix representation of belief states: an algebraic semantics for belief logics
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
A paraconsistent logic programming approach for querying inconsistent databases
International Journal of Approximate Reasoning
Foundations and Trends in Web Science
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
Integrating Temporal Annotations in a Modular Logic Language
Applications of Declarative Programming and Knowledge Management
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
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
Querying and repairing inconsistent databases under three-valued semantics
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Disjunctive fuzzy logic programs with fuzzy answer set semantics
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
A framework for reasoning under uncertainty based on non-deterministic distance semantics
International Journal of Approximate Reasoning
Hybrid probabilistic logic programs with non-monotonic negation
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Preferred generalized answers for inconsistent databases
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Declarative semantics of production rules for integrity maintenance
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Aggregated Fuzzy Answer Set Programming
Annals of Mathematics and Artificial Intelligence
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
A core language for fuzzy answer set programming
International Journal of Approximate Reasoning
Probabilistic query answering over inconsistent databases
Annals of Mathematics and Artificial Intelligence
Privacy preservation using multi-context systems and default logic
Correct Reasoning
Hi-index | 0.00 |
The integration of knowledge for multiple sources is an importantaspect of automated reasoning systems. When different knowledge basesare used to store knowledge provided by multiple sources, we are facedwith the problem of integrating multiple knowledge bases: Under thesecircumstances, we are also confronted with the prospect ofinconsistency. In this paper we present a uniform theoretical framework,based on annotated logics, foramalgamating multiple knowledge bases when these knowledge bases(possibly) contain inconsistencies, uncertainties, and nonmonotonicmodes of negation. We show that annotated logics may be used, with somemodifications, to mediate betweendifferent knowledge bases. The multiple knowledge bases are amalgamatedby a transformation of the individual knowledge bases into new annotatedlogic programs, together with the addition of a new axiom scheme. Wecharacterize the declarative semantics of such amalgamated knowledgebases and study how the semantics of the amalgam is related to thesemantics of the individual knowledge bases being combined.—Author's Abstract