= Third (Open) Answer Set Programming Competition - 2011 = {{{#!wiki caution The Third Answer Set Programming Competition is an '''open''' event: any system based on a declarative problem solving language '''can participate'''. }}} === Quick directions === * [[#schedule|Important Dates]]. * [[CallforParticipation|Call for participation]]. * [[ParticipantSubmission|How to participate]]. * The [[OfficialProblemSuite|benchmark problems]] participants will compare on. * [[#awards|Awards]]. == News and updates == * <> Feb 10, 2011. '''New Deadline extension for the Model & Solve track: March 15th, 2011.''' Note that ''the deadline for the System track does not change''. * Feb 4th, 2011. Detailed regulations on memory limits in the [[ParticipationRules|rules]] section. * Feb 1st, 2011. Added a clarification regarding randomized systems in the [[ParticipationRules|rules]] section. * Jan 28th, 2011. Added a [[https://dtai.cs.kuleuven.be/krr/software/visualisation|tool]] (from KU-Leuven KRR group) for graphically displaying problem solutions, in the [[https://www.mat.unical.it/aspcomp2011/ToolsUtilities|Tools & Utilities]] page. * Jan 26th, 2011. '''New Deadline extension: Feb 25th, 2011.''' * Jan 26th, 2011. Modified [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.11.pdf|file and language format specifications]]. Please have a look at the change log. * Jan 20th, 2011. [[https://www.mat.unical.it/aspcomp2011/ToolsUtilities|Shifter]] tool updated with enable syntax trasformation option (transforms '<>' into '!=', and 'v' into '|')! * Jan 18th, 2011. You can find in the [[OfficialProblemSuite|Official Problem Suite]] the final problem specifications (continously updated). Stay in touch! * Jan 10th, 2011. Modified [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.10.pdf|file and language format specifications]]. Please have a look at the change log. * January 5th, 2011. Released a [[PreliminaryProblemList|preliminary problem list]]. You might want to [[https://www.mat.unical.it/aspcomp2011/FrontPage?action=subscribe|subscribe]] this page for getting e-mail notifications about news (needs [[https://www.mat.unical.it/aspcomp2011/FrontPage?action=login|opening]] an user account). <> == Awards == The competition is divided into two main sub-tracks (System Competition and Model & Solve Competition) and awards: * The winner of the System Competition * The winner of the Model & Solve Competition In both competition tracks, winners in the respective subcategories are awarded: <> === Model & Solve Competition === * Winner of the P category (polynomial problems) * Winner of the NP category (NP-Hard problems) * Winner of the Beyond NP category (more-than-NP-Hard problems) * Optimization (Optimization problems) === System Competition === * Winner of the P category (polynomial problems) * Winner of the NP category (NP-Hard problems) * Winner of the Beyond NP category (more-than-NP-Hard problems) <> == Detailed Information == * Competition Categories * [[MSCompetition|Model & Solve Competition]] * [[SystemCompetition|System Competition]] * [[ParticipationRules|Scoring and Participation Rules]] * [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.11.pdf|File and language format specifications]] (v. 1.11) * [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.10.pdf|File and language format specifications]] (v. 1.10) * [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.01.pdf|File and language format specifications]] (v. 1.01) * [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.00.pdf|File and language format specifications]] (v. 1.00) * [[BenchmarkProblems|Benchmark problem classification]] * [[BenchmarkSubmission|Benchmark Submission procedure]] * [[ParticipantSubmission|Participant Submission procedure]] * [[NewsUpdates|News and Updates]] * [[ToolsUtilities|Tools and Utilities]] * Former competitions: * [[http://asparagus.cs.uni-potsdam.de/contest/|First]] ASP Competition * [[http://dtai.cs.kuleuven.be/events/ASP-competition/index.shtml|Second]] ASP Competition <> == Important Dates == ~- * Problem selection stage: * December 31th, 2010 - Deadline for problem submission * January 3th, 2011 - Publication of temporary list of selected benchmarks * January 4-10th, 2011 - Submission of accepted benchmarks in finalized version * January 10th, 2011 - Publication of the final list of selected problems-~ {{{#!wiki caution * <> Competition stage schedule: * February 18th, 2011 - '''System Track Dry Run start'''. '''THIS IS NOT THE FINAL DEADLINE''' (See [[#notesOnDryRuns]|notes below]). * February 25th, 2011, 23:59 Pacific Standard Time - '''Final''' deadline for Competitors Submission '''to System Competition Track'''. * February 26th, 2011 - Start of the unmanned official competition run of the System Track. * March 08th, 2011 - '''Model & Solve Dry Run start'''. '''THIS IS NOT THE FINAL DEADLINE''' (See [[#notesOnDryRuns]|notes below]). * March 15th, 2011, 23:59 Pacific Standard Time - '''Final''' deadline for Competitors Submission '''to Model & Solve Competition Track'''. * March 16th, 2011 - Start of the unmanned official competition run of the Model & Solve Track. * May 16th 2011 - Announcement of results and awards at [[https://sites.google.com/site/lpnmr11/ |LPNMR 2011]] - Vancouver, BC, Canada. }}} <> * '''NOTES on Dry Runs''' - Systems already submitted and set up by the date of a Dry Run deadline will be automatically tested on official instances featured by the related track (System/Model&Solve). Any problem on the dry run will be privately reported to competitors. Competitors submissions to related track ''will be'' '''not closed''' until the given final deadline of the track; systems not submitted within the Dry Run deadline will simply not undergo the dry run itself. == Contacts == * [[OrganizingCommittee|Organizing Committee]] * Contact the Organizing Committee [[mailto:aspcomp2011_REPLACE_WITH_AT_mat.unical.it |here]].