Merging in the Horn Fragment
From MaRDI portal
Publication:5278204
DOI10.1145/3043700zbMath1367.68280OpenAlexW2600034178MaRDI QIDQ5278204
Adrian Haret, Stefan Woltran, Stefan Rümmele
Publication date: 13 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3043700
Related Items
Merging in the Horn Fragment, Belief Update Within Propositional Fragments, Characterizability in Horn Belief Revision
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Belief revision within fragments of propositional logic
- Logic based merging
- Propositional knowledge base revision and minimal change
- Inter-definability of Horn contraction and Horn revision
- Belief revision in Horn theories
- AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
- Horn Clause Contraction Functions
- On the Semantics of Arbitration
- On the logic of theory change: Partial meet contraction and revision functions
- Characterization of logic program revision as an extension of propositional revision
- Merging Information Under Constraints: A Logical Framework
- Prime implicates and relevant belief revision
- Horn Contraction via Epistemic Entrenchment
- Belief Merging within Fragments of Propositional Logic
- Merging in the Horn Fragment
- The complexity of satisfiability problems