Logics in Artificial Intelligence

DOI10.1007/B100483zbMATH Open1111.68670OpenAlexW335252711MaRDI QIDQ5394142FDOQ5394142

Authors: James Delgrande, Torsten Schaub 

Publication date: 25 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100483

Recommendations

• A consistency-based framework for merging knowledge bases
• Merging Information Under Constraints: A Logical Framework
• Belief base rationalization for propositional merging
• Merging Belief Bases Represented by Logic Programs
• Logic based merging

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Cited In (31)

• Confluence operators and their relationships with revision, update and merging
• COBA 2.0: A Consistency-Based Belief Change System
• Approaches to Constructing a Stratified Merged Knowledge Base
• Geodesic merging
• Merging Belief Bases Represented by Logic Programs
• The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases
• Merging existential rules programs in multi-agent contexts through credibility accrual
• A syntactical approach to qualitative constraint networks merging
• A correspondence between belief function combination and knowledge base merging
• Title not available (Why is that?)
• A consistency-based framework for merging knowledge bases
• Implementing semantic merging operators using binary decision diagrams
• Logic based merging
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Merging First-Order Knowledge Using Dilation Operators
• A split-combination approach to merging knowledge bases in possibilistic logic
• Solving conflicts in information merging by a flexible interpretation of atomic propositions
• Reasoning under inconsistency: a forgetting-based approach
• Probabilistic merging operators
• \(\text{DA}^2\) merging operators
• Computational methods for database repair by signed formulae
• Knowledge Base Stratification and Merging Based on Degree of Support
• Belief merging by examples
• Consolidating modal knowledge bases
• Merging Information Under Constraints: A Logical Framework
• Belief base rationalization for propositional merging
• Graph-based belief merging
• Belief integration and source reliability assessment
• Title not available (Why is that?)
• Confluence Operators
• Title not available (Why is that?)

This page was built for publication: Logics in Artificial Intelligence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5394142)