|
Size: 5434
Comment:
|
Size: 3222
Comment: add output format
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| = Fifth Answer Set Programming Competition - 2014 = | = Fifth Answer Set Programming Competition (ASPCOMP 2014) = |
| Line 3: | Line 4: |
| The Fifth Answer Set Programming Competition will take place as one of the events within the [[http://vsl2014.at/olympics/|FLoC Olympic Games]], held in Vienna in the context of the [[http://vsl2014.at/|Vienna Summer of Logic 2014]]. | The Fifth Answer Set Programming Competition (ASPCOMP 2014) will take place as one of the events within the [[http://vsl2014.at/olympics/|FLoC Olympic Games]], held in Vienna in the context of the [[http://vsl2014.at/|Vienna Summer of Logic 2014]]. The event is officially affiliated with the [[http://users.ugent.be/~tschrijv/ICLP2014/|30th International Conference on Logic Programming]] (ICLP 2014). |
| Line 8: | Line 9: |
| Line 11: | Line 11: |
| Made available soon. | '''NOTE''': Preliminary schedule, subject to further modification. Please check this site out often for news and updates. * March 1st, 2014: Participant registration opens * March 31st, 2014: Participant registration closes (new) * April 15th, 2014: The competition starts (extended) * July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd) == Call for Participation == * Please find the official Call for Participation [[attachment:aspcomp2014-cfp.txt|here]]. |
| Line 14: | Line 21: |
| * 14 March, 2014: Important dates updated * 20 February, 2014: Application directions now available, registration opens March 1st, 2014. * 11 February, 2014: Call for Participation updated. Please check it out! * 03 February, 2014: '''Announcement''' - ASPCOMP 2014 is officially affiliated with the [[http://users.ugent.be/~tschrijv/ICLP2014/|30th International Conference on Logic Programming]] (ICLP 2014). * 03 February, 2014: Call for participation updated. * 13 January, 2014: Preliminary Call for Participation out. |
|
| Line 15: | Line 28: |
| * January 2014. Preliminary Call for Participation out (see below). {{{ ======================================================================== ================================================================== |
== Application Procedure == Participants willing to apply for the competition can send an email (starting from March 1st, 2014) to this [[mailto:aspcomp2014@mat.unical.it|address]] specifying: * the name of their team; * names and affiliation of the team members (institution, research group); * name and number of the systems the team will submit; * please indicate whether a system is an updated version of a solution submitted to the 2013 edition; * specific software requirements: e.g. linux packages/libraries needed to run your system. * language support: e.g. my submission supports normal logic programs and aggregates, it does not support weak constraints and function symbols... and so on. |
| Line 20: | Line 37: |
| 5th Answer Set Programming Competition 2014 | Applicants will get a private e-mail with the instructions for submitting systems and login credentials for accessing our Competition server through ssh. |
| Line 22: | Line 39: |
| Call for Participant Systems | The competition will run on a Debian Linux server (64bit kernel) running on Intel Xeon X5365 Processors with 4096KB of cache and 16GB of RAM. (please note that 16GB is the total amount of memory available in the hardware but it is not the memory limit used for the competition) |
| Line 24: | Line 42: |
| 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 |
Detailed submission instructions, competition rules, hardware and software settings will be published soon. Pease check this page frequently. |
| Line 128: | Line 45: |
| For further information and submission instructions please visit the competition web site |
== Rules and Scoring == To be updated. |
| Line 131: | Line 48: |
| http://aspcomp2014.mat.unical.it/ | === Output format === Output format should not change with respect to ASPCOMP 2013. Please find further info [[https://www.mat.unical.it/aspcomp2013/files/aspoutput.txt|here]]. |
| Line 133: | Line 51: |
| or contact us by email: aspcomp2014@mat.unical.it }}} |
== Contacts == * [[OrganizingCommittee|Organizing Committee and Contacts]] |
Fifth Answer Set Programming Competition (ASPCOMP 2014)
The Fifth Answer Set Programming Competition (ASPCOMP 2014) 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. The event is officially affiliated with the 30th International Conference on Logic Programming (ICLP 2014).
Contents
Important Dates
NOTE: Preliminary schedule, subject to further modification. Please check this site out often for news and updates.
- March 1st, 2014: Participant registration opens
- March 31st, 2014: Participant registration closes (new)
- April 15th, 2014: The competition starts (extended)
- July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd)
Call for Participation
Please find the official Call for Participation here.
News and updates
- 14 March, 2014: Important dates updated
- 20 February, 2014: Application directions now available, registration opens March 1st, 2014.
- 11 February, 2014: Call for Participation updated. Please check it out!
03 February, 2014: Announcement - ASPCOMP 2014 is officially affiliated with the 30th International Conference on Logic Programming (ICLP 2014).
- 03 February, 2014: Call for participation updated.
- 13 January, 2014: Preliminary Call for Participation out.
Application Procedure
Participants willing to apply for the competition can send an email (starting from March 1st, 2014) to this address specifying:
- the name of their team;
- names and affiliation of the team members (institution, research group);
- name and number of the systems the team will submit;
- please indicate whether a system is an updated version of a solution submitted to the 2013 edition;
- specific software requirements: e.g. linux packages/libraries needed to run your system.
- language support: e.g. my submission supports normal logic programs and aggregates, it does not support weak constraints and function symbols... and so on.
Applicants will get a private e-mail with the instructions for submitting systems and login credentials for accessing our Competition server through ssh.
The competition will run on a Debian Linux server (64bit kernel) running on Intel Xeon X5365 Processors with 4096KB of cache and 16GB of RAM. (please note that 16GB is the total amount of memory available in the hardware but it is not the memory limit used for the competition)
Detailed submission instructions, competition rules, hardware and software settings will be published soon. Pease check this page frequently.
Rules and Scoring
To be updated.
Output format
Output format should not change with respect to ASPCOMP 2013. Please find further info here.