= Fourth (Open) Answer Set Programming Competition - 2013 = {{{#!wiki caution The Fourth Answer Set Programming Competition is an '''open''' event: any system based on a declarative problem solving language '''can participate'''. }}} <> == Current Status == * <> Call for Participant Systems open. <> == Important Dates == * Problem selection stage: * Aug 31th, 2012 - Problem submission deadline. * Competition stage: * Feb 2nd, 2013 - [[ParticipantSubmission|Participant registration]] deadline * Mar 1st, 2013 - '''Model & Solve''' participant submission deadline * Mar 1st, 2013 - '''System''' participant submission deadline == News and updates == * <> Opened the [[ASPStandardization|ASP Standardization]] activity page. * Dec 6th, 2012 - The ASP-Core-2 validator can be downloaded [[https://www.mat.unical.it/aspcomp2013/files/aspcore2validator.zip|here]] * 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. == 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, 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]]. <> == 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). == Contacts == * [[OrganizingCommittee|Organizing Committee]] * [[mailto:aspcomp2013_REPLACE_WITH_AT_kr.tuwien.ac.at|Contact the competition organizers]].