Interdefinability of defeasible logic and logic programming under the well-founded semantics

DOI10.1017/S147106841100041XzbMATH Open1272.68079OpenAlexW2963571216MaRDI QIDQ2845124FDOQ2845124

Authors Frederick Maier

Publication date 22 August 2013

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s147106841100041x

zbMATH Keywords

logic programmingwell-founded semanticsstable model semanticsdefeasible logicambiguity blocking and propagation

Mathematics Subject Classification ID

Logic programming (68N17) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1884386
• Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics
• Well-founded semantics for defeasible logic
• scientific article; zbMATH DE number 2087247
• scientific article; zbMATH DE number 2090541

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
• Argumentation Semantics for Defeasible Logic
• Defeasible Logic is Stable
• Defeasible reasoning: A discussion of some intuitions
• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
• Embedding defeasible logic into logic programming
• Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
• Negation in logic programming
• Propositional Clausal Defeasible Logic
• Propositional plausible logic: Introduction and implementation
• Representation results for defeasible logic
• The Semantics of Predicate Logic as a Programming Language
• The well-founded semantics for general logic programs
• Well-founded semantics for defeasible logic

Cited in

(10)

• scientific article; zbMATH DE number 1884386 (Why is no real title available?)
• scientific article; zbMATH DE number 2087247 (Why is no real title available?)
• Well-founded semantics for defeasible logic
• Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics
• Relating defeasible and normal logic programming through transformation properties.
• Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond
• On the relation between vector annotated logic programs and defeasible theories
• scientific article; zbMATH DE number 2090541 (Why is no real title available?)
• Embedding defeasible logic into logic programming
• Annotated defeasible logic

Describes a project that uses

Uses Software

• XSB

This page was built for publication: Interdefinability of defeasible logic and logic programming under the well-founded semantics

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