|
Size: 5463
Comment:
|
Size: 2695
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 == * <<newicon>> 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 16: | Line 11: |
| '''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: The competition starts * July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd) |
|
| Line 17: | Line 16: |
| * 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! |
== Call for Participation == * Please find the official Call for Participation [[attachment:aspcomp2014-cfp.txt|here]]. |
| Line 25: | Line 20: |
| * 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 26: | Line 26: |
| * 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. |
== Application Procedure == Participants willing to apply for the competition can send an email (starting from March 1st, 2014) to this [[mailto:aspcomp2014@mat.unical.it|address]] specifying: * the name of their team; * names and affiliation of the team members (institution, research group); * name and number of the systems the team will submit; * please indicate whether a system is an updated version of a solution submitted to the 2013 edition; * specific software requirements: e.g. linux packages/libraries needed to run your system. * language support: e.g. my submission supports normal logic programs and aggregates, it does not support weak constraints and function symbols... and so on. |
| Line 30: | Line 35: |
| * 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. |
Applicants will get a private e-mail with the instructions for submitting systems and login credentials for accessing our Competition server through ssh. |
| Line 46: | Line 37: |
| == What is the Open ASP Competition? == | The competition will run on a Debian Linux server with Intel Xeon Processors and 64bit kernel. |
| Line 49: | Line 39: |
| 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]]. <<Anchor(detailed)>> == Detailed Information == * [[BenchmarkSubmission|Call for benchmarks and benchmark Submission procedure]] * [[CallforParticipation|Call for participation]] * Competition Categories The competition features ''two distinct tracks'': * [[MSCompetition|Model & Solve Competition]] * [[SystemCompetition|System Competition]] * [[ParticipationRules|Detailed Scoring and Participation Rules]] * [[ParticipantSubmission|Participant Submission procedure]] * [[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 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). |
Detailed submission instructions, competition rules, hardware and software settings will be published soon. Pease check this page frequently. |
| Line 80: | Line 42: |
| * [[OrganizingCommittee|Organizing Committee]] * [[mailto:aspcomp2013_REPLACE_WITH_AT_kr.tuwien.ac.at|Contact the competition organizers]]. |
* [[OrganizingCommittee|Organizing Committee and Contacts]] |
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: The competition starts
- 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
- 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 Procedure
Participants willing to apply for the competition can send an email (starting from March 1st, 2014) to this address specifying:
- the name of their team;
- names and affiliation of the team members (institution, research group);
- name and number of the systems the team will submit;
- please indicate whether a system is an updated version of a solution submitted to the 2013 edition;
- specific software requirements: e.g. linux packages/libraries needed to run your system.
- language support: e.g. my submission supports normal logic programs and aggregates, it does not support weak constraints and function symbols... and so on.
Applicants will get a private e-mail with the instructions for submitting systems and login credentials for accessing our Competition server through ssh.
The competition will run on a Debian Linux server with Intel Xeon Processors and 64bit kernel.
Detailed submission instructions, competition rules, hardware and software settings will be published soon. Pease check this page frequently.