A characterization of belief merging operators in the regular Horn fragment of signed logic

DOI10.1007/978-3-030-57524-3_1MaRDI QIDQ1997240zbMATH OpenOpenAlexFDO

Authors Pilar Dellunde

Publication date 1 March 2021

Full work available at URL https://doi.org/10.1007/978-3-030-57524-3_1

zbMATH Keywords

belief changebelief mergingHorn clausesigned logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Belief merging within fragments of propositional logic
• Belief merging within fragments of propositional logic
• Belief merging in dynamic logic of propositional assignments
• Merging operators on stratified belief bases equipped with argumentative inference
• Merging Belief Bases Represented by Logic Programs
• Logics for belief functions on MV-algebras
• On expressiveness of Halpern-Shoham logic and its Horn fragments
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• A characteristic frame for positive intuitionistic and relevance logic

Cited in

(5)

• Belief merging in dynamic logic of propositional assignments
• Merging in the Horn fragment
• Belief merging within fragments of propositional logic
• A first polynomial non-clausal class in many-valued logic
• Belief Horn merging operators: characterization results and implementations

This page was built for publication: A characterization of belief merging operators in the regular Horn fragment of signed logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1997240)