Confluence Operators
From MaRDI portal
Publication:3532472
DOI10.1007/978-3-540-87803-2_23zbMath1178.68565OpenAlexW2912230447MaRDI QIDQ3532472
Ramón Pino Pérez, Sébastien Konieczny
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
Related Items (5)
On the logic of theory change iteration of KM-update ⋮ Revising beliefs on the basis of evidence ⋮ On the revision of informant credibility orders ⋮ Confluence operators and their relationships with revision, update and merging ⋮ Logic based merging
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Belief extrapolation (or how to reason about observations and unpredicted change)
- \(\text{DA}^2\) merging operators
- Two modellings for theory change
- Propositional knowledge base revision and minimal change
- On the Semantics of Arbitration
- Belief base merging as a game
- On the logic of theory change: Partial meet contraction and revision functions
- Merging Information Under Constraints: A Logical Framework
This page was built for publication: Confluence Operators