Transformation-based bottom-up computation of the well-founded model
From MaRDI portal
Publication:4452640
DOI10.1017/S147106840100103XzbMATH Open1105.68322OpenAlexW1990606699MaRDI QIDQ4452640FDOQ4452640
Stefan Brass, Ulrich Zukowski, J. Dix, Burkhard Freitag
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
Recommendations
Cited In (17)
- On the equivalence and range of applicability of graph-based representations of logic programs.
- A Framework for Goal-Directed Query Evaluation with Negation
- About Epistemic Negation and World Views in Epistemic Logic Programs
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms
- Title not available (Why is that?)
- Relating defeasible and normal logic programming through transformation properties.
- Efficient Computation of the Well-Founded Semantics over Big Data
- Parallel Logic Programming: A Sequel
- On Signings and the Well-Founded Semantics
- Approximating agreements in formal argumentation dialogues1
- A general theory of confluent rewriting systems for logic programming and its applications
- Dealing with explicit preferences and uncertainty in answer set programming
- Semantic-based construction of arguments: an answer set programming approach
- Justifications for logic programs under answer set semantics
- Preface
- Title not available (Why is that?)
- Efficient Computation of the Well-Founded Model Using Update Propagation
Uses Software
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)
