Publication:2727768
From MaRDI portal
zbMath0977.03001MaRDI QIDQ2727768
Publication date: 31 July 2001
nonmonotonic logic; contraction; nonmonotonic reasoning; revision; epistemic state; belief sets; logic of belief change
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Related Items
Additive Consolidation with Maximal Change, An algebraic characterization of equivalent preferential models, Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory, AGM 25 years. Twenty-five years of research in belief change, How to revise a total preorder, Double preference relations for generalised belief change, Equilibria in social belief removal, A general family of preferential belief removal operators, A causal approach to nonmonotonic reasoning, A new psychologism in logic? Reflections from the point of view of belief revision, Default logic generalized and simplified, Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem, A representation theorem for recovering contraction relations satisfying wci, Normal conditions for inference relations and injective models, Causal dynamic inference, Nonmonotonicity in the framework of parametric logic, Default consequence relations from topology and measure theory, Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models, Similarity between preferential models, In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals, The quantitative/qualitative watershed for rules of uncertain inference, A characterization theorem for injective model classes axiomatized by general rules, Conflicting imperatives and dyadic deontic logic, Correct Grounded Reasoning with Presumptive Arguments
