|
Size: 1945
Comment:
|
Size: 3539
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. | * Call for Benchmarks [[BenchmarkSubmission|available]]. |
| Line 12: | Line 12: |
| == Competition Stuff - Quick directions == | == What is the Open ASP Competition? == |
| Line 14: | Line 14: |
| 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. In the 3d competition, the standard language was [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications.pdf|ASP-Core]]. The 4th ASP Competition will be held on an extension of ASP-Core expected to be released by September 30th 2011. == News and updates == * May 11th, 2012 - Call for Benchmarks [[BenchmarkSubmission|available]]. * May 7th, 2012 - Webpage started. |
|
| Line 17: | Line 26: |
| * <<newicon>> [[BenchmarkSubmission|Call for benchmarks and benchmark Submission procedure]] | |
| Line 18: | Line 28: |
| * [[MSCompetition|Model & Solve Competition]] * [[SystemCompetition|System Competition]] * [[ParticipationRules|Scoring and Participation Rules]] * [[BenchmarkSubmission|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]] (Coming, September 2012) * [[ParticipantSubmission|Participant Submission procedure]] (Coming, September 2012) |
| Line 26: | Line 36: |
| * [[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 39: |
| * [[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 41: | Line 47: |
| ~- | |
| Line 43: | Line 49: |
| * 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 58: |
| * 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.
Contents
Current Status
Call for Benchmarks available.
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. In the 3d competition, the standard language was ASP-Core. The 4th ASP Competition will be held on an extension of ASP-Core expected to be released by September 30th 2011.
News and updates
May 11th, 2012 - Call for Benchmarks available.
- May 7th, 2012 - Webpage started.
Detailed Information
- Competition Categories
The competition features two distinct tracks:
Detailed Scoring and Participation Rules (Coming, September 2012)
Participant Submission procedure (Coming, September 2012)
- Former competitions:
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.