Belief merging within fragments of propositional logic

MaRDI QIDQ5282977zbMATH OpenFDO

Authors Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran

Publication date 18 July 2017

Full work available at URL http://ebooks.iospress.nl/volumearticle/36945

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Belief merging within fragments of propositional logic
• Belief update within propositional fragments
• Merging in the Horn fragment
• Belief revision within fragments of propositional logic
• A characterization of belief merging operators in the regular Horn fragment of signed logic

Cited in

(15)

• Belief merging within fragments of propositional logic
• Conciliation through Iterated Belief Merging
• Belief contraction within fragments of propositional logic
• Merging fragments of classical logic
• Belief Update within Propositional Fragments
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Belief merging in dynamic logic of propositional assignments
• Merging in the Horn fragment
• Impossibility in belief merging
• Belief update within propositional fragments
• Belief revision within fragments of propositional logic
• Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory
• Belief merging with the aim of truthlikeness
• Lost in translation: language independence in propositional logic -- application to belief change
• A characterization of belief merging operators in the regular Horn fragment of signed logic

This page was built for publication: Belief merging within fragments of propositional logic

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