|
Size: 1986
Comment:
|
Size: 2189
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 available on [[BenchmarkSubmission]]. |
<<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) == Call for Participation == * Please find the official Call for Participation [[attachment:aspcomp2014-cfp.txt|here]]. |
| Line 13: | Line 21: |
| * May 07, 2012 - Call for Benchmarks available. * May 07, 2012 - Webpage started. |
* 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 16: | Line 28: |
| <<Anchor(detailed)>> == Detailed Information == * <<newicon>> [[BenchmarkSubmission|Benchmark Submission procedure]] * Competition Categories The competition features ''two distinct tracks'': * [[MSCompetition|Model & Solve Competition]] (Forthcoming) * [[SystemCompetition|System Competition]] (Forthcoming) * [[ParticipationRules|Scoring and Participation Rules]] (Forthcoming) * [[ParticipantSubmission|Participant Submission procedure]] (Forthcoming) * [[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 Procedure == To be updated. |
| Line 32: | Line 31: |
| Please find details about application procedure [[ParticipantSubmission|here]]. | |
| Line 33: | Line 33: |
| == Rules, Scoring and Details == To be updated. |
|
| Line 34: | Line 36: |
| === Rules and Scoring === Please find details about rules and scoring [[attachment:aspcomp2014-rules-and-scoring.txt|here]]. |
|
| Line 35: | Line 39: |
| 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). <<Anchor(schedule)>> == Important Dates == * Problem selection stage: * Aug 30th, 2012 - Problem submission deadline. * Competition stage: * 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 50: | Line 44: |
| * [[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: 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
- 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 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.