welcome: please sign in
location: Diff for "FrontPage"
Differences between revisions 1 and 15 (spanning 14 versions)
Revision 1 as of 2012-05-07 16:00:46
Size: 1945
Comment:
Revision 15 as of 2012-05-11 09:45:09
Size: 2038
Comment:
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
The Third Answer Set Programming Competition is an '''open''' event: The Fourth Answer Set Programming Competition is an '''open''' event:
Line 10: Line 10:
 * Call for Benchmarks available.

== Competition Stuff - Quick directions ==


<<Anchor(detailed)>>
== Detailed Information ==
 * Competition Categories
  * [[MSCompetition|Model & Solve Competition]]
  * [[SystemCompetition|System Competition]]
 * [[ParticipationRules|Scoring and Participation Rules]]
 * [[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
   * [[https://www.mat.unical.it/aspcomp2011|Third]] ASP Competition
 * Call for Benchmarks available on [[BenchmarkSubmission]].
Line 33: Line 15:

<<Anchor(detailed)>>
== Detailed Information ==
 * <<newicon>> [[BenchmarkSubmission|Benchmark Submission procedure]]
 * Competition Categories
  The competition features ''two distinct tracks'':
  * [[MSCompetition|Model & Solve Competition]]
  * [[SystemCompetition|System Competition]]
 * [[ParticipationRules|Detailed Scoring and Participation Rules]] (Coming, September 2012)
 * [[ParticipantSubmission|Participant Submission procedure]] (Coming, September 2012)
 * [[NewsUpdates|News and Updates]]
 * [[ToolsUtilities|Tools and Utilities]]
 * Former competitions:
   * [[https://www.mat.unical.it/aspcomp2011|Third]] ASP Competition
   * [[http://dtai.cs.kuleuven.be/events/ASP-competition/index.shtml|Second]] ASP Competition
   * [[http://asparagus.cs.uni-potsdam.de/contest/|First]] ASP Competition
Line 41: Line 39:
~-
Line 43: Line 41:
  * 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
-~
  * Aug 30th, 2012 - Problem submission deadline.
 * Competition stage:
  * September 15th, 2012 - Call for participants.
  * Mar 1st, 2013 - '''Model & Solve''' submission deadline.
  * Mar 1st, 2013 - '''System''' submission deadline.
Line 52: Line 50:
 * 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

News and updates

  • May 07, 2012 - Call for Benchmarks available.
  • May 07, 2012 - Webpage started.

Detailed Information

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

Important Dates

  • Problem selection stage:
    • Aug 30th, 2012 - Problem submission deadline.
  • Competition stage:
    • September 15th, 2012 - Call for participants.
    • Mar 1st, 2013 - Model & Solve submission deadline.

    • Mar 1st, 2013 - System submission deadline.

Contacts

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