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):

Displaying 10 items.

• Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
• Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
• Equivalence Between Answer-Set Programs Under (Partially) Fixed Input (Q2807074) (← links)
• On elementary loops of logic programs (Q2884258) (← links)
• (Q3112638) (← links)
• Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
• Model-based recasting in answer-set programming (Q4583308) (← links)
• Semantical characterizations and complexity of equivalences in answer set programming (Q5277782) (← links)
• Efficient HEX-Program Evaluation Based on Unfounded Sets (Q5404394) (← links)
• Program Correspondence under the Answer-Set Semantics: The Non-ground Case (Q5504682) (← links)