Well-founded semantics for defeasible logic

DOI10.1007/S11229-009-9492-1MaRDI QIDQ625708zbMATH OpenOpenAlexFDO

Authors 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

ambiguity propagationcautious monotonyconsistency preservationcutdefeasible reasoningfloating conclusionsnonmonotonic logicwell-founded semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 1884386
• Interdefinability of defeasible logic and logic programming under the well-founded semantics
• Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics
• Argumentation Semantics for Defeasible Logic
• scientific article; zbMATH DE number 1696797

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• A logic for default reasoning
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics
• An inclusion theorem for defeasible logics
• Argumentation Semantics for Defeasible Logic
• Defeasible Logic is Stable
• Defeasible reasoning: A discussion of some intuitions
• Embedding defeasible logic into logic programming
• Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
• scientific article; zbMATH DE number 5161842 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1149418 (Why is no real title available?)
• scientific article; zbMATH DE number 1884386 (Why is no real title available?)
• scientific article; zbMATH DE number 804363 (Why is no real title available?)
• scientific article; zbMATH DE number 1405882 (Why is no real title available?)
• Representation results for defeasible logic
• Semantical considerations on nonmonotonic logic
• Skepticism and floating conclusions
• The well-founded semantics for general logic programs

Cited in

(17)

• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• Advancements in resource-driven substructural defeasible logic
• Interdefinability of defeasible logic and logic programming under the well-founded semantics
• Defeasible reasoning: A discussion of some intuitions
• scientific article; zbMATH DE number 5161842 (Why is no real title available?)
• Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics
• scientific article; zbMATH DE number 1269578 (Why is no real title available?)
• Defeasible Logic is Stable
• scientific article; zbMATH DE number 1500580 (Why is no real title available?)
• Annotated defeasible logic
• Argumentation Semantics for Defeasible Logic
• scientific article; zbMATH DE number 1884386 (Why is no real title available?)
• Relative expressiveness of defeasible logics
• Methods and Applications of Artificial Intelligence
• Relative expressiveness of defeasible logics. II
• Which are the true defeasible logics?
• Defeasible reasoning via \(\mathrm{Datalog} {}^\neg\)

Describes a project that uses

Uses Software

• DELORES
• Prolog

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

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