welcome: please sign in
location: Diff for "FrontPage"
Differences between revisions 1 and 105 (spanning 104 versions)
⇤ ← Revision 1 as of 2010-10-27 13:31:56 →
Size: 69
Editor: GiovambattistaIanni
Comment:
← Revision 105 as of 2011-05-19 01:10:43 → ⇥
Size: 7660
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
= Third Answer Set Programming Competition = = Third (Open) Answer Set Programming Competition - 2011 =
Line 3: Line 3:
Under construction. {{{#!wiki caution
The Third Answer Set Programming Competition is an '''open''' event: any system based on a declarative problem solving language '''can participate'''.
}}}

=== Current Status ===

 * <<newicon>> Results are available. And the winner is... well, have a look at the : [[http://goo.gl/ea77z|System Track Official Results]] -- [[http://goo.gl/l3G6i|Model & Solve Track Official Results]]. Complete [[http://goo.gl/4XXFz|list of participants]] is available as well.
 * May 18, 2011: results announced at [[https://sites.google.com/site/lpnmr11/ |LPNMR 2011]] - Vancouver, BC, Canada.
 * System Competition: '''over'''.
 * Model & Solve Competition: '''over'''.

=== Quick directions ===

 * Competition Results: [[http://goo.gl/ea77z|System Track Official Results]] -- [[http://goo.gl/l3G6i|Model & Solve Track Official Results]].
 * [[http://goo.gl/4XXFz|list of participants]].
 * [[#schedule|Important Dates]].
 * [[CallforParticipation|Call for participation]].
 * [[ParticipantSubmission|How to participate]].
 * The [[OfficialProblemSuite|benchmark problems]] participants compared on.
 * [[#awards|Awards]].

== News and updates ==
 * <<newicon>> May 18, 2011 - Results are available. And the winner is... well, have a look at the : [[http://goo.gl/ea77z|System Track Official Results]] -- [[http://goo.gl/l3G6i|Model & Solve Track Official Results]].
 * <<newicon>> May 18, 2011 - Complete [[http://goo.gl/4XXFz|list of participants]] available.
 * 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''.
 * Feb 4th, 2011. Detailed regulations on memory limits in the [[ParticipationRules|rules]] section.
 * Feb 1st, 2011. Added a clarification regarding randomized systems in the [[ParticipationRules|rules]] section.
 * Jan 28th, 2011. Added a [[https://dtai.cs.kuleuven.be/krr/software/visualisation|tool]] (from KU-Leuven KRR group) for graphically displaying problem solutions, in the [[https://www.mat.unical.it/aspcomp2011/ToolsUtilities|Tools & Utilities]] page.
  * 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.
 * Jan 20th, 2011. [[https://www.mat.unical.it/aspcomp2011/ToolsUtilities|Shifter]] tool updated with enable syntax trasformation option (transforms '<>' into '!=', and 'v' into '|')!
 * Jan 18th, 2011. You can find in the [[OfficialProblemSuite|Official Problem Suite]] the final problem specifications (continously updated). Stay in touch!
 * 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.
 * January 5th, 2011. Released a [[PreliminaryProblemList|preliminary problem list]].
 
You might want to [[https://www.mat.unical.it/aspcomp2011/FrontPage?action=subscribe|subscribe]] this page
for getting e-mail notifications about news (needs [[https://www.mat.unical.it/aspcomp2011/FrontPage?action=login|opening]] an user account).

<<Anchor(awards)>>
== 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:

<<Anchor(dummy)>>
=== 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)



<<Anchor(detailed)>>
== Detailed Information ==

 * Competition Categories
  * [[MSCompetition|Model & Solve Competition]]
  * [[SystemCompetition|System Competition]]

 * [[ParticipationRules|Scoring and Participation Rules]]
   * [[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)
     * [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.10.pdf|File and language format specifications]] (v. 1.10)
     * [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.01.pdf|File and language format specifications]] (v. 1.01)
     * [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.00.pdf|File and language format specifications]] (v. 1.00)
   * [[BenchmarkProblems|Benchmark problem classification]]

 * [[BenchmarkSubmission|Benchmark Submission procedure]]
 * [[ParticipantSubmission|Participant Submission procedure]]

 * [[NewsUpdates|News and Updates]]
 * [[ToolsUtilities|Tools and Utilities]]

 * Former competitions:
   * [[http://asparagus.cs.uni-potsdam.de/contest/|First]] ASP Competition
   * [[http://dtai.cs.kuleuven.be/events/ASP-competition/index.shtml|Second]] ASP Competition




<<Anchor(schedule)>>
== 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-~



{{{#!wiki caution

 * <<newicon>> Competition stage schedule:

  * February 18th, 2011 - ''System Track Dry Run start''. '''THIS IS NOT THE FINAL DEADLINE''' (See [[#notesOnDryRuns|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 [[#notesOnDryRuns|notes below]]).
  * <<newicon>> 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 [[https://sites.google.com/site/lpnmr11/ |LPNMR 2011]] - Vancouver, BC, Canada.
}}}

<<Anchor(notesOnDryRuns)>>
  * '''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 ==
 
 * [[OrganizingCommittee|Organizing Committee]]
 * Contact the Organizing Committee [[mailto:aspcomp2011_REPLACE_WITH_AT_mat.unical.it |here]].

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

Quick directions

News and updates

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)