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

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

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)

Cites Work

• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
• The well-founded semantics for general logic programs
• A lattice-theoretical fixpoint theorem and its applications
• The Semantics of Predicate Logic as a Programming Language
• 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
• Argumentation Semantics for Defeasible Logic
• Negation in logic programming
• Representation results for defeasible logic
• Embedding defeasible logic into logic programming
• Defeasible Logic is Stable
• Defeasible reasoning: A discussion of some intuitions
• Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics
• Well-founded semantics for defeasible logic
• Propositional Clausal Defeasible Logic
• Propositional plausible logic: Introduction and implementation

Cited In (10)

• Embedding defeasible logic into logic programming
• Title not available (Why is that?)
• Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics
• Relating defeasible and normal logic programming through transformation properties.
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the relation between vector annotated logic programs and defeasible theories
• Well-founded semantics for defeasible logic
• Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond
• Annotated defeasible logic

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)