scientific article; zbMATH DE number 2120511
From MaRDI portal
Publication:4829809
zbMath1061.03002MaRDI QIDQ4829809
Publication date: 1 December 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
nonmonotonic logicpreferential modelsdistance-based theory revisionFarkas algorithmsize-based theory revision
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items (13)
Default consequence relations from topology and measure theory ⋮ Theory-relational belief revision ⋮ Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models ⋮ Knowledge means ‘all’, belief means ‘most’ ⋮ A modal logic framework for reasoning about comparative distances and topology ⋮ On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G ⋮ Preferential semantics using non-smooth preference relations ⋮ CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS ⋮ An algebraic characterization of equivalent preferential models ⋮ 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
This page was built for publication: