welcome: please sign in
location: Diff for "FrontPage"
Differences between revisions 98 and 99
Revision 98 as of 2011-05-01 17:37:52
Size: 6874
Comment:
Revision 99 as of 2011-05-01 17:38:25
Size: 6870
Comment:
Deletions are marked like this. Additions are marked like this.
Line 18: Line 18:
 * The [[OfficialProblemSuite|benchmark problems]] participants will compare on.  * The [[OfficialProblemSuite|benchmark problems]] participants compared on.

Third (Open) Answer Set Programming Competition - 2011

The Third Answer Set Programming Competition is an open event: any system based on a declarative problem solving language can participate.

Current Status

  • System Competition: over.

  • Model & Solve Competition: over.

  • Results to be announced at LPNMR 2011 - Vancouver, BC, Canada.

Quick directions

News and updates

  • new_2.gif Mar 05, 2011 - Update file and language format specifications. Please have a look at the change log.

  • Feb 10, 2011. New Deadline extension for the Model & Solve track: March 15th, 2011. Note that the deadline for the System track does not change.

  • Feb 4th, 2011. Detailed regulations on memory limits in the rules section.

  • Feb 1st, 2011. Added a clarification regarding randomized systems in the rules section.

  • Jan 28th, 2011. Added a tool (from KU-Leuven KRR group) for graphically displaying problem solutions, in the Tools & Utilities page.

  • Jan 20th, 2011. Shifter tool updated with enable syntax trasformation option (transforms '<>' into '!=', and 'v' into '|')!

  • Jan 18th, 2011. You can find in the Official Problem Suite the final problem specifications (continously updated). Stay in touch!

  • Jan 10th, 2011. Modified file and language format specifications. Please have a look at the change log.

  • January 5th, 2011. Released a preliminary problem list.

You might want to subscribe this page for getting e-mail notifications about news (needs opening an user account).

Awards

The 3rd ASP competition is divided into two main sub-tracks (System Competition and Model & Solve Competition) and awards:

  • The winner of the System Competition
  • The winner of the Model & Solve Competition

In both competition tracks, winners in the respective subcategories are awarded:

Model & Solve Competition

  • Winner of the P category (polynomial problems)
  • Winner of the NP category (NP-Hard problems)
  • Winner of the Beyond NP category (more-than-NP-Hard problems)
  • Optimization (Optimization problems)

System Competition

  • Winner of the P category (polynomial problems)
  • Winner of the NP category (NP-Hard problems)
  • Winner of the Beyond NP category (more-than-NP-Hard problems)

Detailed Information

Important Dates

  • Problem selection stage:
    • December 31th, 2010 - Deadline for problem submission
    • January 3th, 2011 - Publication of temporary list of selected benchmarks
    • January 4-10th, 2011 - Submission of accepted benchmarks in finalized version
    • January 10th, 2011 - Publication of the final list of selected problems

  • new_2.gif Competition stage schedule:

    • February 18th, 2011 - System Track Dry Run start. THIS IS NOT THE FINAL DEADLINE (See notes below).

    • February 25th, 2011, 23:59 Pacific Standard Time - Final deadline for Competitors Submission to System Competition Track.

    • February 26th, 2011 - Start of the unmanned official competition run of the System Track.
    • March 08th, 2011 - Model & Solve Dry Run start. THIS IS NOT THE FINAL DEADLINE (See notes below).

    • new_2.gif March 28th, 2011, 23:59 Pacific Standard Time - Final deadline for Competitors Submission to Model & Solve Competition Track.

    • March 29th, 2011 - Start of the unmanned official competition run of the Model & Solve Track.

    • May 16th 2011 - Announcement of results and awards at LPNMR 2011 - Vancouver, BC, Canada.

  • NOTES on Dry Runs - Systems already submitted and set up by the date of a Dry Run deadline will be automatically tested on official instances featured by the related track (System/Model&Solve). Any problem on the dry run will be privately reported to competitors. Competitors submissions to related track will be not closed until the given final deadline of the track; systems not submitted within the Dry Run deadline will simply not undergo the dry run itself.

Contacts

ASP Competition 2011: FrontPage (last edited 2012-06-22 07:45:46 by GiovambattistaIanni)