[PlanetKR] [EXTENDED DEADLINE] - 3rd ASP competition

Francesco Calimeri calimeri at mat.unical.it
Wed Jan 19 22:22:57 EST 2011

[Apologies for cross-posting]


               The Third Answer Set Programming Competition

                         Call For Participation 

   	    University of Calabria, Fall 2010 - Winter 2011


The Third Answer Set Programming Competition is currently open and in the 
Call for Competitors stage. The event is open to ASP systems and any other

system based on a declarative specification paradigm.

Competition stage schedule:

 - February 4th, 2011 - Dry Run start. Systems which are already 
   submitted and set up by that date will be automatically tested 
   on official instances. Any problem on the dry run will be privately 
   reported to competitors. Note that competitors submissions will be not 
   closed until the final deadline: systems not submitted within this 
   deadline will simply not undergo the dry run.
 - February 13th, 2011, 23:59 Pacific Standard Time - Final deadline for 
   Competitors Submission.
 - February 14th, 2011 - Start of the unmanned official competition run.
 - May 16th 2011 - Announcement of results and awards at LPNMR 2011 - 
   Vancouver, BC, Canada. 

We strongly recommend early registration of your Team, so to get early 
acquaintance with the Competition Server Platform and with the benchmark 

Participant Submission Procedure:



Answer Set Programming is a well-established paradigm of declarative 
programming with close relationship to other declarative modelling
and languages such as SAT Modulo Theories, Constraint Handling Rules,
PDDL and many others.

Since the first informal editions (Dagstuhl 2002 and 2005), ASP systems 
compare themselves in the nowadays customary ASP Competition: the Third
Competition will take place at the University of Calabria (Italy) in the 
first half of 2011. 
The event is the sequel to the ASP Competitions Series, held at the 
University of Potsdam in Germany (2006-2007) and at the University of
in Belgium in 2009. The current competition is held in cooperation with
11th International Conference on Logic Programming and Nonmonotonic 
Reasoning (LPNMR 11) where the results will be published.

Since its previous edition, the ASP competition is held as an open 
tournament. The "Model & Solve" competition track of this year's edition 
inherits the spirit of integration and is open to all types of solvers: 
ASP-systems, SAT-solvers, SMT-solvers, CP-systems, FOL-reasoners, 
planning-reasoners or any other.

Participants will compete on a selected collection of declarative 
specifications of benchmark problems, taken from a variety of domains as 
well as real world applications, and instances thereof. List list is 
available at


== Competition Tracks ==

The Competition will be constituted by two different sub-competitions, 
conceived for promoting some equivalently important, yet orthogonal, 

    1. the Model & Solve Competition, held on an open problem encoding, 
       open language basis, and open to any system based on a declarative

       specification paradigm, and

    2. the System Competition, held on the basis of fixed problem
       written in a standard ASP language.

In the former competition track, the team can choose the best system 
configuration along with the best encoding for each problem, while, in the

latter, the system and its configuration is fixed for all problems.

Given that the interest towards parallel ASP systems is increasing, we 
encourage the submission of parallel systems as non-competing participants

to both the competition tracks.

Further information can be found on the competition web site at:


More information about the PlanetKR mailing list