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 2020 will be held November 23-24, 2020 at Alpen-Adria-Universität Klagenfurt, Austria.
TAASP 2020 is the fourth workshop of its type, following 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.
Support
This workshop is supported by FWF START grant Y698, VCLA and WPI.
www.wpi.ac.at
We also acknowledge the funding by
KWF project 28472,
cms
electronics GmbH,
FunderMax GmbH,
Hirsch Armbänder
GmbH,
incubed IT GmbH,
Infineon Technologies
Austria AG,
Isovolta
AG,
Kostwein
Holding GmbH and
Privatstiftung
Kärntner Sparkasse.