Pages that link to "Item:Q5387832"
From MaRDI portal
The following pages link to The nomore + + Approach to Answer Set Solving (Q5387832):
Displaying 8 items.
- nomore++ (Q33166) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Possibilistic uncertainty handling for answer set programming (Q854974) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- Testing and debugging techniques for answer set solver development (Q3585183) (← links)
- Justifications for logic programs under answer set semantics (Q3612602) (← links)