Pages that link to "Item:Q1978472"
From MaRDI portal
The following pages link to Propositional belief base update and minimal change (Q1978472):
Displaying 32 items.
- Argumentation update in YALLA (yet another logic language for argumentation) (Q289011) (← links)
- A sound and complete model-generation procedure for consistent and confidentiality-preserving databases (Q549726) (← links)
- Prime forms and minimal change in propositional belief bases (Q622590) (← links)
- Conditioning and updating evidence (Q707246) (← links)
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- Knowledge forgetting: properties and applications (Q1045992) (← links)
- Five faces of minimality (Q1313080) (← links)
- The complexity of belief update (Q1575185) (← links)
- Propositional belief base update and minimal change (Q1978472) (← links)
- Efficient multi-agent epistemic planning: teaching planners about nested belief (Q2060737) (← links)
- Confluence operators and their relationships with revision, update and merging (Q2248519) (← links)
- A sound and complete \(R\)-calculi with respect to contraction and minimal change (Q2418664) (← links)
- Knowledge updates: Semantics and complexity issues (Q2457677) (← links)
- Gricean belief change (Q2574882) (← links)
- A Unifying Perspective on Knowledge Updates (Q2915086) (← links)
- The rise and fall of semantic rule updates based on<tt>SE</tt>-models (Q2933088) (← links)
- Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change (Q3305693) (← links)
- Belief Update Within Propositional Fragments (Q3451174) (← links)
- Towards closed world reasoning in dynamic open worlds (Q3585167) (← links)
- Distance-Based Semantics for C-Structure Belief Revision (Q3638163) (← links)
- A Logical Splitting Strategy for the Belief Structure of Agents (Q3647209) (← links)
- Expressivity and completeness for public update logics via reduction axioms (Q3647272) (← links)
- On the logic of theory change: Partial meet contraction and revision functions (Q3699670) (← links)
- Relevance Sensitive Non-Monotonic Inference on Belief Sequences (Q4443395) (← links)
- Belief Update within Propositional Fragments (Q4639038) (← links)
- Actions, Belief Update, and DDL (Q4982659) (← links)
- Relevance in Belief Update (Q5026181) (← links)
- On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Q5026182) (← links)
- The sound and complete R-calculus for revising propositional theories (Q5046473) (← links)
- On the logic of theory change iteration of KM-update (Q6088375) (← links)
- Revising system specifications in temporal logic (Q6097773) (← links)
- Reasoning about action and change (Q6602230) (← links)
