Main issues in belief revision, belief merging and information fusion
From MaRDI portal
Publication:6602229
DOI10.1007/978-3-030-06164-7_14zbMATH Open1547.68724MaRDI QIDQ6602229FDOQ6602229
Authors: Didier Dubois, Patricia Everaere, Sébastien Konieczny, Odile Papini 
Publication date: 11 September 2024
Recommendations
- scientific article; zbMATH DE number 1252389
- Belief fusion and revision: an overview based on epistemic logic semantics
- Merging Information Under Constraints: A Logical Framework
- Information fusion and revision in qualitative and quantitative settings. Steps towards a unified framework
- Logic based merging
Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in artificial intelligence (68T27)
Cites Work
- Aggregation functions.
- Title not available (Why is that?)
- Two modellings for theory change
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- A textbook of belief dynamics. Theory change and database updating
- On inference from inconsistent premisses
- Change, choice and inference. A study of belief revision and nonmonotonic reasoning
- On the logic of theory change: Partial meet contraction and revision functions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Strong equivalence made easy: nested expressions and weight constraints
- Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
- On the logic of theory change: safe contraction
- Knowledge in flux. Modeling the dynamics of epistemic states
- Title not available (Why is that?)
- Title not available (Why is that?)
- Combining probability distributions: A critique and an annotated bibliography
- Propositional knowledge base revision and minimal change
- Semi-revision
- A glance at revision and updating in knowledge bases
- Title not available (Why is that?)
- Iterated belief revision, revised
- Epistemic entrenchment and possibilistic logic
- Rational belief change, Popper functions and counterfactuals
- On the logic of iterated belief revision
- Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
- A framework for iterated revision
- AGM 25 years. Twenty-five years of research in belief change
- \(\text{DA}^2\) merging operators
- On the merging of Dung's argumentation systems
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
- Title not available (Why is that?)
- Merging Information Under Constraints: A Logical Framework
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- A model-theoretic approach to belief change in answer set programming
- Information fusion and revision in qualitative and quantitative settings. Steps towards a unified framework
- Capturing model-based ontology evolution at the instance level: the case of DL-Lite
- On properties of update sequences based on causal rejection
- Dynamic updates of non-monotonic knowledge bases
- Prime implicates and relevant belief revision
- Reversing the Levi identity
- Iterated revision and minimal change of conditional beliefs
- Knowledge Base Revision in Description Logics
- Admissible and restrained revision
- Title not available (Why is that?)
- Title not available (Why is that?)
- Merging Logic Programs under Answer Set Semantics
- A synthetic view of belief revision with uncertain inputs in the framework of possibility theory
- COBA 2.0: A Consistency-Based Belief Change System
- Possibilistic merging and distance-based fusion of propositional information
- Integration of weighted knowledge bases
- Title not available (Why is that?)
- Fusion of possibilistic knowledge bases from a postulate point of view.
- On the Semantics of Arbitration
- Merging Belief Bases Represented by Logic Programs
- On the semantics of combination operations
- Merging First-Order Knowledge Using Dilation Operators
- Three Scenarios for the Revision of Epistemic States
- On the link between partial meet, kernel, and infra contraction and its application to Horn logic
- Title not available (Why is that?)
- Lost in translation: language independence in propositional logic -- application to belief change
- Reasoning with partially ordered information in a possibilistic logic framework
- Syntactic Propositional Belief Bases Fusion with Removed Sets
- A framework for iterated belief revision using possibilistic counterparts to Jeffrey's rule
- Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
- Title not available (Why is that?)
- A consistency-based framework for merging knowledge bases
- Implementing semantic merging operators using binary decision diagrams
- Merging Qualitative Constraints Networks Using Propositional Logic
- Using Transfinite Ordinal Conditional Functions
- Controlled Revision - An algorithmic approach for belief revision
- Notes on the history of ideas behind AGM
- Fusion: General concepts and characteristics
- Disjunctive merging: quota and Gmin merging operators
- Extending Removed Sets Revision to partially preordered belief bases
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Study of some algebraical properties of adaptive combination rules
- Boosting distance-based revision using SAT encodings
- Belief merging within fragments of propositional logic
- Belief revision in Horn theories
- Horn clause contraction functions
- Reconsidering AGM-style belief revision in the context of logic programs
- A Default Logic Patch for Default Logic
- A simple signed system for paraconsistent reasoning
- Entrenchment-based Horn contraction
- Belief Base Change Operations for Answer Set Programming
- DL-Lite contraction and revision
- Update rules in datalog programs
Cited In (1)
This page was built for publication: Main issues in belief revision, belief merging and information fusion
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6602229)
