|
Size: 3449
Comment:
|
Size: 2770
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| = Fourth (Open) Answer Set Programming Competition - 2013 = | = Fifth Answer Set Programming Competition (ASPCOMP 2014) = |
| Line 3: | Line 4: |
| The Fourth Answer Set Programming Competition is an '''open''' event: any system based on a declarative problem solving language '''can participate'''. |
The Fifth Answer Set Programming Competition (ASPCOMP 2014) will take place as one of the events within the [[http://vsl2014.at/olympics/|FLoC Olympic Games]], held in Vienna in the context of the [[http://vsl2014.at/|Vienna Summer of Logic 2014]]. The event is officially affiliated with the [[http://users.ugent.be/~tschrijv/ICLP2014/|30th International Conference on Logic Programming]] (ICLP 2014). |
| Line 9: | Line 9: |
| == Current Status == * Call for Benchmarks [[BenchmarkSubmission|available]]. |
<<Anchor(schedule)>> == Important Dates == '''NOTE''': Preliminary schedule, subject to further modification. Please check this site out often for news and updates. * March 1st, 2014: Participant registration opens * March 31st, 2014: Participant registration closes (new) * April 15th, 2014: The competition starts (extended) * July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd) |
| Line 12: | Line 17: |
| == 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. 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. |
== Call for Participation == * Please find the official Call for Participation [[attachment:aspcomp2014-cfp.txt|here]]. |
| Line 21: | Line 21: |
| * May 11th, 2012 - Call for Benchmarks [[BenchmarkSubmission|available]]. * May 7th, 2012 - Webpage started. |
* 31 March, 2014: Application procedure updated * 14 March, 2014: Important dates updated * 20 February, 2014: Application directions now available, registration opens March 1st, 2014. * 11 February, 2014: Call for Participation updated. Please check it out! * 03 February, 2014: '''Announcement''' - ASPCOMP 2014 is officially affiliated with the [[http://users.ugent.be/~tschrijv/ICLP2014/|30th International Conference on Logic Programming]] (ICLP 2014). * 03 February, 2014: Call for participation updated. * 13 January, 2014: Preliminary Call for Participation out. |
| Line 24: | Line 29: |
| <<Anchor(detailed)>> == Detailed Information == * <<newicon>> [[BenchmarkSubmission|Call for benchmarks and 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 |
== Application and Submission Procedure == To be updated. |
| Line 40: | Line 32: |
| Please find details about application procedure [[ParticipantSubmission|here]]. | |
| Line 41: | Line 34: |
| You might want to [[https://www.mat.unical.it/aspcomp2013/FrontPage?action=subscribe|subscribe]] this page for getting e-mail notifications about news (needs [[https://www.mat.unical.it/aspcomp2013/FrontPage?action=login|opening]] an user account). |
== Rules, Scoring and Details == To be updated. |
| Line 44: | Line 37: |
| === Rules and Scoring === Please find details about rules and scoring [[attachment:aspcomp2014-rules-and-scoring.txt|here]]. |
|
| Line 45: | Line 40: |
| <<Anchor(schedule)>> == 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. |
=== Output format === Output format should not change with respect to ASPCOMP 2013. Please find further info [[https://www.mat.unical.it/aspcomp2013/files/aspoutput.txt|here]]. |
| Line 57: | Line 45: |
| * [[OrganizingCommittee|Organizing Committee]] * [[mailto:aspcomp2013_REPLACE_WITH_AT_kr.tuwien.ac.at|Contact the competition organizers]]. |
=== Organizing Committee === The Fifth Answer Set Programming Competition is hosted and regulated jointly by Aalto University (Finland), University of Calabria (Italy) and University of Genova (Italy). ==== Co-Chairs ==== * [[https://www.mat.unical.it/calimeri|Francesco Calimeri]] * [[https://people.aalto.fi/index.html?profilepage=isfor#!martin_gebser|Martin Gebser]] * [[http://www.star.dist.unige.it/~marco|Marco Maratea]] * [[https://www.mat.unical.it/~ricca|Francesco Ricca]] ==== Email and Contacts ==== * Drop us a note at aspcomp2014@mat.unical.it. |
Fifth Answer Set Programming Competition (ASPCOMP 2014)
The Fifth Answer Set Programming Competition (ASPCOMP 2014) will take place as one of the events within the FLoC Olympic Games, held in Vienna in the context of the Vienna Summer of Logic 2014. The event is officially affiliated with the 30th International Conference on Logic Programming (ICLP 2014).
Contents
Important Dates
NOTE: Preliminary schedule, subject to further modification. Please check this site out often for news and updates.
- March 1st, 2014: Participant registration opens
- March 31st, 2014: Participant registration closes (new)
- April 15th, 2014: The competition starts (extended)
- July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd)
Call for Participation
Please find the official Call for Participation here.
News and updates
- 31 March, 2014: Application procedure updated
- 14 March, 2014: Important dates updated
- 20 February, 2014: Application directions now available, registration opens March 1st, 2014.
- 11 February, 2014: Call for Participation updated. Please check it out!
03 February, 2014: Announcement - ASPCOMP 2014 is officially affiliated with the 30th International Conference on Logic Programming (ICLP 2014).
- 03 February, 2014: Call for participation updated.
- 13 January, 2014: Preliminary Call for Participation out.
Application and Submission Procedure
To be updated.
Please find details about application procedure here.
Rules, Scoring and Details
To be updated.
Rules and Scoring
Please find details about rules and scoring here.
Output format
Output format should not change with respect to ASPCOMP 2013. Please find further info here.
Contacts
Organizing Committee
The Fifth Answer Set Programming Competition is hosted and regulated jointly by Aalto University (Finland), University of Calabria (Italy) and University of Genova (Italy).
Co-Chairs
Email and Contacts
Drop us a note at aspcomp2014@mat.unical.it.