welcome: please sign in
location: Diff for "ASPStandardization"
Differences between revisions 8 and 14 (spanning 6 versions)
⇤ ← Revision 8 as of 2012-12-10 16:41:23 →
Size: 1821
Editor: GiovambattistaIanni
Comment:
← Revision 14 as of 2015-11-03 09:37:21 → ⇥
Size: 2067
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
#acl GiovambattistaIanni:read,write,admin ASPCoreGroup:read,write all:read #acl GiovambattistaIanni:read,write,admin ASPCoreGroup:read,write All:read
Line 8: Line 8:
 * <<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.  * Dec 13th, 2012. ASP-Core [[https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03b.pdf|2.03b]] is available.
Line 10: Line 10:
 * Latest language version: {{{ASP-Core-2}}}, ver 2.03.  * Latest language version: {{{ASP-Core-2}}}, ver 2.03b.
Line 14: Line 14:
    The reference version for implementors participating in the system track of the 4th ASP Competition has been frozen to ASP-Core-2 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.
Line 28: Line 28:
 * 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.
Line 33: Line 35:
 * [[https://www.mat.unical.it/aspcomp2013/files/aspcore2validator.zip|Validator]] for ASP-Core 2.01c.  * 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]]).

ASP Standardization Activity

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

Current Status

  • 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.

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 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.

Tools

  • Validator for ASP-Core 2.01c (ver. 1.01, ver. 1.0).

ASP Competition 2013: ASPStandardization (last edited 2015-11-03 09:37:21 by FrancescoCalimeri)