The nomore++ System

Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahead. nomore++ is close to being competitive with stateof-the-art answer set solvers, as demonstrated by selected experimental results.

• Type: Conference
• Year: 2005
• Where: LPNMR
• Authors: Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
• Keywords: Answer Set Solvers, Computational Objects, LPNMR 2005