TAASP 2023

Contact: taasp2023<at>easychair.org

Tools: Print page


TAASP 2023

Workshop on Trends and Applications of Answer Set Programming

The TAASP workshop series is jointly organized by research groups at Alpen-Adria-Universität Klagenfurt, Technische Universität Wien, and Universität Potsdam.

TAASP 2023 will be held on November 20-21, 2023 at Universität Potsdam, Germany.

TAASP 2023 is the sixth workshop of its type, following TAASP 2022, TAASP 2020, TAASP 2019, TAASP 2018, TAASP 2016.

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

This workshop is supported by:


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer. Datenschutzerklärung.