Logics in Artificial Intelligence

DOI10.1007/B100483MaRDI QIDQ5394142zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(32)

• 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 existential rules programs in multi-agent contexts through credibility accrual
• Merging Belief Bases Represented by Logic Programs
• The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases
• A syntactical approach to qualitative constraint networks merging
• A correspondence between belief function combination and knowledge base merging
• scientific article; zbMATH DE number 1844490 (Why is no real title available?)
• Amalgamating knowledge bases, III: Algorithms, data structures and query processing
• 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
• A split-combination approach to merging knowledge bases in possibilistic logic
• Merging First-Order Knowledge Using Dilation Operators
• 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
• scientific article; zbMATH DE number 1929230 (Why is no real title available?)
• Confluence Operators
• scientific article; zbMATH DE number 5081761 (Why is no real title available?)

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)