Well-founded semantics for defeasible logic

DOI10.1007/s11229-009-9492-1zbMath1214.03020OpenAlexW1994120178MaRDI QIDQ625708

Frederick Maier, Donald E. Nute

Publication date: 25 February 2011

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-009-9492-1

zbMATH Keywords

nonmonotonic logiccutwell-founded semanticsdefeasible reasoningambiguity propagationcautious monotonyconsistency preservationfloating conclusions

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items

Annotated defeasible logic ⋮ Relative expressiveness of defeasible logics II ⋮ Interdefinability of defeasible logic and logic programming under the well-founded semantics

Uses Software

• DELORES
• Prolog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
• A skeptical theory of inheritance in nonmonotonic semantic networks
• A lattice-theoretical fixpoint theorem and its applications
• An inclusion theorem for defeasible logics
• Representation results for defeasible logic
• Defeasible reasoning: A discussion of some intuitions
• Embedding defeasible logic into logic programming
• Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics
• Defeasible Logic is Stable
• The well-founded semantics for general logic programs
• Argumentation Semantics for Defeasible Logic
• Skepticism and floating conclusions

This page was built for publication: Well-founded semantics for defeasible logic