welcome: please sign in
location: Diff for "ASPStandardization"
Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2012-12-10 16:09:34 →
Size: 72
Editor: GiovambattistaIanni
Comment:
← Revision 2 as of 2012-12-10 16:32:27 → ⇥
Size: 1563
Editor: GiovambattistaIanni
Comment:
Deletions are marked like this. Additions are marked like this.
Line 2: Line 2:

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

== 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 (except 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.

ASP Standardization Activity

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

== Current Status ==

  • new_2.gifASP-Core 2.01c and 2.03 are available.

  • Latest language version: ASP-Core-2, ver 2.03.

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 (except optimize statements).

  • ASP-Core-2 2.03. Addition of optimize statements as syntactic shortcuts. Simplifications and rewritings of grammar and restrictions.

Tools

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