|
Size: 58
Comment:
|
Size: 1547
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| = System Competition = | = System Competition (System Track) = |
| Line 3: | Line 3: |
| Details to be announced soon. | === Aims === The regulations of the System Competition are conceived taking into account the following considerations: 1. '''Language standardization'''. The System track is held on the basis of a standard ASP language, in order to encourage merging of ASP dialects. 1. '''Comparison in fixed condition'''. In the System track problem encodings are chosen by the organizer, and systems cannot be configured on a per benchmark domain basis, in order to compare the off-the-shelf performance of participants. === Rules outline === Given the above considerations, the System competition are held on the basis of the following rules guidelines: 1. The System competition is open to systems able to parse a language in a fixed format (the draft of the standard language temporarily called {{{ASP2013}}} will be available in the late summer of 2012). 1. The competition is run over a selection of problems. For each problem, a corresponding, fixed encoding written in {{{ASP2013}, together with a set of benchmarks instances, is chosen by the organizers (see [[Benchmark problems classification]]); 1. Each participant system will be launched with its default settings on each problem instance. 1. ''Syntactic'' special-purpose solving techniques, specialized on a per problem basis, are forbidden. Detailed rules will be found in [[ParticipationRules|Rules & Scoring]]. You might want to consult [[https://www.mat.unical.it/aspcomp2011/ParticipationRules|ASPCOMP 2011]] rules. |
System Competition (System Track)
Aims
The regulations of the System Competition are conceived taking into account the following considerations:
Language standardization. The System track is held on the basis of a standard ASP language, in order to encourage merging of ASP dialects.
Comparison in fixed condition. In the System track problem encodings are chosen by the organizer, and systems cannot be configured on a per benchmark domain basis, in order to compare the off-the-shelf performance of participants.
Rules outline
Given the above considerations, the System competition are held on the basis of the following rules guidelines:
The System competition is open to systems able to parse a language in a fixed format (the draft of the standard language temporarily called ASP2013 will be available in the late summer of 2012).
The competition is run over a selection of problems. For each problem, a corresponding, fixed encoding written in {{{ASP2013}, together with a set of benchmarks instances, is chosen by the organizers (see Benchmark problems classification);
- Each participant system will be launched with its default settings on each problem instance.
Syntactic special-purpose solving techniques, specialized on a per problem basis, are forbidden.
Detailed rules will be found in Rules & Scoring. You might want to consult ASPCOMP 2011 rules.