Transformation-based bottom-up computation of the well-founded model

DOI10.1017/S147106840100103XMaRDI QIDQ4452640zbMATH OpenOpenAlexFDO

Authors J. Dix, Burkhard Freitag, Ulrich Zukowski, Stefan Brass

Publication date 1 March 2004

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

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

zbMATH Keywords

well-founded semanticsmagic set transformation

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Bottom-up evaluation and query optimization of well-founded models
• Efficient Computation of the Well-Founded Model Using Update Propagation
• On the problem of computing the well-founded semantics
• scientific article; zbMATH DE number 1696828
• Computing the well-founded semantics faster

Cited in

(19)

• On the equivalence and range of applicability of graph-based representations of logic programs.
• Efficient computation of the well-founded semantics over big data
• Transformation-based bottom-up computation of the well-founded model
• Enhancing global SLS-resolution with loop cutting and tabling mechanisms
• Relating defeasible and normal logic programming through transformation properties.
• scientific article; zbMATH DE number 2090540 (Why is no real title available?)
• Parallel Logic Programming: A Sequel
• On Signings and the Well-Founded Semantics
• On the foundations of grounding in answer set programming
• Dealing with explicit preferences and uncertainty in answer set programming
• Semantic-based construction of arguments: an answer set programming approach
• A general theory of confluent rewriting systems for logic programming and its applications
• About epistemic negation and world views in epistemic logic programs
• Justifications for logic programs under answer set semantics
• Preface
• scientific article; zbMATH DE number 7453118 (Why is no real title available?)
• Efficient Computation of the Well-Founded Model Using Update Propagation
• A framework for goal-directed query evaluation with negation
• Approximating agreements in formal argumentation dialogues

Describes a project that uses

Uses Software

• XSB

This page was built for publication: Transformation-based bottom-up computation of the well-founded model

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