welcome: please sign in
location: Diff for "FrontPage"
Differences between revisions 49 and 50
Revision 49 as of 2014-01-09 15:39:16
Size: 5670
Comment: add new alert.
Revision 50 as of 2014-01-09 15:43:13
Size: 5434
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
= Fourth (Open) Answer Set Programming Competition - 2013 = = Fifth Answer Set Programming Competition - 2014 =
Line 8: Line 8:
== Current Status ==
 
 * Oct 8th, 2013. Added some missing data to [[https://www.mat.unical.it/aspcomp2013/files/links/auxscripts/reporting/|detailed results]]
 * Oct 5th, 2013. Detailed results [[https://www.mat.unical.it/aspcomp2013/files/links/auxscripts/reporting/|available]].
 * Sep 19th, 2013. Results of the competition are announced! Here are the Announcement Talk [[http://www.mat.unical.it/ianni/storage/aspcomp-2013-lpnmrtalk.pdf|Slides]]. Per benchmark results to be published as soon as possible.
Line 16: Line 11:

 * Problem selection stage:
  * Aug 31th, 2012 - Problem submission deadline.
 * Competition stage:
  * Mar 16th, 2013, 23:59 PST - '''Model & Solve''' participant submission deadline
  * Mar 16th, 2013, 23:59 PST - '''System''' participant submission deadline
  * Mar 17th, 2013 - The Competition runs!
Made available soon.
Line 26: Line 15:
  * September 6th, 2013 - Full participant packages, featuring binaries, scripts and settings, are available. Check it out at [[Participants]] page.
  * Aug 7th, 2013. The full instance set is now [[https://www.mat.unical.it/ianni/aspcomp2013instances/|available]]
  * Apr 9th, 2013: the numbers chosen as starting seed are 15-35-38-44-48, as of the [[https://www.national-lottery.co.uk/player/euromillions/results/prizeBreakdown.ftl?drawNumber=579&drawSequence=0|Euromillion Lottery]] of Tuesday April 9th 2013.
 * January 2014. Preliminary Call for Participation out (see below).
{{{
========================================================================
   ==================================================================
Line 30: Line 20:
 * Mar 2nd, 2013:
   * A small fix to the ASP-Core-2 Validator (see the [[ASPStandardization|ASP Standardization]] page)
 * Feb 24th, 2013:
   * Added some technical details to the Instance Selection and Scoring document ([[https://www.mat.unical.it/aspcomp2013/files/scoringdetails2013.pdf|v2.2]])
   * Published instance hash values [[OfficialProblemSuite|here]].
 * Feb 16th, 2013:
   * Participant package instructions [[https://www.mat.unical.it/aspcomp2013/ParticipantSubmission|available]]
   * Update to the scoring system [[http://www.mat.unical.it/aspcomp2013/files/scoringdetails2013.pdf|document]]
 * Opened the [[ASPStandardization|ASP Standardization]] activity page.
 * Dec 6th, 2012 - The ASP-Core-2 validator is [[ASPStandardization|available]]
 * Dec 4th, 2012 - Small fixes to [[ASPStandardization|ASP-Core-2 Specification]]
 * The [[CallforParticipation|Call for participation]] is out!
 * Nov 16th, 2012 - [[ASPStandardization|ASP-Core-2 Specification]] is out!
 * May 11th, 2012 - Call for Benchmarks [[BenchmarkSubmission|available]].
 * May 7th, 2012 - Webpage started.
              5th Answer Set Programming Competition 2014
Line 46: Line 22:
  == What is the Open ASP Competition? ==                      Call for Participant Systems
Line 49: Line 24:
The Open ASP Competition has two tracks: the [[MSCompetition|Model & Solve Track]] and the [[SystemCompetition|System Track]].      Aalto University, University of Calabria, University of Genova
Line 51: Line 26:
 * In the '''Model & Solve Track''', a number of problem domain specifications are given, together with a set of instances thereof. All you need to participate is a system able to model using a declarative specification paradigm of any sort, and some manpower for preparing benchmark solutions. Winners are awarded on the basis of their time performance and, for optimization problems, on the basis of the quality of their solutions. Note that we are more interested at comparing systems and their performance on standard problems, rather than measuring the modelling 'trickery' of participants: this is why you will have several months for preparing declarative specifications and your system, so to make affordable the burden of modelling a number of problems, also for small teams. Problem specification can be freely exchanged among participants whenever they use the same input language.                          Spring/Summer 2014
Line 53: Line 28:
 * The '''System Track''' is reserved to Answer Set Programming systems, able to cope with a fixed problem specification language. The 4th ASP Competition will be held on an extension of ASP-Core called [[ASPStandardization|ASP-Core-2]].                    http://aspcomp2014.mat.unical.it/
Line 55: Line 30:
To have an idea of the type of problems involved and what we measure on competitors, you might want to visit the [[OfficialProblemSuite|official problem list]] and [[ParticipationRules|Rules & Scoring system]].                       aspcomp2014@mat.unical.it
Line 57: Line 32:
<<Anchor(detailed)>>
== Detailed Information ==
 * [[BenchmarkSubmission|Call for benchmarks and benchmark Submission procedure]]
 * [[CallforParticipation|Call for participation]]
 * Competition Categories
  The competition features ''two distinct tracks'':
  * [[MSCompetition|Model & Solve Competition]]
  * [[SystemCompetition|System Competition]]
 * [[ParticipationRules|Detailed Scoring and Participation Rules]]
 * [[ParticipantSubmission|Participant Submission procedure]]
 * [[NewsUpdates|News and Updates]]
 * [[ToolsUtilities|Tools and Utilities]]
 * Former competitions:
   * [[https://www.mat.unical.it/aspcomp2011|Third]] ASP Competition
   * [[http://dtai.cs.kuleuven.be/events/ASP-competition/index.shtml|Second]] ASP Competition
   * [[http://asparagus.cs.uni-potsdam.de/contest/|First]] ASP Competition
   ==================================================================

 Special edition of the ASP competition series -system track- part of
 the Olympic Games of the Vienna Summer of Logic 2014

 == Important Dates ==

  * March 1st, 2014 : Participant registration opens

  * March 31st, 2014: The competition starts

  * July 22nd, 2014 : Awards are presented at FLoC

========================================================================

Answer Set Programming (ASP) is a well-established paradigm of
declarative programming with close relationship to other declarative
modeling paradigms and languages, such as SAT Modulo Theories,
Constraint Handling Rules, FO(.), PDDL, CASC, and many others.

The ASP Competition is usually a biannual event for evaluating
declarative knowledge representation systems on hard and demanding AI
problems. Past ASP Competition editions were held at the University of
Potsdam (Germany) in 2007, the University of Leuven (Belgium) in 2009,
the University of Calabria (Italy) in 2011 and the Vienna University of
Technology (Austria) in 2013.

In order to join the Vienna Summer of Logic, which is expected to be
the largest event in the history of logic, we this year depart from the
"usual" timeline, and the 5th ASP Competition will be run in the first
half of 2014 jointly at Aalto University (Finland), the University of
Calabria (Italy) and the University of Genova (Italy). Another reason
for having an event only one year after the 4th ASP Competition is that
in 2013 the new ASP-Core-2 language was introduced, but at that time it
was not fully supported by most participant solvers, and/or the
submitters did not have sufficient time to support new language
features in a completely satisfactory way. Thus, an early event can
be an opportunity to push the usage of the new standard, and draw a
more complete picture about the approaches that can efficiently solve
problems with various features.

== Call for Participant Systems ==

Participants of the Answer Set Programming Competition will compete on
a selected collection of benchmark problems, taken from a variety of
benchmark problem domains as well as real-world applications. These
include, but are not limited to:

 * Classic and application-oriented graph problems
 * Scheduling, Timetabling, and other resource allocation problems
 * Sequential and Temporal Planning
 * Combinatorial Optimization problems
 * Deductive Database tasks on large data-sets
 * Puzzles and Combinatorics
 * Ontology reasoning
 * Automated Theorem Proving and Model Checking
 * Constraint Programming problems
 * Other AI problems

The competition consists of a System Track (as called in past
competitions), which compares dedicated solvers on ASP benchmarks.
Participants compete with solving systems for the ASP-Core-2 language.
Some more details are given in the following:

- The benchmark domains are taken from past editions.

- Systems of the 2013 edition will be considered.
(Developers will have the chance of submitting up-to-date versions of
 their solvers.)

- Submissions of new solvers are encouraged.

The competition will include sub-tracks not only based on "complexity"
of problems (as in past events), but also considering language
features. Our aim is to clearly indicate what (combinations of)
techniques work for a particular (set of) feature(s), and also widening
the participation to teams that cannot (yet) support the full standard.

We welcome the submission of parallel and portfolio systems exploiting
multiple cores or multiple algorithms for solving the given instances.
These solvers will have dedicated tracks, assuming a sufficient number
of submissions in each track. Of course, we also welcome the
submission of any kind of solvers, e.g., SAT solvers, SMT solvers, CP
systems, FOL theorem provers, Description Logics reasoners, Planning
reasoners, or any other that can be adapted/applied to the evaluation
of logic programs encoded in ASP-Core-2.

== Important Dates ==

 * March 1st, 2014 : Participant registration opens

 * March 31st, 2014: The competition starts

 * July 22nd, 2014 : Awards are presented at FLoC
Line 75: Line 128:
You might want to [[https://www.mat.unical.it/aspcomp2013/FrontPage?action=subscribe|subscribe]] this page
for getting e-mail notifications about news (needs [[https://www.mat.unical.it/aspcomp2013/FrontPage?action=login|opening]] an user account).
For further information and submission instructions please visit the
competition web site
Line 78: Line 131:
   http://aspcomp2014.mat.unical.it/
Line 79: Line 133:
== Contacts ==
 * [[OrganizingCommittee|Organizing Committee]]
 * [[mailto:aspcomp2013_REPLACE_WITH_AT_kr.tuwien.ac.at|Contact the competition organizers]].
or contact us by email: aspcomp2014@mat.unical.it
}}}

Fifth Answer Set Programming Competition - 2014

The Fifth Answer Set Programming Competition will take place as one of the events within the FLoC Olympic Games, held in Vienna in the context of the Vienna Summer of Logic 2014.

Important Dates

Made available soon.

News and updates

  • January 2014. Preliminary Call for Participation out (see below).

========================================================================
   ==================================================================

              5th Answer Set Programming Competition 2014

                     Call for Participant Systems

     Aalto University, University of Calabria, University of Genova

                         Spring/Summer 2014

                   http://aspcomp2014.mat.unical.it/

                      aspcomp2014@mat.unical.it

   ==================================================================

 Special edition of the ASP competition series -system track- part of
 the Olympic Games of the Vienna Summer of Logic 2014

 == Important Dates ==

  * March 1st, 2014 : Participant registration opens

  * March 31st, 2014: The competition starts

  * July 22nd, 2014 : Awards are presented at FLoC

========================================================================

Answer Set Programming (ASP) is a well-established paradigm of
declarative programming with close relationship to other declarative
modeling paradigms and languages, such as SAT Modulo Theories,
Constraint Handling Rules, FO(.), PDDL, CASC, and many others.

The ASP Competition is usually a biannual event for evaluating
declarative knowledge representation systems on hard and demanding AI
problems.  Past ASP Competition editions were held at the University of
Potsdam (Germany) in 2007, the University of Leuven (Belgium) in 2009,
the University of Calabria (Italy) in 2011 and the Vienna University of
Technology (Austria) in 2013.

In order to join the Vienna Summer of Logic, which is expected to be
the largest event in the history of logic, we this year depart from the
"usual" timeline, and the 5th ASP Competition will be run in the first
half of 2014 jointly at Aalto University (Finland), the University of
Calabria (Italy) and the University of Genova (Italy).  Another reason
for having an event only one year after the 4th ASP Competition is that
in 2013 the new ASP-Core-2 language was introduced, but at that time it
was not fully supported by most participant solvers, and/or the
submitters did not have sufficient time to support new language
features in a completely satisfactory way.  Thus, an early event can
be an opportunity to push the usage of the new standard, and draw a
more complete picture about the approaches that can efficiently solve
problems with various features.

== Call for Participant Systems ==

Participants of the Answer Set Programming Competition will compete on
a selected collection of benchmark problems, taken from a variety of
benchmark problem domains as well as real-world applications.  These
include, but are not limited to:

 * Classic and application-oriented graph problems
 * Scheduling, Timetabling, and other resource allocation problems
 * Sequential and Temporal Planning
 * Combinatorial Optimization problems
 * Deductive Database tasks on large data-sets
 * Puzzles and Combinatorics
 * Ontology reasoning
 * Automated Theorem Proving and Model Checking
 * Constraint Programming problems
 * Other AI problems

The competition consists of a System Track (as called in past
competitions), which compares dedicated solvers on ASP benchmarks.
Participants compete with solving systems for the ASP-Core-2 language.
Some more details are given in the following:

- The benchmark domains are taken from past editions.

- Systems of the 2013 edition will be considered.
(Developers will have the chance of submitting up-to-date versions of
 their solvers.)

- Submissions of new solvers are encouraged.

The competition will include sub-tracks not only based on "complexity"
of problems (as in past events), but also considering language
features.  Our aim is to clearly indicate what (combinations of)
techniques work for a particular (set of) feature(s), and also widening
the participation to teams that cannot (yet) support the full standard.

We welcome the submission of parallel and portfolio systems exploiting
multiple cores or multiple algorithms for solving the given instances.
These solvers will have dedicated tracks, assuming a sufficient number
of submissions in each track.  Of course, we also welcome the
submission of any kind of solvers, e.g., SAT solvers, SMT solvers, CP
systems, FOL theorem provers, Description Logics reasoners, Planning
reasoners, or any other that can be adapted/applied to the evaluation
of logic programs encoded in ASP-Core-2.

== Important Dates ==

 * March 1st, 2014 : Participant registration opens

 * March 31st, 2014: The competition starts

 * July 22nd, 2014 : Awards are presented at FLoC


For further information and submission instructions please visit the
competition web site

                 http://aspcomp2014.mat.unical.it/

or contact us by email: aspcomp2014@mat.unical.it

Fifth Answer Set Programming Competition (ASPCOMP 2014): FrontPage (last edited 2015-08-06 10:02:44 by FrancescoCalimeri)