Propositional knowledge base revision and minimal change
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4166940 (Why is no real title available?)
- scientific article; zbMATH DE number 4168658 (Why is no real title available?)
- scientific article; zbMATH DE number 140403 (Why is no real title available?)
- scientific article; zbMATH DE number 3641411 (Why is no real title available?)
- scientific article; zbMATH DE number 4197471 (Why is no real title available?)
- scientific article; zbMATH DE number 4187148 (Why is no real title available?)
- Knowledge in flux. Modeling the dynamics of epistemic states
- Nonmonotonic reasoning, preferential models and cumulative logics
- On the logic of theory change: Partial meet contraction and revision functions
- Two modellings for theory change
Cited in
(only showing first 100 items - show all)- Abductive consequence relations
- On the logic of iterated belief revision
- A granularity-based framework of deduction, induction, and abduction
- A framework for managing uncertain inputs: an axiomization of rewarding
- A consistency-based approach for belief change
- Computational methods for database repair by signed formulae
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Revising beliefs on the basis of evidence
- Reaching agreements through argumentation: a logical model and implementation
- Revising beliefs towards the truth
- Reasoning with prioritized information by iterative aggregation of distance functions
- Fusion: General concepts and characteristics
- Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM
- Argumentation update in YALLA (yet another logic language for argumentation)
- Using Transfinite Ordinal Conditional Functions
- Extending Removed Sets Revision to partially preordered belief bases
- Prime forms and minimal change in propositional belief bases
- Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
- A modal framework for relating belief and signed information
- Iterated belief change in the situation calculus
- Belief base merging as a game
- Relevant minimal change in belief update
- On the logic of theory change: Partial meet contraction and revision functions
- Double preference relations for generalised belief change
- AGM 25 years. Twenty-five years of research in belief change
- Knowledgebase transformations
- Contraction in propositional logic
- Systematic withdrawal
- Axiomatic characterization of the AGM theory of belief revision in a temporal logic
- Contraction in propositional logic
- Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
- Maximal contractions in Boolean algebras
- Unifying default reasoning and belief revision in a modal framework
- Impossibility in belief merging
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- Toward credible belief base revision
- Iterated belief revision, revised
- scientific article; zbMATH DE number 140403 (Why is no real title available?)
- A translation-based approach for revision of argumentation frameworks
- Belief revision within fragments of propositional logic
- Propositional belief base update and minimal change
- Logic based merging
- scientific article; zbMATH DE number 4187148 (Why is no real title available?)
- A framework for iterated revision
- Accommodative Belief Revision
- Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory
- Integration of weighted knowledge bases
- Confluence Operators
- Modeling belief in dynamic systems. I: Foundations
- Lost in translation: language independence in propositional logic -- application to belief change
- Information fusion and revision in qualitative and quantitative settings. Steps towards a unified framework
- The complexity of belief update
- DEL-sequents for progression
- A consistency-based framework for merging knowledge bases
- Five faces of minimality
- Parallel belief revision: revising by sets of formulas
- Constructive modelings for theory change
- What might be the case after a change in view
- How to deal with unbelievable assertions
- On the semantics of combination operations
- Belief revision in non-classical logics
- Interpreting enthymematic arguments using belief revision
- Rational choice and AGM belief revision
- Belief contraction in the context of the general theory of rational choice
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- Classical and weighted knowledgebase transformations
- Applying belief revision to case-based reasoning
- How to revise a total preorder
- Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
- Distance-based paraconsistent logics
- Nonmonotonic inference based on expectations
- An algebraic approach to revising propositional rule-based knowledge bases
- An extension-based approach to belief revision in abstract argumentation
- On the Dynamics of Total Preorders: Revising Abstract Interval Orders
- Non-prioritized ranked belief change
- scientific article; zbMATH DE number 1336335 (Why is no real title available?)
- scientific article; zbMATH DE number 219220 (Why is no real title available?)
- A panorama of iterated revision
- Belief extrapolation (or how to reason about observations and unpredicted change)
- Editor's introduction to the special issue on belief revision
- Propositional variable forgetting and marginalization: semantically, two sides of the same coin
- Belief revision and incongruity: is it a joke?*
- An epistemic approach to nondeterminism: believing in the simplest course of events
- Requirements, specifications, and minimal refinement
- Preferential accessibility and preferred worlds
- Constrained incomplete argumentation frameworks
- The irreducibility of iterated to single revision
- Theory-relational belief revision
- Belief revision with satisfaction measure
- Infinite ordinals and finite improvement
- Considerations on belief revision in an action theory
- GenB: A General Solver for AGM Revision
- An Epistemological Study of Theory Change
- Reasoning about general preference relations
- Nearly counterfactual revision
- DL-Lite ontology revision based on an alternative semantic characterization
- Belief merging within fragments of propositional logic
- Seminormalizing a default theory
- Applying the persistent set approach in temporal reasoning
- Iterated Belief Revision in the Face of Uncertain Communication
This page was built for publication: Propositional knowledge base revision and minimal change
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1189876)
