welcome: please sign in
location: CallforParticipation

Call for Participant Systems

  • The event is open to ASP systems and *any other* system based on a declarative specification paradigm.

Participants of the Answer Set Programming Competition will compete on a selected collection of benchmark problems, taken from a variety of benchmark problem domains as well as real world applications. These include, but are not limited to:

The competition consists of two independent main tracks:

We encourage to submit parallel and portfolio systems exploiting multiple cores or multiple algorithms for solving the given instances.

About the Answer Set Programming Competition Series

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, CASC, and many others.

The ASP Competition is a biannual event for evaluating declarative knowledge representation systems on hard and demanding AI problems. The 4th ASP Competition will be run in the first half of 2013 jointly at the University of Calabria (Italy) and the Vienna University of Technology (Austria). The event is the sequel to the ASP Competition series, held at the University of Potsdam (Germany) in 2006-2007, at the University of Leuven (Belgium) in 2009, and at University of Calabria (Italy) in 2011. The current competition takes place in cooperation with the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), where the results will be announced.

The ASP competition is held as an open tournament. The "Model & Solve" competition track fosters the spirit of integration among communities, and is thus open to all types of solvers: ASP systems, SAT solvers, SMT solvers, CP systems, FOL theorem provers, Description Logics reasoners, planning reasoners, or any other. The "System" competition track is instead set up on a fixed language based on the answer set semantics.

Important Dates

For further information and submission instructions please visit the competition web site

or contact us by email: aspcomp2013@kr.tuwien.ac.at

ASP Competition 2013: CallforParticipation (last edited 2012-11-21 08:11:27 by ThomasKrennwallner)