Logic based merging
From MaRDI portal
Publication:535328
DOI10.1007/s10992-011-9175-5zbMath1233.03024OpenAlexW2055706445MaRDI QIDQ535328
Ramón Pino Pérez, Sébastien Konieczny
Publication date: 11 May 2011
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-011-9175-5
Related Items
Belief Merging by Examples ⋮ Belief Merging within Fragments of Propositional Logic ⋮ Merging in the Horn Fragment ⋮ Merging existential rules programs in multi-agent contexts through credibility accrual ⋮ Graph-Based Belief Merging ⋮ Merging epistemic states and manipulation ⋮ Impossibility in belief merging ⋮ Judgement aggregation in non-classical logics ⋮ Merging operators on stratified belief bases equipped with argumentative inference ⋮ Morphologic for knowledge dynamics: revision, fusion and abduction ⋮ On manipulation in merging epistemic states ⋮ Morpho-logic from a topos perspective -- application to symbolic AI ⋮ Finding explanations of inconsistency in multi-context systems ⋮ Lifting integrity constraints in binary aggregation ⋮ Geodesic merging ⋮ A correspondence between belief function combination and knowledge base merging ⋮ An extension-based approach to belief revision in abstract argumentation ⋮ Inconsistency Measurement ⋮ Contradictory Information: Better Than Nothing? The Paradox of the Two Firefighters ⋮ Belief merging with the aim of truthlikeness ⋮ Confluence operators and their relationships with revision, update and merging ⋮ A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information ⋮ Judgment aggregation and minimal change: a model of consensus formation by belief revision ⋮ Multi-source multiple change on belief bases ⋮ Remedying inconsistent sets of premises ⋮ How to resolve doxastic disagreement ⋮ Truth approximation, belief merging, and peer disagreement ⋮ On some associations between mathematical morphology and artificial intelligence
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Sum-based weighted belief base merging: from commensurable to incommensurable framework
- Belief extrapolation (or how to reason about observations and unpredicted change)
- Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
- Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition -- application to 3D brain imaging
- \(\text{DA}^2\) merging operators
- Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation
- Introduction to judgment aggregation
- Disjunctive merging: quota and Gmin merging operators
- On the merging of Dung's argumentation systems
- Propositional knowledge base revision and minimal change
- Strategy-proofness and Arrow's conditions: existence and correspondence theorems for voting procedures and social welfare functions
- Signed systems for paraconsistent reasoning
- On the logic of iterated belief revision
- Fusion of possibilistic knowledge bases from a postulate point of view.
- Possibilistic merging and distance-based fusion of propositional information
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Belief revision: A critique
- Handbook of social choice and welfare. Vol. 1.
- Distance-based paraconsistent logics
- A consistency-based framework for merging knowledge bases
- Implementing semantic merging operators using binary decision diagrams
- Democratic answers to complex questions -- an epistemic perspective
- On inference from inconsistent premisses
- Data association in multi-target detection using the transferable belief model
- On the Semantics of Arbitration
- COBA 2.0: A Consistency-Based Belief Change System
- Confluence Operators
- Merging Qualitative Constraints Networks Using Propositional Logic
- Merging Belief Bases Represented by Logic Programs
- Knowledge Base Stratification and Merging Based on Degree of Support
- Using Transfinite Ordinal Conditional Functions
- Belief base merging as a game
- Max-based Prioritized Information Fusion without Commensurability
- On the logic of theory change: Partial meet contraction and revision functions
- Manipulation of Voting Schemes: A General Result
- On the semantics of combination operations
- A framework for iterated revision
- Logical fusion rules for merging structured news reports
- Merging structured text using temporal knowledge
- Merging Logic Programs under Answer Set Semantics
- Merging Information Under Constraints: A Logical Framework
- Conciliation through Iterated Belief Merging
- Merging First-Order Knowledge Using Dilation Operators
- Fusion: General concepts and characteristics
