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

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

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

(16)

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

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)