|
Size: 3639
Comment:
|
Size: 3612
Comment: Add some emphasis, fix itemization
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 8: | Line 8: |
| The event is open to ASP systems and *any other* system based on a declarative specification paradigm. |
The event is open to ASP systems and *any other* system based on a declarative specification paradigm. |
| Line 31: | Line 31: |
| * the Model & Solve Track invites any researcher and developer of declarative knowledge representation systems to participate in an open challenge for solving sophisticated AI problems with their tools of choice. Participants submit a solver based on an arbitrary input format and declarative specifications of the Competition's benchmark domains; |
* the '''Model & Solve Track''' invites any researcher and developer of declarative knowledge representation systems to participate in an open challenge for solving sophisticated AI problems with their tools of choice. Participants submit a solver based on an arbitrary input format and declarative specifications of the Competition's benchmark domains; |
| Line 38: | Line 33: |
| * the System Track compares dedicated answer set solvers on ASP benchmarks. Participants compete with a solver for a standard ASP language. |
* the '''System Track''' compares dedicated answer set solvers on ASP benchmarks. Participants compete with a solver for a standard ASP language. |
| Line 74: | Line 67: |
| * February 2nd, 2013: Participant registration deadline | * '''February 2nd, 2013''': Participant registration deadline |
| Line 76: | Line 69: |
| * March 1st, 2013: Participant system submission deadline | * '''March 1st, 2013''': Participant system submission deadline |
| Line 78: | Line 71: |
| * March 2nd, 2013: System freeze, the competition runs | * '''March 2nd, 2013''': System freeze, the competition runs |
| Line 80: | Line 73: |
| * September 15-19, 2013: Announcement of results and award presentation at LPNMR 2013 in Corunna, Spain |
* '''September 15-19, 2013''': Announcement of results and award presentation at LPNMR 2013 in Corunna, Spain |
Call for Participant Systems
- The event is open to ASP systems and *any other* system based on a declarative specification paradigm.
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 applicative 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
- Reasoning tasks over large propositional instances
- Constraint Programming problems
- Other AI problems
The competition consists of two independent main tracks:
the Model & Solve Track invites any researcher and developer of declarative knowledge representation systems to participate in an open challenge for solving sophisticated AI problems with their tools of choice. Participants submit a solver based on an arbitrary input format and declarative specifications of the Competition's benchmark domains;
the System Track compares dedicated answer set solvers on ASP benchmarks. Participants compete with a solver for a standard ASP language.
We encourage to submit parallel and portfolio systems exploiting multiple cores or multiple algorithms for solving the given instances.
About the Answer Set Programming Competition Series
Answer Set Programming is a well-established paradigm of declarative programming with close relationship to other declarative modelling paradigms and languages, such as SAT Modulo Theories, Constraint Handling Rules, FO(.), PDDL, CASC, and many others.
The ASP Competition is a biannual event for evaluating declarative knowledge representation systems on hard and demanding AI problems. The 4th ASP Competition will be run in the first half of 2013 jointly at the University of Calabria (Italy) and the Vienna University of Technology (Austria). The event is the sequel to the ASP Competition series, held at the University of Potsdam (Germany) in 2006-2007, at the University of Leuven (Belgium) in 2009, and at University of Calabria (Italy) in 2011. The current competition takes place in cooperation with the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), where the results will be announced.
The ASP competition is held as an open tournament. The "Model & Solve" competition track fosters the spirit of integration among communities, and is thus open to all types of solvers: ASP systems, SAT solvers, SMT solvers, CP systems, FOL theorem provers, Description Logics reasoners, planning reasoners, or any other. The "System" competition track is instead set up on a fixed language based on the answer set semantics.
Important Dates
February 2nd, 2013: Participant registration deadline
March 1st, 2013: Participant system submission deadline
March 2nd, 2013: System freeze, the competition runs
September 15-19, 2013: Announcement of results and award presentation at LPNMR 2013 in Corunna, Spain
For further information and submission instructions please visit the competition web site
or contact us by email: aspcomp2013@kr.tuwien.ac.at