which will take place in the following months. The results will be presented at the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019).
This challenge is the successor of the “ASP Competitions” of previous years. We make several important changes to the competition format:
- Submission of Encoding+Solver to permit participants to use custom solvers and encodings tuned to certain solvers (submitting standard solvers is certainly intended).
- We call it Challenge, not Competition, to emphasize that we give value to various aspects of solutions. The evaluation will not be based purely on reasoning efficiency.
- We will use a platform for continuous submission and evaluation of submissions, such that participants can continously see their standing in the competition, not only in the final workshop that will take place at LPNMR.