#acl GiovambattistaIanni:read,write,admin ASPCoreGroup:read,write all:

= ASP Standardization Activity =
Welcome! This page collects fresh information, documents and tools concerning the ASP Standardization activity. 

== Current Status ==

 * <<newicon>> ASP-Core [[https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.01c.pdf|2.01c]] and [[https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03.pdf|2.03]] are available.
 
 * Latest language version: {{{ASP-Core-2}}}, ver 2.03.
 * 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.
 


== Tools ==
  
 * [[https://www.mat.unical.it/aspcomp2013/files/aspcore2validator.zip|Validator]] for ASP-Core 2.01c.