welcome: please sign in
location: Diff for "FrontPage"
Differences between revisions 2 and 48 (spanning 46 versions)
Revision 2 as of 2012-05-07 16:01:05
Size: 1946
Comment:
Revision 48 as of 2013-10-08 13:28:25
Size: 5590
Comment:
Deletions are marked like this. Additions are marked like this.
Line 10: Line 10:
 * Call for Benchmarks available.    * Oct 8th, 2013. Added some missing data to [[https://www.mat.unical.it/aspcomp2013/files/links/auxscripts/reporting/|detailed results]]
 * Oct 5th, 2013. Detailed results [[https://www.mat.unical.it/aspcomp2013/files/links/auxscripts/reporting/|available]].
 * Sep 19th, 2013. Results of the competition are announced! Here are the Announcement Talk [[http://www.mat.unical.it/ianni/storage/aspcomp-2013-lpnmrtalk.pdf|Slides]]. Per benchmark results to be published as soon as possible.
Line 12: Line 15:
== Competition Stuff - Quick directions == <<Anchor(schedule)>>
== Important Dates ==
Line 14: Line 18:
 * Problem selection stage:
  * Aug 31th, 2012 - Problem submission deadline.
 * Competition stage:
  * Mar 16th, 2013, 23:59 PST - '''Model & Solve''' participant submission deadline
  * Mar 16th, 2013, 23:59 PST - '''System''' participant submission deadline
  * Mar 17th, 2013 - The Competition runs!

== News and updates ==

  * September 6th, 2013 - Full participant packages, featuring binaries, scripts and settings, are available. Check it out at [[Participants]] page.
  * Aug 7th, 2013. The full instance set is now [[https://www.mat.unical.it/ianni/aspcomp2013instances/|available]]
  * Apr 9th, 2013: the numbers chosen as starting seed are 15-35-38-44-48, as of the [[https://www.national-lottery.co.uk/player/euromillions/results/prizeBreakdown.ftl?drawNumber=579&drawSequence=0|Euromillion Lottery]] of Tuesday April 9th 2013.

 * Mar 2nd, 2013:
   * A small fix to the ASP-Core-2 Validator (see the [[ASPStandardization|ASP Standardization]] page)
 * Feb 24th, 2013:
   * Added some technical details to the Instance Selection and Scoring document ([[https://www.mat.unical.it/aspcomp2013/files/scoringdetails2013.pdf|v2.2]])
   * Published instance hash values [[OfficialProblemSuite|here]].
 * Feb 16th, 2013:
   * Participant package instructions [[https://www.mat.unical.it/aspcomp2013/ParticipantSubmission|available]]
   * Update to the scoring system [[http://www.mat.unical.it/aspcomp2013/files/scoringdetails2013.pdf|document]]
 * Opened the [[ASPStandardization|ASP Standardization]] activity page.
 * Dec 6th, 2012 - The ASP-Core-2 validator is [[ASPStandardization|available]]
 * Dec 4th, 2012 - Small fixes to [[ASPStandardization|ASP-Core-2 Specification]]
 * The [[CallforParticipation|Call for participation]] is out!
 * Nov 16th, 2012 - [[ASPStandardization|ASP-Core-2 Specification]] is out!
 * May 11th, 2012 - Call for Benchmarks [[BenchmarkSubmission|available]].
 * May 7th, 2012 - Webpage started.

 
== What is the Open ASP Competition? ==

The Open ASP Competition has two tracks: the [[MSCompetition|Model & Solve Track]] and the [[SystemCompetition|System Track]].

 * In the '''Model & Solve Track''', a number of problem domain specifications are given, together with a set of instances thereof. All you need to participate is a system able to model using a declarative specification paradigm of any sort, and some manpower for preparing benchmark solutions. Winners are awarded on the basis of their time performance and, for optimization problems, on the basis of the quality of their solutions. Note that we are more interested at comparing systems and their performance on standard problems, rather than measuring the modelling 'trickery' of participants: this is why you will have several months for preparing declarative specifications and your system, so to make affordable the burden of modelling a number of problems, also for small teams. Problem specification can be freely exchanged among participants whenever they use the same input language.

 * The '''System Track''' is reserved to Answer Set Programming systems, able to cope with a fixed problem specification language. The 4th ASP Competition will be held on an extension of ASP-Core called [[ASPStandardization|ASP-Core-2]].

To have an idea of the type of problems involved and what we measure on competitors, you might want to visit the [[OfficialProblemSuite|official problem list]] and [[ParticipationRules|Rules & Scoring system]].
Line 17: Line 60:
 * [[BenchmarkSubmission|Call for benchmarks and benchmark Submission procedure]]
 * [[CallforParticipation|Call for participation]]
Line 18: Line 63:
  * [[MSCompetition|Model & Solve Competition]]
  * [[SystemCompetition|System Competition]]
 * [[ParticipationRules|Scoring and Participation Rules]]
 * [[Benchmark
Submission|Benchmark Submission procedure]]
 * [[ParticipantSubmission|Participant Submission procedure]]
  The competition features ''two distinct tracks'':
* [[MSCompetition|Model & Solve Competition]] 
  * [[SystemCompetition|System Competition]] 
 * [[ParticipationRules|Detailed Scoring and Participation Rules]]   * [[ParticipantSubmission|Participant Submission procedure]] 
Line 26: Line 71:
   * [[https://www.mat.unical.it/aspcomp2011|Third]] ASP Competition
   * [[http://dtai.cs.kuleuven.be/events/ASP-competition/index.shtml|Second]] ASP Competition
Line 27: Line 74:
   * [[http://dtai.cs.kuleuven.be/events/ASP-competition/index.shtml|Second]] ASP Competition
   * [[https://www.mat.unical.it/aspcomp2011|Third]] ASP Competition

== News and updates ==
 * May 07, 2012 - Call for Benchmarks available.
 * May 07, 2012 - Webpage started.
Line 39: Line 80:
<<Anchor(schedule)>>
== Important Dates ==
~-
 * Problem selection stage:
  * In 2012 - Deadline for problem submission
  * In 2013 - Publication of temporary list of selected benchmarks
  * In 2013 - Submission of accepted benchmarks in finalized version
  * In 2013 - Publication of the final list of selected problems
-~

Line 52: Line 82:
 * Contact the Organizing Committee [[mailto:aspcomp2013oc_REPLACE_WITH_AT_kr.tuwien.ac.at |here]].  * [[mailto:aspcomp2013_REPLACE_WITH_AT_kr.tuwien.ac.at|Contact the competition organizers]].

Fourth (Open) Answer Set Programming Competition - 2013

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

Current Status

  • Oct 8th, 2013. Added some missing data to detailed results

  • Oct 5th, 2013. Detailed results available.

  • Sep 19th, 2013. Results of the competition are announced! Here are the Announcement Talk Slides. Per benchmark results to be published as soon as possible.

Important Dates

  • Problem selection stage:
    • Aug 31th, 2012 - Problem submission deadline.
  • Competition stage:
    • Mar 16th, 2013, 23:59 PST - Model & Solve participant submission deadline

    • Mar 16th, 2013, 23:59 PST - System participant submission deadline

    • Mar 17th, 2013 - The Competition runs!

News and updates

  • September 6th, 2013 - Full participant packages, featuring binaries, scripts and settings, are available. Check it out at Participants page.

  • Aug 7th, 2013. The full instance set is now available

  • Apr 9th, 2013: the numbers chosen as starting seed are 15-35-38-44-48, as of the Euromillion Lottery of Tuesday April 9th 2013.

What is the Open ASP Competition?

The Open ASP Competition has two tracks: the Model & Solve Track and the System Track.

  • In the Model & Solve Track, a number of problem domain specifications are given, together with a set of instances thereof. All you need to participate is a system able to model using a declarative specification paradigm of any sort, and some manpower for preparing benchmark solutions. Winners are awarded on the basis of their time performance and, for optimization problems, on the basis of the quality of their solutions. Note that we are more interested at comparing systems and their performance on standard problems, rather than measuring the modelling 'trickery' of participants: this is why you will have several months for preparing declarative specifications and your system, so to make affordable the burden of modelling a number of problems, also for small teams. Problem specification can be freely exchanged among participants whenever they use the same input language.

  • The System Track is reserved to Answer Set Programming systems, able to cope with a fixed problem specification language. The 4th ASP Competition will be held on an extension of ASP-Core called ASP-Core-2.

To have an idea of the type of problems involved and what we measure on competitors, you might want to visit the official problem list and Rules & Scoring system.

Detailed Information

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

Contacts

ASP Competition 2013: FrontPage (last edited 2013-10-08 13:28:25 by GiovambattistaIanni)