[PlanetKR] [DEADLINE EXTENSION: Mar 15th, 2011] OPEN to ANY declarative language - Third ASP Competition

[Francesco Calimeri]

[Apologies for cross-posting]

......................................................................
          The Third Answer Set Programming Competition

      ****************************************************
      ***          OPEN EVENT FOR ANY SYSTEM           ***
      ***       BASED ON DECLARATIVE LANGUAGES         ***
      ****************************************************

                     Call For Participation

             University of Calabria, Winter 2011

               http://aspcomp2011.mat.unical.it
......................................................................

The Third Answer Set Programming Competition is currently open and in the
Call for Competitors stage.

The event is held on an open formula basis: any system based on a
declarative language, of any expressiveness level and category, is invited
to participate

------------------
New competition stage schedule (schedule is subject to further
postponements):

 - February 18th, 2011 - Dry Run start (** Not the final deadline **).
 - February 25th, 2011, 23:59 Pacific Standard Time - Final deadline for
  the System Competition track
 - February 26th, 2011 - Start of the unmanned official competition run.

*****  NEW *****
 - March 15th, 2011, 23:59 Pacific Standard Time - Final deadline for
  the Model & Solve Competition track
 - March 16th, 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
suite.

Participant Submission Procedure:
  https://www.mat.unical.it/aspcomp2011/ParticipantSubmission
---------

Details:

Answer Set Programming is a well-established paradigm of declarative
programming with close relationship to other declarative modelling
paradigms and languages such as SAT Modulo Theories, Constraint Handling Rules,
FO(.), 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
ASP 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
Leuven in Belgium in 2009. The current competition is held in cooperation with
the 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 is
available at

  https://www.mat.unical.it/aspcomp2011/OfficialProblemSuite


== Competition Tracks ==

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

  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
encodings, 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:

  http://aspcomp2011.mat.unical.it