welcome: please sign in
location: Diff for "MSCompetition"
Differences between revisions 3 and 5 (spanning 2 versions)
⇤ ← Revision 3 as of 2012-05-10 11:02:11 →
Size: 487
Editor: FrancescoCalimeri
Comment:
← Revision 5 as of 2012-05-11 09:00:15 → ⇥
Size: 1298
Editor: GiovambattistaIanni
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
= Model & Solve Competition = = Model & Solve Competition (M&S Track) =
Line 3: Line 3:
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''.		 === Aims ===
Regulations of the Model & Solve Competition are conceived in order to foster two aspects:
Line 7: Line 6:
Details to be announced soon.  1. ''Development and comparison of new expressive constructs and modeling paradigms''. The M&S Track is open to any system based on any declarative language in order to foster exchange of ideas and comparison between communities.

 1. ''Fine tuning of declarative specifications and solvers". In the M&S Track it is allowed to configure the participant system on a per benchmark domain basis.

=== Rules outline ===
In the light of the above, the Model & Solve competition is held under the following rules guidelines:

 1. The competition organizers make a set of problem specifications public, together with a set of test instances, these latter expressed in a common instance input format.

 1. Per each problem, teams are allowed to submit a solver (or a bundle thereof) specifically fine-tuned and a problem encoding for the domain at hand.

 1. Any submitted solution to a problem must be mainly based on a declarative specification language.

Detailed rules will be found in [[ParticipationRules|Rules & Scoring]]. You might want to consult [[https://www.mat.unical.it/aspcomp2011/ParticipationRules|ASPCOMP 2011]] rules.

Model & Solve Competition (M&S Track)

Aims

Regulations of the Model & Solve Competition are conceived in order to foster two aspects:

  1. Development and comparison of new expressive constructs and modeling paradigms. The M&S Track is open to any system based on any declarative language in order to foster exchange of ideas and comparison between communities.

  2. Fine tuning of declarative specifications and solvers". In the M&S Track it is allowed to configure the participant system on a per benchmark domain basis.

Rules outline

In the light of the above, the Model & Solve competition is held under the following rules guidelines:

  1. The competition organizers make a set of problem specifications public, together with a set of test instances, these latter expressed in a common instance input format.
  2. Per each problem, teams are allowed to submit a solver (or a bundle thereof) specifically fine-tuned and a problem encoding for the domain at hand.
  3. Any submitted solution to a problem must be mainly based on a declarative specification language.

Detailed rules will be found in Rules & Scoring. You might want to consult ASPCOMP 2011 rules.

ASP Competition 2013: MSCompetition (last edited 2012-11-21 07:55:01 by ThomasKrennwallner)