scientific article; zbMATH DE number 2120511

MaRDI QIDQ4829809zbMATHFDO

Authors K. Schlechta

Publication date 1 December 2004

zbMATH Keywords

nonmonotonic logicpreferential modelsdistance-based theory revisionFarkas algorithmsize-based theory revision

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in artificial intelligence (68T27) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Nonmonotonic logics. Basic concepts, results, and techniques
• Explanatory Nonmonotonic Reasoning
• scientific article; zbMATH DE number 4068338
• Coherence and nonmonotonicity in human reasoning
• scientific article; zbMATH DE number 44622

Cited in

(20)

• Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models
• Default consequence relations from topology and measure theory
• Variable-structure coherent systems^†
• A theory of hierarchical consequence and conditionals
• Characterizability in Horn belief revision
• An algebraic characterization of equivalent preferential models
• Knowledge means ‘all’, belief means ‘most’
• A definition of vague coherent systems
• Coherence and nonmonotonicity in human reasoning
• scientific article; zbMATH DE number 7031437 (Why is no real title available?)
• A modal logic framework for reasoning about comparative distances and topology
• Cumulativity without closure of the domain under finite unions
• EXISTENCE OF COHERENT SYSTEMS II
• A comment on work by Booth and co-authors
• Optimal allocation of relevations in coherent systems
• Preferential semantics using non-smooth preference relations
• Coherent tubes
• Distance-based paraconsistent logics
• Theory-relational belief revision
• On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4829809)