Confluence Operators

DOI10.1007/978-3-540-87803-2_23MaRDI QIDQ3532472zbMATH OpenOpenAlexFDO

Authors Sébastien Konieczny, Ramón Pino Pérez

Publication date 27 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87803-2_23

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Confluence operators and their relationships with revision, update and merging
• Belief base merging as a game
• Logics in Artificial Intelligence
• Merging Information Under Constraints: A Logical Framework
• A consistency-based framework for merging knowledge bases

Cites work

• \(\text{DA}^2\) merging operators
• Belief base merging as a game
• Belief extrapolation (or how to reason about observations and unpredicted change)
• scientific article; zbMATH DE number 108002 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 938664 (Why is no real title available?)
• Knowledge in flux. Modeling the dynamics of epistemic states
• Merging Information Under Constraints: A Logical Framework
• On the logic of theory change: Partial meet contraction and revision functions
• On the Semantics of Arbitration
• Propositional knowledge base revision and minimal change
• Two modellings for theory change

Cited in

(8)

• Confluence operators and their relationships with revision, update and merging
• On the revision of informant credibility orders
• Confluence Competition 2015
• Merging operators: beyond the finite case
• Revising beliefs on the basis of evidence
• Logic based merging
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• On the logic of theory change iteration of KM-update

This page was built for publication: Confluence Operators

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