welcome: please sign in

Revision 83 as of 2014-04-09 14:02:11

Clear message
location: FrontPage

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).

Important Dates

NOTE: Due to the nature of the competition, schedule can be subject to further modification. Please check this site out often for news and updates.

Call for Participation

News and updates

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:

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, participants must create a sub-directory with the name of the system at hand in the directory "submission" of their home. In case of several systems submissions, participants must 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 each submission package must be the following:

    system-name
      └ bin
          └ run
          └ mysolver
          └ my_helper_tool

A package should contain at least a folder named bin. The 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 the submitted system, on any problem encoding and any problem instance.

Command Line

The main script "run" takes three arguments:

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 in the proper section.

An example of run script is available here.

Rules, Scoring and Details

Rules and Scoring

Please find details about rules and scoring here.

Input/Output format

Input and Output formats do not change with respect to ASPCOMP 2013. Please find further info via the official website:

Please have a look at the ASPCOMP 2013 ASP standardization page.

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