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

cutnonmonotonic logicdefeasible reasoningwell-founded semanticsambiguity propagationcautious monotonyconsistency preservationfloating conclusions

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

• 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?)
• 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
• Representation results for defeasible logic
• Semantical considerations on nonmonotonic logic
• Skepticism and floating conclusions
• The well-founded semantics for general logic programs

Cited in

(14)

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

Describes a project that uses

Uses Software

• Prolog
• DELORES

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)