Pages that link to "Item:Q5445291"
From MaRDI portal
The following pages link to Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets (Q5445291):
Displaying 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)
