Author name cluster

André Neumann

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

2 papers

1 author row

ECAI Conference 2008 Conference Paper

Advanced Preprocessing for Answer Set Solving

Martin Gebser
Benjamin Kaufmann
André Neumann
Torsten Schaub

We introduce the first substantial approach to preprocessing in the context of answer set solving. The idea is to simplify a logic program while identifying equivalences among its relevant constituents. These equivalences are then used for building a compact representation of the program (in terms of Boolean constraints). We implemented our approach as well as a SAT-based technique to reduce Boolean constraints. This allows us to empirically analyze both preprocessing types and to demonstrate their computational impact.

Details

LPAR Conference 2005 Conference Paper

The nomore++ Approach to Answer Set Solving

Christian Anger
Martin Gebser
Thomas Linke
André Neumann
Torsten Schaub

Abstract 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.

Details