Merging First-Order Knowledge Using Dilation Operators

DOI10.1007/978-3-540-77684-0_11MaRDI QIDQ5445298zbMATH OpenOpenAlexFDO

Authors Nikos Gorogiannis, Anthony Hunter

Publication date 4 March 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-77684-0_11

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Logics in Artificial Intelligence
• A consistency-based framework for merging knowledge bases
• Merging Information Under Constraints: A Logical Framework
• scientific article; zbMATH DE number 5081761
• Solving conflicts in information merging by a flexible interpretation of atomic propositions

Cites work

• \(\text{DA}^2\) merging operators
• Disjunctive merging: quota and Gmin merging operators
• Distance semantics for belief revision
• Error detecting and error correcting codes
• scientific article; zbMATH DE number 1735982 (Why is no real title available?)
• Implementing semantic merging operators using binary decision diagrams
• Knowledgebase transformations
• Merging Information Under Constraints: A Logical Framework
• On the Semantics of Arbitration
• Propositional distances and compact preference representation

Cited in

(11)

• Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
• On some associations between mathematical morphology and artificial intelligence
• A consistency-based framework for merging knowledge bases
• Sum-based weighted belief base merging: from commensurable to incommensurable framework
• Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
• Logic based merging
• Morphologic for knowledge dynamics: revision, fusion and abduction
• Morpho-logic from a topos perspective -- application to symbolic AI
• Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm
• Solving conflicts in information merging by a flexible interpretation of atomic propositions
• Main issues in belief revision, belief merging and information fusion

This page was built for publication: Merging First-Order Knowledge Using Dilation Operators

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