General patterns for nonmonotonic reasoning: from basic entailments to plausible relations

DOI10.1093/JIGPAL/8.2.119zbMATH Open0966.03024OpenAlexW2081336204MaRDI QIDQ4952020

Ofer Arieli, Arnon Avron

Publication date: 24 July 2001

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/6197b34a0af3a7e55c6b489ddd5e19455cc62acc

zbMATH Keywords

nonmonotonic reasoningpreferential modelparaconsistent reasoningmultiple-valued semanticsmultiple conclusion consequence relationplausible consequence relation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)

Cited In (12)

• Reasoning with prioritized information by iterative aggregation of distance functions
• Title not available (Why is that?)
• Adaptively applying modus ponens in conditional logics of normality
• Title not available (Why is that?)
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• An empirical test of patterns for nonmonotonic inference
• A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information
• Constrained consequence
• Reasoning with Uncertainty by Nmatrix–Metric Semantics
• Reasoning with different levels of uncertainty
• A dissimilarity-based framework for generating inconsistency-tolerant logics
• CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS

This page was built for publication: General patterns for nonmonotonic reasoning: from basic entailments to plausible relations

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