Propositional belief base update and minimal change
From MaRDI portal
Publication:1978472
DOI10.1016/S0004-3702(99)00072-7zbMATH Open0939.68852MaRDI QIDQ1978472FDOQ1978472
Publication date: 4 June 2000
Published in: Artificial Intelligence (Search for Journal in Brave)
Recommendations
- Propositional knowledge base revision and minimal change
- Belief update within propositional fragments
- Belief Update within Propositional Fragments
- scientific article; zbMATH DE number 1269568
- A model of minimal probabilistic belief revision
- Relevant minimal change in belief update
- Publication:3795274
- Update of Probabilistic Beliefs: Implementation and Parametric Verification
- scientific article; zbMATH DE number 1269565
- scientific article; zbMATH DE number 1882053
dependencecausalitybelief changeminimal changeintegrity constraintsbelief updatepossible models approachupdate postulates
Cites Work
- Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
- Title not available (Why is that?)
- Title not available (Why is that?)
- Counterfactuals and updates as inverse modalities
- Propositional knowledge base revision and minimal change
- Propositional belief base update and minimal change
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- The complexity of belief update
- A Unified View of Belief Revision and Update
- Foundations of a functional approach to knowledge representation
- Title not available (Why is that?)
- Deriving properties of belief update from theories of action
- Title not available (Why is that?)
- Title not available (Why is that?)
- Frames in the space of situations
- How to Do Things with Worlds: on Formalizing Actions and Plans
- Title not available (Why is that?)
- Interference logic = conditional logic + frame axiom
- Title not available (Why is that?)
Cited In (37)
- Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
- Confluence operators and their relationships with revision, update and merging
- Gricean belief change
- A Unifying Perspective on Knowledge Updates
- The rise and fall of semantic rule updates based onSE-models
- Five faces of minimality
- Knowledge updates: Semantics and complexity issues
- A sound and complete model-generation procedure for consistent and confidentiality-preserving databases
- Distance-Based Semantics for C-Structure Belief Revision
- Actions, Belief Update, and DDL
- Argumentation update in YALLA (yet another logic language for argumentation)
- Belief Update Within Propositional Fragments
- Conditioning and updating evidence
- Reasoning about action and change
- Title not available (Why is that?)
- Relevance in Belief Update
- Title not available (Why is that?)
- Belief Update within Propositional Fragments
- Revising system specifications in temporal logic
- On the logic of theory change iteration of KM-update
- Towards closed world reasoning in dynamic open worlds
- On Quantifying Literals in Boolean Logic and its Applications to Explainable AI
- Prime forms and minimal change in propositional belief bases
- Expressivity and completeness for public update logics via reduction axioms
- On updates of hybrid knowledge bases composed of ontologies and rules
- Propositional belief base update and minimal change
- Efficient multi-agent epistemic planning: teaching planners about nested belief
- The sound and complete R-calculus for revising propositional theories
- On the logic of theory change: Partial meet contraction and revision functions
- A logical splitting strategy for the belief structure of agents
- Title not available (Why is that?)
- Relevance Sensitive Non-Monotonic Inference on Belief Sequences
- A sound and complete \(R\)-calculi with respect to contraction and minimal change
- Knowledge forgetting: properties and applications
- Title not available (Why is that?)
- Irrelevant Updates and Nonmonotonic Assumptions
- Title not available (Why is that?)
This page was built for publication: Propositional belief base update and minimal change
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978472)