Pages that link to "Item:Q5919432"
From MaRDI portal
The following pages link to Abstraction for non-ground answer set programs (Q5919432):
Displaying 6 items.
- A framework for step-wise explaining how to solve constraint satisfaction problems (Q2238723) (← links)
- The power of non-ground rules in Answer Set Programming (Q4593042) (← links)
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- Answer Set Programming without Unstratified Negation (Q5504649) (← links)
- Program Correspondence under the Answer-Set Semantics: The Non-ground Case (Q5504682) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)