Pages that link to "Item:Q5504682"
From MaRDI portal
The following pages link to Program Correspondence under the Answer-Set Semantics: The Non-ground Case (Q5504682):
Displaying 5 items.
- Model-based recasting in answer-set programming (Q4583308) (← links)
- The power of non-ground rules in Answer Set Programming (Q4593042) (← links)
- Modular Answer Set Programming as a Formal Specification Language (Q5140013) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)