Publication:4829809
From MaRDI portal
zbMath1061.03002MaRDI QIDQ4829809
Publication date: 1 December 2004
nonmonotonic logic; preferential models; distance-based theory revision; Farkas algorithm; size-based theory revision
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
Related Items
Knowledge means ‘all’, belief means ‘most’, An algebraic characterization of equivalent preferential models, Preferential semantics using non-smooth preference relations, A modal logic framework for reasoning about comparative distances and topology, A comment on work by Booth and co-authors, A theory of hierarchical consequence and conditionals, Distance-based paraconsistent logics, Characterizability in Horn Belief Revision, Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models, On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G, CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS