» ASP Solver Competition

The First Answer Set Programming System Competition

The First Answer Set Programming System Competition is held in conjunction with the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07). Preliminary versions of this competition were held on the occasion of two Dagstuhl meetings on Answer Set Programming in 2002 and 2005.

The layout of the competition follows the one conducted since many years in the area of Satisfiability Checking along with the related contests in Quantified Boolean Formulas, Pseudo-Boolean Constraints, etc.

The competition will be run prior to the LPNMR conference. Its results will be announced at the conference. A summary paper on the competition will be included in the proceedings.

The competition will be run on the Asparagus platform, relying on benchmarks stored there.