welcome: please sign in
location: Diff for "FrontPage"
Differences between revisions 50 and 78 (spanning 28 versions)
⇤ ← Revision 50 as of 2014-01-09 15:43:13 →
Size: 5434
Editor: FrancescoCalimeri
Comment:
← Revision 78 as of 2014-04-09 10:24:59 → ⇥
Size: 6153
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
= Fifth Answer Set Programming Competition - 2014 = = Fifth Answer Set Programming Competition (ASPCOMP 2014) =
Line 3: Line 4:
The Fifth Answer Set Programming Competition will take place as one of the events within the [[http://vsl2014.at/olympics/|FLoC Olympic Games]], held in Vienna in the context of the [[http://vsl2014.at/|Vienna Summer of Logic 2014]]. The Fifth Answer Set Programming Competition (ASPCOMP 2014) will take place as one of the events within the [[http://vsl2014.at/olympics/|FLoC Olympic Games]], held in Vienna in the context of the [[http://vsl2014.at/|Vienna Summer of Logic 2014]]. The event is officially affiliated with the [[http://users.ugent.be/~tschrijv/ICLP2014/|30th International Conference on Logic Programming]] (ICLP 2014).
Line 8: Line 9:
Line 11: Line 11:
Made available soon. '''NOTE''': Preliminary schedule, subject to further modification. Please check this site out often for news and updates.
 * March 1st, 2014: Participant registration opens
 * March 31st, 2014: Participant registration closes (new)
 * April 16th, 2014: Competition server closes to participants
 * April 16th, 2014: The competition starts (extended)
 * July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd)

== Call for Participation ==
 * Please find the official Call for Participation [[attachment:aspcomp2014-cfp.txt|here]].
Line 14: Line 22:
 * 31 March, 2014: Application procedure updated
 * 14 March, 2014: Important dates updated
 * 20 February, 2014: Application directions now available, registration opens March 1st, 2014.
 * 11 February, 2014: Call for Participation updated. Please check it out!
 * 03 February, 2014: '''Announcement''' - ASPCOMP 2014 is officially affiliated with the [[http://users.ugent.be/~tschrijv/ICLP2014/|30th International Conference on Logic Programming]] (ICLP 2014).
 * 03 February, 2014: Call for participation updated.
 * 13 January, 2014: Preliminary Call for Participation out.
Line 15: Line 30:
 * January 2014. Preliminary Call for Participation out (see below).
{{{
========================================================================
   ==================================================================		 == Application and Submission Procedure ==
##Please find details about application and submission procedure [[ParticipantSubmission|here]].
Line 20: Line 33:
              5th Answer Set Programming Competition 2014 === Application Procedure ===
Participants willing to apply for the competition can send an email (starting from March 1st, 2014) to [[mailto:aspcomp2014@mat.unical.it|this address]] specifying:
 * the name of their team;
 * names and affiliation of the team members (institution, research group);
 * name and number of the systems the team will submit;
 * specification about whether a system is an updated version of a solution submitted to the 2013 edition;
 * specific software requirements: e.g. linux packages/libraries needed to run your system.
 * language support: e.g. <<our submission supports normal logic programs and aggregates, it does not support weak constraints and function symbol>>, or so, etc.
Line 22: Line 42:
                     Call for Participant Systems Applicants will get a private e-mail with the instructions for submitting systems and login credentials for accessing our Competition server through ssh.
Line 24: Line 44:
     Aalto University, University of Calabria, University of Genova === System Package(s) submission ===
Once received the instructions via e-mail, participants can log in onto the competition hardware system, and are free to use their account for building, testing, and submitting systems packages purposes; access is avalaible until the day before the competition starts.
Line 26: Line 47:
                         Spring/Summer 2014 In order to properly submit a system package, please create a sub-directory with the name of your system in the directory '''"submission"''' of your home. In case of several systems submissions, please create ''a sub-directory for each system''.
Line 28: Line 49:
                   http://aspcomp2014.mat.unical.it/ '''Reminder:''' participants can log in and update their submission until the competition starts. Please check the deadline out in the [[#schedule|above section]].
Line 30: Line 51:
                      aspcomp2014@mat.unical.it ==== Package Structure ====
The structure of your submission package must be the following:
Line 32: Line 54:
   ==================================================================     system-name
      └ bin
          └ run
          └ mysolver
          └ my_helper_tool
Line 34: Line 60:
 Special edition of the ASP competition series -system track- part of
 the Olympic Games of the Vienna Summer of Logic 2014		 Your package should contain ''at least'' a folder named bin. Your package is expected to be launched with the same configuration for all the benchmark domains, i.e., the package must comprise all files required for running your system, on ''any problem encoding and any problem instance''.
Line 37: Line 62:
 == Important Dates == ==== Command Line ====
The main script "run" takes three arguments:
 * The first argument ($1, argv[1], ...) is the maximum integer (0 if not meaningful for the problem/instance at hand).
 * The second argument ($2, argv[2], ...) is the maximum nesting level of functional terms (0 if not meaningful for the problem/instance at hand).
 * The third argument ($3, argv[3], ...) is a comma-separated list of output predicates p1/n1, p2/n2,... with predicate names pi and arities ni. The list coincides with the list of output predicates which are allowed in the output of the run script. For each domain, the list can be found in the related checker folder, for convenience.
Line 39: Line 68:
  * March 1st, 2014 : Participant registration opens Of course, participants are free to design submitted scripts in order to take into account the three arguments, or not.
Line 41: Line 70:
  * March 31st, 2014: The competition starts A problem instance in the prescribed format is fed to run's standard input. The output of each run must be printed to standard output, and a proper exit code must be issued, according to the competition format.
Line 43: Line 72:
  * July 22nd, 2014 : Awards are presented at FLoC More details on input and output are available here <<< put link to referenced text ['''to be updated''']
Line 45: Line 74:
========================================================================

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

The ASP Competition is usually a biannual event for evaluating
declarative knowledge representation systems on hard and demanding AI
problems. Past ASP Competition editions were held at the University of
Potsdam (Germany) in 2007, the University of Leuven (Belgium) in 2009,
the University of Calabria (Italy) in 2011 and the Vienna University of
Technology (Austria) in 2013.

In order to join the Vienna Summer of Logic, which is expected to be
the largest event in the history of logic, we this year depart from the
"usual" timeline, and the 5th ASP Competition will be run in the first
half of 2014 jointly at Aalto University (Finland), the University of
Calabria (Italy) and the University of Genova (Italy). Another reason
for having an event only one year after the 4th ASP Competition is that
in 2013 the new ASP-Core-2 language was introduced, but at that time it
was not fully supported by most participant solvers, and/or the
submitters did not have sufficient time to support new language
features in a completely satisfactory way. Thus, an early event can
be an opportunity to push the usage of the new standard, and draw a
more complete picture about the approaches that can efficiently solve
problems with various features.

== Call for Participant Systems ==

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:

 * 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 Programming problems
 * Other AI problems

The competition consists of a System Track (as called in past
competitions), which compares dedicated solvers on ASP benchmarks.
Participants compete with solving systems for the ASP-Core-2 language.
Some more details are given in the following:

- The benchmark domains are taken from past editions.

- Systems of the 2013 edition will be considered.
(Developers will have the chance of submitting up-to-date versions of
 their solvers.)

- Submissions of new solvers are encouraged.

The competition will include sub-tracks not only based on "complexity"
of problems (as in past events), but also considering language
features. Our aim is to clearly indicate what (combinations of)
techniques work for a particular (set of) feature(s), and also widening
the participation to teams that cannot (yet) support the full standard.

We welcome the submission of parallel and portfolio systems exploiting
multiple cores or multiple algorithms for solving the given instances.
These solvers will have dedicated tracks, assuming a sufficient number
of submissions in each track. Of course, we also welcome the
submission of any kind of solvers, e.g., SAT solvers, SMT solvers, CP
systems, FOL theorem provers, Description Logics reasoners, Planning
reasoners, or any other that can be adapted/applied to the evaluation
of logic programs encoded in ASP-Core-2.

== Important Dates ==

 * March 1st, 2014 : Participant registration opens

 * March 31st, 2014: The competition starts

 * July 22nd, 2014 : Awards are presented at FLoC		 An example of run script can be found here <<<<link to example ['''to be updated''']
Line 128: Line 77:
For further information and submission instructions please visit the
competition web site		 == Rules, Scoring and Details ==
To be updated.
Line 131: Line 80:
   http://aspcomp2014.mat.unical.it/ === Rules and Scoring ===
Please find details about rules and scoring [[attachment:aspcomp2014-rules-and-scoring.txt|here]].
Line 133: Line 83:
or contact us by email: aspcomp2014@mat.unical.it
}}}		 === Output format ===
Output format should not change with respect to ASPCOMP 2013. Please find further info [[https://www.mat.unical.it/aspcomp2013/files/aspoutput.txt|here]].


== Contacts ==
=== Organizing Committee ===

The Fifth Answer Set Programming Competition is hosted and regulated jointly by Aalto University (Finland), University of Calabria (Italy) and University of Genova (Italy).

==== Co-Chairs ====
 * [[https://www.mat.unical.it/calimeri|Francesco Calimeri]]
 * [[https://people.aalto.fi/index.html?profilepage=isfor#!martin_gebser|Martin Gebser]]
 * [[http://www.star.dist.unige.it/~marco|Marco Maratea]]
 * [[https://www.mat.unical.it/~ricca|Francesco Ricca]]

==== Email and Contacts ====
 * Drop us a note at aspcomp2014@mat.unical.it.

Fifth Answer Set Programming Competition (ASPCOMP 2014)

The Fifth Answer Set Programming Competition (ASPCOMP 2014) will take place as one of the events within the FLoC Olympic Games, held in Vienna in the context of the Vienna Summer of Logic 2014. The event is officially affiliated with the 30th International Conference on Logic Programming (ICLP 2014).

Contents

  1. Fifth Answer Set Programming Competition (ASPCOMP 2014)
    1. Important Dates
    2. Call for Participation
    3. News and updates
    4. Application and Submission Procedure
      1. Application Procedure
      2. System Package(s) submission
        1. Package Structure
        2. Command Line
    5. Rules, Scoring and Details
      1. Rules and Scoring
      2. Output format
    6. Contacts
      1. Organizing Committee
        1. Co-Chairs
        2. Email and Contacts

Important Dates

NOTE: Preliminary schedule, subject to further modification. Please check this site out often for news and updates.

  • March 1st, 2014: Participant registration opens
  • March 31st, 2014: Participant registration closes (new)
  • April 16th, 2014: Competition server closes to participants
  • April 16th, 2014: The competition starts (extended)
  • July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd)

Call for Participation

  • Please find the official Call for Participation here.

News and updates

  • 31 March, 2014: Application procedure updated
  • 14 March, 2014: Important dates updated
  • 20 February, 2014: Application directions now available, registration opens March 1st, 2014.
  • 11 February, 2014: Call for Participation updated. Please check it out!

  • 03 February, 2014: Announcement - ASPCOMP 2014 is officially affiliated with the 30th International Conference on Logic Programming (ICLP 2014).

  • 03 February, 2014: Call for participation updated.
  • 13 January, 2014: Preliminary Call for Participation out.

Application and Submission Procedure

Application Procedure

Participants willing to apply for the competition can send an email (starting from March 1st, 2014) to this address specifying:

  • the name of their team;
  • names and affiliation of the team members (institution, research group);
  • name and number of the systems the team will submit;
  • specification about whether a system is an updated version of a solution submitted to the 2013 edition;
  • specific software requirements: e.g. linux packages/libraries needed to run your system.

  • language support: e.g. <<our submission supports normal logic programs and aggregates, it does not support weak constraints and function symbol>>, or so, etc.

Applicants will get a private e-mail with the instructions for submitting systems and login credentials for accessing our Competition server through ssh.

System Package(s) submission

Once received the instructions via e-mail, participants can log in onto the competition hardware system, and are free to use their account for building, testing, and submitting systems packages purposes; access is avalaible until the day before the competition starts.

In order to properly submit a system package, please create a sub-directory with the name of your system in the directory "submission" of your home. In case of several systems submissions, please create a sub-directory for each system.

Reminder: participants can log in and update their submission until the competition starts. Please check the deadline out in the above section.

Package Structure

The structure of your submission package must be the following:

  • system-name
    • └ bin
      • └ run └ mysolver └ my_helper_tool

Your package should contain at least a folder named bin. Your package is expected to be launched with the same configuration for all the benchmark domains, i.e., the package must comprise all files required for running your system, on any problem encoding and any problem instance.

Command Line

The main script "run" takes three arguments:

  • The first argument ($1, argv[1], ...) is the maximum integer (0 if not meaningful for the problem/instance at hand).
  • The second argument ($2, argv[2], ...) is the maximum nesting level of functional terms (0 if not meaningful for the problem/instance at hand).
  • The third argument ($3, argv[3], ...) is a comma-separated list of output predicates p1/n1, p2/n2,... with predicate names pi and arities ni. The list coincides with the list of output predicates which are allowed in the output of the run script. For each domain, the list can be found in the related checker folder, for convenience.

Of course, participants are free to design submitted scripts in order to take into account the three arguments, or not.

A problem instance in the prescribed format is fed to run's standard input. The output of each run must be printed to standard output, and a proper exit code must be issued, according to the competition format.

More details on input and output are available here <<< put link to referenced text [to be updated]

An example of run script can be found here <<<<link to example [to be updated]

Rules, Scoring and Details

To be updated.

Rules and Scoring

Please find details about rules and scoring here.

Output format

Output format should not change with respect to ASPCOMP 2013. Please find further info here.

Contacts

Organizing Committee

The Fifth Answer Set Programming Competition is hosted and regulated jointly by Aalto University (Finland), University of Calabria (Italy) and University of Genova (Italy).

Co-Chairs

Email and Contacts

Fifth Answer Set Programming Competition (ASPCOMP 2014): FrontPage (last edited 2015-08-06 10:02:44 by FrancescoCalimeri)