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

DOI10.1007/978-3-030-57524-3_1zbMATH Open1478.68350OpenAlexW3081079646MaRDI QIDQ1997240FDOQ1997240

Pilar Dellunde

Publication date: 1 March 2021

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

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

zbMATH Keywords

belief changebelief mergingHorn clausesigned logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (1)

• A first polynomial non-clausal class in many-valued logic

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)