Publication:4236365
From MaRDI portal
zbMath0934.91011MaRDI QIDQ4236365
Publication date: 14 September 1999
68T30: Knowledge representation
Related Items
AGM 25 years. Twenty-five years of research in belief change, Belief extrapolation (or how to reason about observations and unpredicted change), Weakening conflicting information for iterated revision and knowledge integration, \(\text{DA}^2\) merging operators, Compiling propositional weighted bases, A new default theories compilation for MSP-entailment, Reasoning under inconsistency: a forgetting-based approach, Disjunctive merging: quota and Gmin merging operators, Default reasoning from conditional knowledge bases: Complexity and tractable cases, Consistency defaults, Belief liberation (and retraction), Distance-Based Semantics for C-Structure Belief Revision, Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases