ASP Standardization Activity
Welcome! This page collects fresh information, documents and tools concerning the ASP Standardization activity.
Dec 13th, 2012. ASP-Core 2.03b is available.
Latest language version: ASP-Core-2, ver 2.03b.
- 4-th ASPCOMP Version freeze: 2.01c.
- The reference version for implementors participating in the system track of the 4th ASP Competition has been frozen to ASP-Core-2 2.01c.
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).
ASP-Core-2 2.00. First public release of ASP-Core-2 standard.
ASP-Core-2 2.01b. Explicit support of negative integers in grammar table.
ASP-Core-2 2.01c. Merge of improvements from version 2.03 (4-th ASPCOMP reference version, does not include optimize statements) .
ASP-Core-2 2.03. Addition of optimize statements as syntactic shortcuts. Simplifications and rewritings of grammar and restrictions.
ASP-Core-2 2.03b. Some fixes to Section 2.3 and 2.4.
ASP-Core-2 2.03c. Minor.