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.

• Type: Conference
• Year: 2005
• Where: LPAR
• Authors: Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
• Keywords: Answer Set Solver, Computational Objects, LPAR 2005, Underlying Theoretical Foundations