On the correctness of unfold/fold transformation of normal and extended logic programs

DOI10.1016/0743-1066(94)00104-EMaRDI QIDQ3125899zbMATH OpenOpenAlexFDO

Authors Chandrabose Aravindan, Phan Minh Dung

Publication date 20 July 1997

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(94)00104-e

zbMATH Keywords

logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Unfold⧸fold transformation of general logic programs for the well-founded semantics
• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
• Unfold/fold transformation of stratified programs
• Preservation of stronger equivalence in unfold/fold logic program transformation

Cited in

(16)

• A unifying view for logic programming with non-monotonic reasoning
• A selective semantics for logic programs with preferences
• Transformation-based bottom-up computation of the well-founded model
• Some (in)translatability results for normal logic programs and propositional theories
• Ordering default theories and nonmonotonic logic programs
• Defeasible reasoning via \(\mathrm{Datalog} {}^\neg\)
• A Generalization of the Folding Rule for the Clark-Kunen Semantics
• On inductive proofs by extended unfold/fold transformation rules
• An equivalence preserving first order unfold/fold transformation system
• Alan: An action language for modelling non-Markovian domains
• S-semantics for logic programming: a retrospective look
• On acceptance conditions in abstract argumentation frameworks
• Annotated defeasible logic
• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
• On Negative Unfolding in the Answer Set Semantics
• Oscillating behavior of logic programs

This page was built for publication: On the correctness of unfold/fold transformation of normal and extended logic programs

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