Pages that link to "Item:Q5445291"

The following pages link to Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets (Q5445291):

Displayed 4 items.

• Hyperequivalence of logic programs with respect to supported models (Q1028652) ‎ (← links)
• On elementary loops of logic programs (Q2884258) ‎ (← links)
• Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) ‎ (← links)
• Model-based recasting in answer-set programming (Q4583308) ‎ (← links)