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)- Preference-based belief revision for rule-based agents
- Iterated belief revision, revised
- Axiomatic characterization of the AGM theory of belief revision in a temporal logic
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Revision algebra semantics for conditional logic
- A system of dynamic modal logic
- Reaching agreements through argumentation: a logical model and implementation
- Five faces of minimality
- Nonmonotonic inference based on expectations
- Unifying default reasoning and belief revision in a modal framework
- Revision programming
- Modeling belief in dynamic systems. I: Foundations
- Modeling agents as qualitative decision makers
- On the logic of iterated belief revision
- Abductive consequence relations
- Non-prioritized ranked belief change
- Reducing belief revision to circumscription (and vice versa)
- Fast algorithms for revision of some special propositional knowledge bases
- The complexity of belief update
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- Impossibility in belief merging
- Preferential accessibility and preferred worlds
- An extension-based approach to belief revision in abstract argumentation
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- Revising beliefs towards the truth
- Classical and weighted knowledgebase transformations
- Systematic withdrawal
- Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory
- Editor's introduction to the special issue on belief revision
- Constructive modelings for theory change
- Applying the persistent set approach in temporal reasoning
- A foundationalist view of the AGM theory of belief change
- Propositional belief base update and minimal change
- Intention as commitment toward time
- Prioritised ceteris paribus logic for counterfactual reasoning
- An epistemic approach to nondeterminism: believing in the simplest course of events
- An investigation of parametrized difference revision operators
- Trust is all you need: from belief revision to information revision
- On some associations between mathematical morphology and artificial intelligence
- Mighty belief revision
- Reasoning about general preference relations
- Constrained incomplete argumentation frameworks
- Theory-relational belief revision
- Abduction to plausible causes: an event-based model of belief update
- Integration of weighted knowledge bases
- A closeness- and priority-based logical study of social network creation
- Confluence operators and their relationships with revision, update and merging
- Distance-based paraconsistent logics
- From iterated revision to iterated contraction: extending the Harper identity
- Belief base contraction by belief accrual
- A belief revision framework for revising epistemic states with partial epistemic states
- Inter-definability of Horn contraction and Horn revision
- A consistency-based framework for merging knowledge bases
- Contraction in propositional logic
- What kind of independence do we need for multiple iterated belief change?
- The irreducibility of iterated to single revision
- An algebraic approach to revising propositional rule-based knowledge bases
- On the revision of informant credibility orders
- What might be the case after a change in view
- Computational methods for database repair by signed formulae
- Belief revision in Horn theories
- Gricean belief change
- ALX, an action logic for agents with bounded rationality
- Elementary belief revision operators
- Nearly counterfactual revision
- Revising possibilistic knowledge bases via compatibility degrees
- Kinetic Consistency and Relevance in Belief Revision
- Characterizability in Horn belief revision
- GenB: A General Solver for AGM Revision
- Argumentation update in YALLA (yet another logic language for argumentation)
- Considerations on belief revision in an action theory
- Violation games: a new foundation for deontic logic
- PTL: a propositional typicality logic
- Relevant minimal change in belief update
- Constructive models for contraction with intransitive plausibility indifference
- A translation-based approach for revision of argumentation frameworks
- A logic for belief contraction
- Belief contraction in the context of the general theory of rational choice
- Information fusion and revision in qualitative and quantitative settings. Steps towards a unified framework
- Logic-based fusion of complex epistemic states
- A modal framework for relating belief and signed information
- Minimal and consistent evolution of knowledge bases
- Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
- Belief update within propositional fragments
- Private expansion and revision in multi-agent settings
- Contraction in propositional logic
- Infinite ordinals and finite improvement
- On the Dynamics of Total Preorders: Revising Abstract Interval Orders
- Accommodative Belief Revision
- Confluence Operators
- Belief revision in non-classical logics
- Iterated Belief Revision in the Face of Uncertain Communication
- Maximal contractions in Boolean algebras
- Using Transfinite Ordinal Conditional Functions
- Encoding the Revision of Partially Preordered Information in Answer Set Programming
- Belief fusion and revision: an overview based on epistemic logic semantics
- Belief base merging as a game
- Seminormalizing a default theory
- On the logic of theory change: Partial meet contraction and revision functions
- Belief revision within fragments of propositional logic
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)
