welcome: please sign in
location: Diff for "FrontPage"
Differences between revisions 90 and 94 (spanning 4 versions)
⇤ ← Revision 90 as of 2011-02-11 12:30:37 →
Size: 6404
Editor: FrancescoCalimeri
Comment:
← Revision 94 as of 2011-03-05 12:34:39 → ⇥
Size: 6646
Editor: FrancescoCalimeri
Comment: update file and language specifications.
Deletions are marked like this. Additions are marked like this.
Line 16: Line 16:

 * <<newicon>> 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''.		 u
 * <<newicon>> Mar 05, 2011 - Update [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications.pdf|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''.
Line 21: Line 22:
 * Jan 26th, 2011. '''New Deadline extension: Feb 25th, 2011.'''
 * Jan 26th, 2011. Modified [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.11.pdf|file and language format specifications]]. Please have a look at the change log.		   * Jan 26th, 2011. Modified [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications.pdf|file and language format specifications]]. Please have a look at the change log.
Line 24: Line 24:
Line 26: Line 25:

* Jan 10th, 2011. Modified [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.10.pdf|file and language format specifications]]. Please have a look at the change log.		  * Jan 10th, 2011. Modified [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications.pdf|file and language format specifications]]. Please have a look at the change log.
Line 36: Line 34:
The competition is divided into two main sub-tracks (System Competition and Model & Solve Competition) and awards: The 3rd ASP competition is divided into two main sub-tracks (System Competition and Model & Solve Competition) and awards:
Line 68: Line 66:
   * [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.11.pdf|File and language format specifications]] (v. 1.11)    * [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.20.pdf|File and language format specifications]] (v. 1.20)
     * [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.11.pdf|File and language format specifications]] (v. 1.11)
Line 103: Line 102:
  * February 18th, 2011 - '''System Track Dry Run start'''. '''THIS IS NOT THE FINAL DEADLINE''' (See [[#notesOnDryRuns|notes below]]).   * February 18th, 2011 - ''System Track Dry Run start''. '''THIS IS NOT THE FINAL DEADLINE''' (See [[#notesOnDryRuns|notes below]]).
Line 106: Line 105:
  * March 08th, 2011 - '''Model & Solve Dry Run start'''. '''THIS IS NOT THE FINAL DEADLINE''' (See [[#notesOnDryRuns|notes below]]).   * March 08th, 2011 - ''Model & Solve Dry Run start''. '''THIS IS NOT THE FINAL DEADLINE''' (See [[#notesOnDryRuns|notes below]]).

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.

Quick directions

News and updates

u

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

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

    • March 16th, 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)