|
Size: 1593
Comment: Links to ParticipationRules updated
|
Size: 1449
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 13: | Line 13: |
| 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 System competition is open to systems able to parse a language in a fixed format: [https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.0.pdf|ASP-Core-2.0] |
| Line 15: | Line 15: |
| 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 [[OfficialProblemSuite|Problem Suite]] and [[BenchmarkProblems|Classification]] ); | 1. The competition is run over a selection of problems. For each problem, a corresponding fixed encoding written in {{{ASP-Core-2.0}}}, together with a set of benchmarks instances, is chosen by the organizers (see [[OfficialProblemSuite|Problem Suite]] and [[BenchmarkProblems|Classification]] ); |
| Line 17: | Line 17: |
| 1. Each participant system will be launched with its default settings on each problem instance. | 1. Each participant system will be run with default settings on each problem instance; |
| Line 21: | Line 21: |
| Detailed rules will be found in [[ParticipationRules|Rules & Scoring]]. You might want to consult [[https://www.mat.unical.it/aspcomp2013/ParticipationRules|ASPCOMP 2013]] rules. | For detailed rules and scoring consult [[ParticipationRules|Rules & Scoring]]. |
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 conditions. 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: [https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.0.pdf|ASP-Core-2.0]
The competition is run over a selection of problems. For each problem, a corresponding fixed encoding written in ASP-Core-2.0, together with a set of benchmarks instances, is chosen by the organizers (see Problem Suite and Classification );
- Each participant system will be run with default settings on each problem instance;
Syntactic special-purpose solving techniques, specialized on a per problem basis, are forbidden.
For detailed rules and scoring consult Rules & Scoring.