Sciweavers

LPAR
2005
Springer

The nomore++ Approach to Answer Set Solving

14 years 4 months ago
The nomore++ Approach to Answer Set Solving
We present a new answer set solver, called nomore++, along with its underlying theoretical foundations. A distinguishing feature is that it treats heads and bodies equitably as computational objects. Apart from its operational foundations, we show how it improves on previous work through its new lookahead and its computational strategy of maintaining unfounded-freeness. We underpin our claims by selected experimental results.
Christian Anger, Martin Gebser, Thomas Linke, Andr
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where LPAR
Authors Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
Comments (0)