Workshop Report: TAASP 2018

Workshop Report: Trends and Applications of Answer Set Programming  (TAASP) 2018

By Stefan Woltran, TUWIEN, Austria

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 2018 was the second edition of this workshop and was held during November 19-20, 2018, at Technische Universität Wien, Vienna, Austria. The first edition of TAASP had been organized as a workshop affiliated with the Joint German/Austrian Conference on Artificial Intelligence (KI) in Klagenfurt in 2016.

The workshop is devoted to recent trends in the area of Answer Set Programming (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.

TAASP’18 had an exciting programme with 15 regular presentations covering topics such as temporal aspects, complexity of ASP, applications and language extensions. In addition to the regular presentations, the technical program included two invited talks:

Thomas Eiter introducing the workshop
  • Vladimir Lifschitz. How We Studied the Input Language of gringo.
  • Gerhard Brewka. Strong Inconsistency.

The entire programme and all papers of the TAASP 2018 workshop can be found under
http://www.kr.tuwien.ac.at/events/taasp18/prog.html

A big thanks goes to the organisation team: Michael Morak, Philipp Wanko, Markus Hecher, and Peter Schüller.

Future editions of TAASP will be held annually, with TAASP 2019 being planned for November 2019 in Potsdam, Germany.