On the correctness of unfold/fold transformation of normal and extended logic programs
From MaRDI portal
Publication:3125899
DOI10.1016/0743-1066(94)00104-EzbMath0866.68018OpenAlexW2013815977MaRDI QIDQ3125899
Phan Minh Dung, Chandrabose Aravindan
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
Related Items
Oscillating Behavior of Logic Programs, A Selective Semantics for Logic Programs with Preferences, A unifying view for logic programming with non-monotonic reasoning, Annotated defeasible logic, On Inductive Proofs by Extended Unfold/Fold Transformation Rules, Ordering default theories and nonmonotonic logic programs, Some (in)translatability results for normal logic programs and propositional theories, S-semantics for logic programming: a retrospective look, Alan: An action language for modelling non-Markovian domains