=============================================================================== CALL FOR PAPERS WAC 2019 Workshop on the ASP Challenge 2019 June (3rd or) 4th (1 day), 2019 Affiliated with the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019) Philadelphia, Pennsylvania, USA June 3-5, 2019
===============================================================================
AIMS AND SCOPE The ASP Challenge 2019 invites companies to provide descriptions and instances of industrial problems from areas that are traditionally of interest to the community of answer set programming (ASP). The participants of the challenge are then called to solve these problems by means of ASP and extensions thereof. To this end, the participants may use any available ASP system to solve the problem at hand. The solutions will be evaluated with respect to efficiency using the problem instances from the companies. Additionally, a committee may dignify solutions that are conceptually interesting. This workshop aims at collecting the solutions to the problems in form of short papers. On the one hand, this gives the participants the possibility to present and archive their results, and on the other hand it documents the solutions for the community.
TOPICS The topics of the workshop are industrial problems and their solutions based on ASP and extensions in the areas of the ASP Challenge, which are: - Decision problems (answer set programming with search) - Optimization problems (answer set programming with optimization) - Problems involving continuous domains (e.g. constraint answer set programming) - Problems with grounding bottleneck - Answer set programming and big data (meant to be solved by querying the set of facts, which is accessible, e.g., as a database)
SUBMISSIONS Papers should not exceed 2 pages in the Springer LNCS format http://www.springeronline.com/lncs/. Paper submission will be handled electronically by means of the Easychair system. All submissions will be peer-reviewed. The submission page is available at https://www.easychair.org/conferences/?conf=wac2019
IMPORTANT DATES Paper submission deadline: April 28, 2019 Author notification: May 12, 2019 Camera-ready articles due: May 26, 2019 Workshop: June (3 or) 4 (1 day), 2019
LOCATION The workshop will be held in Philadelphia, Pennsylvania, USA, collocated with the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019).
PROCEEDINGS WAC is a non-archival venue and there will be no published proceedings. However, informal proceedings will be provided and the papers will be posted informally website/ArXiv. Therefore, it will be possible to submit to other conferences and journals both in parallel and subsequent to WAC 2019.
WORKSHOP CO-CHAIRS Carmine Dodaro, University of Genoa, Italy Christoph Redl, Vienna University of Technology, Austria Peter Schüller, Vienna University of Technology, Austria PROGRAM COMMITTEE TBA