The following pages link to nomore++ (Q33166):
Displayed 5 items.
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2--6, 2005. Proceedings (Q2425579) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)