welcome: please sign in
location: Diff for "MSCompetition"
Differences between revisions 2 and 3
⇤ ← Revision 2 as of 2012-05-10 10:59:51 →
Size: 417
Editor: FrancescoCalimeri
Comment:
← Revision 3 as of 2012-05-10 11:02:11 → ⇥
Size: 487
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 4: Line 4:
 * the Model and Solve (M&S) Track: open problem encoding, open language. It is open to (and strongly encourages the participation of) any kind of system based on a declarative specification paradigm;
 * the System Track: fixed, public problem encodings, written in ASP language, specified within a standard.		  * the '''Model and Solve (M&S) Track''': ''Open problem encodings, open language(s)''. It is open to (and strongly encourages the participation of) any kind of system based on a declarative specification paradigm;
 * the '''System Track''': Still open to any kind of declarative system, yet on the basis of ''fixed (public) problem encodings written in standard ASP language''.

Model & Solve Competition

The Competition features two tracks:

  • the Model and Solve (M&S) Track: Open problem encodings, open language(s). It is open to (and strongly encourages the participation of) any kind of system based on a declarative specification paradigm;

  • the System Track: Still open to any kind of declarative system, yet on the basis of fixed (public) problem encodings written in standard ASP language.

Details to be announced soon.

Fifth Answer Set Programming Competition (ASPCOMP 2014): MSCompetition (last edited 2012-11-21 07:55:01 by 213-33-21-125)