Belief Merging within Fragments of Propositional Logic
From MaRDI portal
Publication:5277921
DOI10.1145/2898436zbMath1367.03034arXiv1404.6445OpenAlexW2327787835MaRDI QIDQ5277921
Odile Papini, Stefan Rümmele, Nadia Creignou, Stefan Woltran
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1404.6445
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Belief revision within fragments of propositional logic
- Logic based merging
- \(\text{DA}^2\) merging operators
- Propositional knowledge base revision and minimal change
- Inter-definability of Horn contraction and Horn revision
- Belief revision in Horn theories
- Horn Clause Contraction Functions
- A Model-Theoretic Approach to Belief Change in Answer Set Programming
- On the Semantics of Arbitration
- On the logic of theory change: Partial meet contraction and revision functions
- Merging Information Under Constraints: A Logical Framework
- Prime implicates and relevant belief revision
- The complexity of satisfiability problems
- Fusion: General concepts and characteristics