#acl GiovambattistaIanni:read,write,admin ASPCoreGroup:read,write All:read = ASP Standardization Activity = Welcome! This page collects fresh information, documents and tools concerning the ASP Standardization activity. == Current Status == * Dec 13th, 2012. ASP-Core [[https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03b.pdf|2.03b]] is available. * Latest language version: {{{ASP-Core-2}}}, ver 2.03b. * 4-th ASPCOMP Version freeze: 2.01c. {{{#!wiki caution The reference version for implementors participating in the system track of the 4th ASP Competition has been frozen to ASP-Core-2 2.01c. }}} == Participants == University of Calabria (Francesco Calimeri, Wolfgang Faber, Giovambattista Ianni, Nicola Leone, Francesco Ricca), University of Potsdam (Martin Gebser, Roland Kaminski, Torsten Schaub), Technical University of Vienna (Thomas Krennwallner). == Version History == * ASP-Core-2 [[https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.00.pdf|2.00]]. First public release of ASP-Core-2 standard. * ASP-Core-2 [[https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.01b.pdf|2.01b]]. Explicit support of negative integers in grammar table. * '''ASP-Core-2 [[https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.01c.pdf|2.01c]]. Merge of improvements from version 2.03 (4-th ASPCOMP reference version, does not include optimize statements)''' . * ASP-Core-2 [[https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03.pdf|2.03]]. Addition of optimize statements as syntactic shortcuts. Simplifications and rewritings of grammar and restrictions. * ASP-Core-2 [[https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03b.pdf|2.03b]]. Some fixes to Section 2.3 and 2.4. * ASP-Core-2 [[https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03c.pdf|2.03c]]. Minor. == Tools == * Validator for ASP-Core 2.01c (ver. [[https://www.mat.unical.it/aspcomp2013/files/aspcore2validator1.01.zip|1.01]], ver. [[https://www.mat.unical.it/aspcomp2013/files/aspcore2validator.zip|1.0]]).