scientific article; zbMATH DE number 1333625
From MaRDI portal
Publication:4260400
zbMath0925.03130MaRDI QIDQ4260400
David Makinson, Peter Gaerdenfors
Publication date: 13 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (48)
Unifying default reasoning and belief revision in a modal framework ⋮ Blockage revision ⋮ Rational choice and AGM belief revision ⋮ Discursive logic. Towards a logic of rational discourse ⋮ A semantics for hyperintensional belief revision based on information bases ⋮ Belief revision and verisimilitude ⋮ Computing verisimilitude ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ A glance at revision and updating in knowledge bases ⋮ Notes on change and nonmonotony ⋮ Preferential reasoning in the perspective of Poole default logic ⋮ A test battery for rational database updating ⋮ Human rationality challenges universal logic ⋮ A sphere world semantics for default reasoning ⋮ Merging operators on stratified belief bases equipped with argumentative inference ⋮ Abductive consequence relations ⋮ Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks ⋮ Stratified belief bases revision with argumentative inference ⋮ Belief Contraction in the Context of the General Theory of Rational Choice ⋮ Belief change and 3-valued logics: Characterization of 19,683 belief change operators ⋮ Resource-origins of nonmonotonicity ⋮ A foundationalist view of the AGM theory of belief change ⋮ Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases ⋮ Believability relations for select-direct sentential revision ⋮ Representation theorems for explanatory reasoning based on cumulative models ⋮ Additive Consolidation with Maximal Change ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Notes on the history of ideas behind AGM ⋮ Revision algebra semantics for conditional logic ⋮ Choice revision ⋮ Conditionals in reasoning ⋮ Abductive logics in a belief revision framework ⋮ Quantum logic, Hilbert space, revision theory ⋮ Infinitary belief revision ⋮ From iterated revision to iterated contraction: extending the Harper identity ⋮ Declarative Representation of Revision Strategies* ⋮ Conditional descriptor revision and its modelling by a CSP ⋮ Ordering-based representations of rational inference ⋮ Structured argumentation dynamics. Undermining attacks in default justification logic ⋮ Belief change as change in epistemic entrenchment ⋮ On strengthening the logic of iterated belief revision: proper ordinal interval operators ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ Default reasoning and belief revision: A syntax-independent approach ⋮ A representation theorem for recovering contraction relations satisfying wci ⋮ Five faces of minimality ⋮ A survey of multiple contractions ⋮ Nonmonotonic inference based on expectations ⋮ The co-occurrence test for non-monotonic inference
This page was built for publication:
