|
Size: 2062
Comment:
|
Size: 511
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 - 2014 = |
| Line 3: | Line 3: |
| 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 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]]. |
| Line 9: | Line 8: |
| == Current Status == * Call for Benchmarks [[BenchmarkSubmission|available]]. == News and updates == * May 11th, 2012 - Call for Benchmarks [[BenchmarkSubmission|available]]. * May 7th, 2012 - Webpage started. <<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 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). |
|
| Line 39: | Line 11: |
| Made available soon. | |
| Line 40: | Line 13: |
| * 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. |
== News and updates == * January 2014. Preliminary Call for Participation out (see below). |
| Line 48: | Line 18: |
| == Contacts == * [[OrganizingCommittee|Organizing Committee]] * [[mailto:aspcomp2013_REPLACE_WITH_AT_kr.tuwien.ac.at|Contact the competition organizers]]. |
Fifth Answer Set Programming Competition - 2014
The Fifth Answer Set Programming Competition 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.
Important Dates
Made available soon.
News and updates
- January 2014. Preliminary Call for Participation out (see below).