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 (3)

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

This page was built for publication: Merging in the Horn Fragment