Workshop on Trends and Applications of Answer Set Programming (TAASP)

Date, Location, Website, Submission

Date: Monday, September 26 09:00 - 17:30 CET
Room: HS 7,
Website , Submission, Program

Description

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, and advancements of systems. Furthermore, discussions of applications of ASP and its extensions in AI and industry are welcome.

Topics

Topics of interests include (but are not limited to):

  • Evaluation algorithms and techniques for ASP.
  • Grounding including lazy-grounding and grounding-on-the-fly.
  • Integration of ASP with constraint programming.
  • Integration of ASP with description logics.
  • Integration of ASP with external computations.
  • Integration of ASP with other declarative formalisms.
  • Integration of ASP with procedural languages.
  • Other language extensions to ASP.
  • ASP and argumentation.
  • ASP and multi-agent systems.
  • ASP and multi-context systems.
  • Stream and temporal reasoning based on ASP.
  • Modularity techniques in ASP.
  • Advancements of ASP systems.
  • Evaluation and comparison of ASP to other paradigms.
  • Applications of ASP and its extensions in AI.
  • Applications of ASP and its extensions in other fields and industry.

Program

Please check the program at the workshops homepage.

Chairs

Thomas Eiter, Vienna University of Technology, Austria
Wolfgang Faber, University of Huddersfield, United Kingdom
Stefan Woltran, Vienna University of Technology

Organization Committee

Johannes Fichte, Vienna University of Technology, Austria
Christoph Redl, Vienna University of Technology, Austria

Program Comittee

Mutsunori Barbara, Kobe University, Japan
Bart Bogaerts, Aalto University, Finland
Pedro Cabalar, Corunna University, Spain
Marc Denecker, University of Leuvenm, Belgium
Cristina Feier, University of Bremen, Germany
Sarah Alice Gaggl, TU Dresden, Germany
Antti Hyvärinen, Lugano, Switzerland
Daniela Inclezan, Miami University, USA
Joao Leite, Universidade Nova de Lisboa, Portugal
Vladimir Lifschitz, University of Texas at Austin, USA
Marco Maratea, DIBRIS - University of Genova, Italy
Michael Morak, Vienna University of Technology, Austria
Emilia Oikarinen, Finnish Institute of Occupational Health, Finland
Andreas Pfandler, TU Wien, Austria
Mirek Truszczynski, University of Kentucky, USA
Jörg Pührer, Leipzig University, Germany
Francesco Ricca, University of Calabria, Italy
Claudia Schulz, Imperial College London, UK
Orkunt Sabuncu, University of Potsdam, Germany
Peter Schüller, Marmara University, Istanbul, Turkey
Daria Stepanova, Max Planck Institute for Informatics, Germany
Johannes Peter Wallner, University of Helsinki, Finland
Antonius Weinzierl, Vienna University of Technology, Austria
Fangkai Yang, University of Texas at Austin, USA