The nomore++ System

13 years 9 months ago

Download www.cs.uni-potsdam.de

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.

Christian Anger, Martin Gebser, Thomas Linke, Andr

Real-time Traffic

Answer Set Solvers | Computational Objects | LPNMR 2005 |

claim paper

» NoMoRe A System for NonMonotonic Reasoning under Answer Set Semantics

» Graphs and colorings for answer set programming Abridged Report

» Using Nested Logic Programs for Answer Set Programming

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	LPNMR
Authors	Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub

Comments (0)

Sciweavers

The nomore++ System

Answer Set Solvers | Computational Objects | LPNMR 2005 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers