TAASP 2023: TAASP 2023: Workshop on Trends and Applications of Answer Set Programming Potsdam, Germany, November 20-21, 2023 |
Conference website | http://www.kr.tuwien.ac.at/events/taasp23/index.html |
Submission link | https://easychair.org/conferences/?conf=taasp2023 |
Submission deadline | October 2, 2023 |
=======================================================================
CALL FOR PAPERS
TAASP 2023
Workshop on Trends and Applications of Answer Set Programming
November 20-21, 2023
http://www.kr.tuwien.ac.at/events/taasp23/
=======================================================================
AIMS AND SCOPE
Answer set programming (ASP) is a widely used declarative programming paradigm based on the stable-model semantics. Over the years, the formalism has been extended with new language elements, advanced evaluation techniques have been developed, and efficient and expressive systems have been realized. These advancements turned ASP into a rich modeling language that was successfully applied to various tasks in artificial intelligence and beyond, including combinatorial problems and knowledge-intense tasks. Driven by the needs of applications, ongoing research in the field comprises, for instance, the integration with other paradigms (such as constraint programming), distributed computation, temporal and stream reasoning. These developments aim at the ultimate goal of equipping ASP with the features needed for realizing modern information systems. This workshop focuses on recent trends in the area of ASP, including novel techniques for the evaluation of ASP programs, extensions of the formalism, integration with other formalisms, advancements of systems, and benchmark suites. Furthermore, discussions of applications of ASP and its extensions in AI and industry are welcome.
SUBMISSIONS
We welcome two categories of submissions:
- full papers presenting original research (at most 15 pages plus references and optional appendix), and
- extended abstracts of already published or preliminary research (at most 2 pages plus references and optional appendix).
All submissions should be in the Springer LNCS format:
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
Paper submission will be handled electronically by means of the Easychair system. All submissions will be peer-reviewed. The submission page is available here:
https://easychair.org/conferences/?conf=taasp2023
IMPORTANT DATES
- Paper submission deadline:
October 2, 2023October 6, 2023 - Author notification:
October 30, 2023November 6, 2023 - Camera-ready articles due: November 13, 2023
- Workshop: November 20-21, 2023
LOCATION
The workshop will be held at Universitaet Potsdam, Germany.
PROCEEDINGS
TAASP 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 on the workshop website. Therefore, it will be possible to submit to other conferences and journals both in parallel and subsequent to TAASP 2023.
PROGRAM COMMITTEE
- Ramsha Ali, Alpen-Adria-Universitaet Klagenfurt, Austria
- Mohammed El-Kholany, Alpen-Adria-Universitaet Klagenfurt, Austria
- Martin Gebser, Alpen-Adria-Universitaet Klagenfurt, Austria
- Johannes Oetsch, Technische Universitaet Wien, Austria
- Amadé Nemes, Universitaet Potsdam, Germany
- Henry Chukwunwike Otunuya, Universitaet Potsdam, Germany
- Javier Romero, Universitaet Potsdam, Germany
- Nelson Higuera Ruiz, Technische Universitaet Wien, Austria
- Zeynep G. Saribatur, Technische Universitaet Wien, Austria
- Konstantin Schekotihin, Alpen-Adria-Universitaet Klagenfurt, Austria
- Sebastian Schellhorn, Universitaet Potsdam, Germany
ORGANIZATION COMMITTEE
- Arvid Becker, Universitaet Potsdam, Germany
- Tobias Geibinger, Technische Universitaet Wien, Austria
- Alice Tarzariol, Alpen-Adria-Universitaet Klagenfurt, Austria
CONTACT
- Workshop page: http://www.kr.tuwien.ac.at/events/taasp23/
- Submission page: https://easychair.org/conferences/?conf=taasp2023
- Email address: taasp2023(at)easychair.org