posted by user: sadegh_rk || 2307 views || tracked by 2 users: [display]

TAASP 2023 : Workshop on Trends and Applications of Answer Set Programming

FacebookTwitterLinkedInGoogle

Link: http://www.kr.tuwien.ac.at/events/taasp22/index.html
 
When Nov 28, 2022 - Nov 29, 2022
Where Vienna, Austria
Submission Deadline Oct 10, 2022
Notification Due Nov 4, 2022
Final Version Due Nov 18, 2022
Categories    artificial intelligence   formal methods   programming languages
 

Call For Papers

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=taasp2022

IMPORTANT DATES
Paper submission deadline: October 10, 2022
Author notification: November 4, 2022
Camera-ready articles due: November 18, 2022
Workshop: November 28-29, 2022

LOCATION
The workshop will be held at TU Wien, Vienna, Austria.

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 2022.

PROGRAM COMMITTEE
Ramsha Ali, Alpen-Adria-Universität Klagenfurt, Austria
Mohammed El-Kholany, Alpen-Adria-Universität Klagenfurt, Austria
Johannes Fichte, Technische Universität Wien, Austria
Markus Hecher, Technische Universität Wien, Austria
Benjamin Kovács, Alpen-Adria-Universität Klagenfurt, Austria
Philipp Obermeier, Universität Potsdam, Germany
Johannes Oetsch, Technische Universität Wien, Austria
Javier Romero, Universität Potsdam, Germany
Sebastian Schellhorn, Universität Potsdam, Germany
Pierre Tassel, Alpen-Adria-Universität Klagenfurt, Austria
Philipp Wanko, Universität Potsdam, Germany
Antonius Weinzierl, Technische Universität Wien, Austria

ORGANIZATION COMMITTEE
Alice Tarzariol, Alpen-Adria-Universität Klagenfurt, Austria
François Laferrière, Universität Potsdam, Germany
Zeynep G. Saribatur, Technische Universität Wien, Austria

Related Resources

OOPSLA 2025 Round 2 2025   Conference on Object-Oriented Programming Systems, Languages, and Applications (Round 2)
IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
ESCIM 2025   16th European Symposium on Computational Intelligence and Mathematics
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
TFP 2025   25th International Symposium on Trends in Functional Programming
AMLDS 2025   IEEE--2025 International Conference on Advanced Machine Learning and Data Science
PerAnsSumm Shared Task @ CL4Health NAACL 2025   Shared Task on Perspective-aware Healthcare Answer Summarization at CL4Health Workshop [NAACL 2025]
IJCNN 2025   International Joint Conference on Neural Networks
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
IEEE-Ei/Scopus-CNIOT 2025   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex