A tutorial on the well-founded semantics

MaRDI QIDQ5930853zbMATH OpenFDO

Authors Allen Van Gelder

Publication date 6 November 2001

Published in Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2059537
• On the problem of computing the well-founded semantics
• scientific article; zbMATH DE number 1696828
• A nondeterministic well-founded semantics
• Well-Founded and Partial Stable Semantics Logical Aspects
• scientific article; zbMATH DE number 1136651
• Mathematical Foundations of Computer Science 2004
• Logic Programming
• Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
• A goal-oriented approach to computing the well-founded semantics

Cited in

(20)

• On the relations between stable and well-founded semantics of logic programs
• A nondeterministic well-founded semantics
• A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs
• scientific article; zbMATH DE number 1696828 (Why is no real title available?)
• Tight semantics for logic programs
• Efficient computation of the well-founded semantics over big data
• Towards a Systematic Account of Different Semantics for Logic Programs
• scientific article; zbMATH DE number 1301742 (Why is no real title available?)
• Commonsense axiomatizations for logic programs
• The well-founded semantics for general logic programs
• On the equivalence of semantics for normal logic programs
• On the problem of computing the well-founded semantics
• scientific article; zbMATH DE number 219215 (Why is no real title available?)
• scientific article; zbMATH DE number 2090540 (Why is no real title available?)
• scientific article; zbMATH DE number 846973 (Why is no real title available?)
• Computing the well-founded semantics faster
• Mathematical Foundations of Computer Science 2004
• On Signings and the Well-Founded Semantics
• Generalized well-founded semantics for logic programs
• The alternating fixpoint of logic programs with negation

This page was built for publication: A tutorial on the well-founded semantics

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