Merging in the Horn Fragment

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

zbMATH Keywords

belief changebelief mergingHorn propositional logic

Mathematics Subject Classification ID

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

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