Pages that link to "Item:Q3125899"
From MaRDI portal
The following pages link to On the correctness of unfold/fold transformation of normal and extended logic programs (Q3125899):
Displaying 10 items.
- Ordering default theories and nonmonotonic logic programs (Q557790) (← links)
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Alan: An action language for modelling non-Markovian domains (Q2574883) (← links)
- Oscillating Behavior of Logic Programs (Q2900531) (← links)
- A Selective Semantics for Logic Programs with Preferences (Q2915073) (← links)
- On Inductive Proofs by Extended Unfold/Fold Transformation Rules (Q3003489) (← links)
- Some (in)translatability results for normal logic programs and propositional theories (Q3647255) (← links)
- Annotated defeasible logic (Q4592709) (← links)
- On acceptance conditions in abstract argumentation frameworks (Q6494661) (← links)
