[SMT-LIB] ASPCOMP 2017: Last Call for Benchmarks

[Marco Maratea]

[apologies for any cross-posting]

========================================================================

               7th Answer Set Programming Competition 2017
                            (ASPCOMP 2017)

		         Call for Benchmarks

University of Potsdam and University of Calabria and University of Genoa

            Problem Submission Deadline: February 19th, 2017

========================================================================

Answer Set Programming is a well-established paradigm of declarative
programming with close relationships to other declarative modeling
paradigms and languages, such as SAT Modulo Theories, Constraint
Programming, 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 7th ASP Competition will be run in 2017. The event is affiliated
with the 14th International Conference on Logic Programming and
Non-Monotonic Reasoning (LPNMR 2017), where the results will be
announced. The event is the sequel to the ASP Competition editions held
in 2007, 2009, 2011, 2013, 2014, and 2015.

The 7th ASP Competition is now in the Call for Benchmark Problems stage.


== Call for Benchmarks ==

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

 * Classic and Application-oriented Graph Problems
 * Scheduling, Timetabling, and other Resource Allocation Problems
 * Sequential and Temporal Planning
 * Combinatorial Optimization Problems
 * Deductive Database Tasks on Large Data-sets
 * Puzzles and Combinatorics
 * Ontology Reasoning
 * Automated Theorem Proving and Model Checking
 * Constraint Satisfaction Problems
 * Other AI Problems

To this end, we encourage the submission of new challenging benchmark
problems. Based on the experience from past editions, we particularly
invite the submission of problems

 * arising from applications of practical impact,

 * being ASP focused, i.e. whose encodings are non-tight, and/or

 * being challenging for current ASP systems.

Initially, benchmark authors are expected to provide by email
a problem description in natural language to:

aspcomp2017 at dibris.unige.it

Subsequently they will be contacted by the organizing committee
to finalize the submission.

All submitted benchmarks will be made available to the community, and a
selection of them will be used for evaluating participant systems in the
7th ASP Competition. The organizers reserve the right of this selection.

== Further Information ==

For further information and submission instructions, please contact us
(Martin Gebser, Marco Maratea, and Francesco Ricca) by email to:

aspcomp2017 at dibris.unige.it