Pages that link to "Item:Q5504682"

The following pages link to Program Correspondence under the Answer-Set Semantics: The Non-ground Case (Q5504682):

Displaying 3 items.

• Model-based recasting in answer-set programming (Q4583308) (← links)
• Modular Answer Set Programming as a Formal Specification Language (Q5140013) (← links)
• Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)