Well-founded semantics for defeasible logic
type: Item
instance of: scholarly article
title: Well-founded semantics for defeasible logic
zbMATH Open document ID: 1214.03020
author: Frederick Maier
author: Donald E. Nute
published in: Synthese
publication date: 2011-02-25T00:00:00Z
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 5857580
zbMATH Keywords: defeasible reasoning
zbMATH Keywords: nonmonotonic logic
zbMATH Keywords: well-founded semantics
zbMATH Keywords: ambiguity propagation
zbMATH Keywords: floating conclusions
zbMATH Keywords: cut
zbMATH Keywords: cautious monotony
zbMATH Keywords: consistency preservation
describes a project that uses: DELORES
describes a project that uses: Prolog
MaRDI profile type: Publication
full work available at URL: s11229-009-9492-1
OpenAlex ID: W1994120178
cites work: Q3445741
cites work: Defeasible reasoning: A discussion of some intuitions
cites work: An inclusion theorem for defeasible logics
cites work: Representation results for defeasible logic
cites work: Embedding defeasible logic into logic programming
cites work: Defeasible Logic is Stable
cites work: Q4386939
cites work: Q4798004
cites work: Q4851550
cites work: Q3983043
cites work: Argumentation Semantics for Defeasible Logic
cites work: Skepticism and floating conclusions
cites work: A skeptical theory of inheritance in nonmonotonic semantic networks
cites work: Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics
cites work: Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical'' approach to defeasible inheritance nets
cites work: Semantical considerations on nonmonotonic logic
cites work: Q4938875
cites work: A logic for default reasoning
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: The well-founded semantics for general logic programs
DOI: 10.1007/S11229-009-9492-1
description: scientific article; zbMATH DE number 5857580