Main issues in belief revision, belief merging and information fusion
From MaRDI portal
Publication:6602229
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
Cites work
- scientific article; zbMATH DE number 4074045 (Why is no real title available?)
- scientific article; zbMATH DE number 1376305 (Why is no real title available?)
- scientific article; zbMATH DE number 108002 (Why is no real title available?)
- scientific article; zbMATH DE number 3560492 (Why is no real title available?)
- scientific article; zbMATH DE number 1252389 (Why is no real title available?)
- scientific article; zbMATH DE number 1269569 (Why is no real title available?)
- scientific article; zbMATH DE number 1269571 (Why is no real title available?)
- scientific article; zbMATH DE number 1301608 (Why is no real title available?)
- scientific article; zbMATH DE number 592370 (Why is no real title available?)
- scientific article; zbMATH DE number 1735982 (Why is no real title available?)
- scientific article; zbMATH DE number 1149444 (Why is no real title available?)
- scientific article; zbMATH DE number 2000821 (Why is no real title available?)
- scientific article; zbMATH DE number 1784992 (Why is no real title available?)
- scientific article; zbMATH DE number 800786 (Why is no real title available?)
- scientific article; zbMATH DE number 2243366 (Why is no real title available?)
- A Default Logic Patch for Default Logic
- A consistency-based framework for merging knowledge bases
- A framework for iterated belief revision using possibilistic counterparts to Jeffrey's rule
- A framework for iterated revision
- A glance at revision and updating in knowledge bases
- A model-theoretic approach to belief change in answer set programming
- A simple signed system for paraconsistent reasoning
- A synthetic view of belief revision with uncertain inputs in the framework of possibility theory
- A textbook of belief dynamics. Theory change and database updating
- AGM 25 years. Twenty-five years of research in belief change
- Admissible and restrained revision
- Aggregation functions.
- Belief Base Change Operations for Answer Set Programming
- Belief merging within fragments of propositional logic
- Belief revision in Horn theories
- Boosting distance-based revision using SAT encodings
- COBA 2.0: A Consistency-Based Belief Change System
- Capturing model-based ontology evolution at the instance level: the case of DL-Lite
- Change, choice and inference. A study of belief revision and nonmonotonic reasoning
- Combining probability distributions: A critique and an annotated bibliography
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
- Controlled Revision - An algorithmic approach for belief revision
- DL-Lite contraction and revision
- Disjunctive merging: quota and Gmin merging operators
- Dynamic updates of non-monotonic knowledge bases
- Entrenchment-based Horn contraction
- Epistemic entrenchment and possibilistic logic
- Extending Removed Sets Revision to partially preordered belief bases
- Fusion of possibilistic knowledge bases from a postulate point of view.
- Fusion: General concepts and characteristics
- Horn clause contraction functions
- Implementing semantic merging operators using binary decision diagrams
- Information fusion and revision in qualitative and quantitative settings. Steps towards a unified framework
- Integration of weighted knowledge bases
- Iterated belief revision, revised
- Iterated revision and minimal change of conditional beliefs
- Knowledge Base Revision in Description Logics
- Knowledge in flux. Modeling the dynamics of epistemic states
- Lost in translation: language independence in propositional logic -- application to belief change
- Merging Belief Bases Represented by Logic Programs
- Merging First-Order Knowledge Using Dilation Operators
- Merging Information Under Constraints: A Logical Framework
- Merging Logic Programs under Answer Set Semantics
- Merging Qualitative Constraints Networks Using Propositional Logic
- Notes on the history of ideas behind AGM
- On inference from inconsistent premisses
- On properties of update sequences based on causal rejection
- On the Semantics of Arbitration
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- On the link between partial meet, kernel, and infra contraction and its application to Horn logic
- On the logic of iterated belief revision
- On the logic of theory change: Partial meet contraction and revision functions
- On the logic of theory change: safe contraction
- On the merging of Dung's argumentation systems
- On the semantics of combination operations
- Possibilistic merging and distance-based fusion of propositional information
- Prime implicates and relevant belief revision
- Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
- Propositional knowledge base revision and minimal change
- Rational belief change, Popper functions and counterfactuals
- Reasoning with partially ordered information in a possibilistic logic framework
- Reconsidering AGM-style belief revision in the context of logic programs
- Reversing the Levi identity
- Semi-revision
- Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
- Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
- Strong equivalence made easy: nested expressions and weight constraints
- Study of some algebraical properties of adaptive combination rules
- Syntactic Propositional Belief Bases Fusion with Removed Sets
- Three Scenarios for the Revision of Epistemic States
- Two modellings for theory change
- Update rules in datalog programs
- Using Transfinite Ordinal Conditional Functions
- \(\text{DA}^2\) merging operators
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)
