The following pages link to (Q4631192):
Displaying 5 items.
- The power of non-ground rules in Answer Set Programming (Q4593042) (← links)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← 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)