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.
SUBMISSIONS
Papers must describe original research and should not exceed 15 pages
in the Springer LNCS format .
Paper submission will be handled electronically by means of the
Easychair system. All submissions will be peer-reviewed.
The submission page is available at
https://www.easychair.org/conferences/?conf=taasp2016
IMPORTANT DATES
Paper submission deadline: July 4, 2016
Author notification: July 25, 2016
Camera-ready articles due: August 8, 2016
Workshop: September 26, 2016
LOCATION
The workshop will be held in Klagenfurt, Austria, collocated with
the German Conference on Artificial Intelligence (KI) 2016.
PROCEEDINGS
(Update May 31, 2016: Add more precise information.)
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 website/ArXiv.
Therefore, it will be possible to submit to other conferences and
journals both in parallel and subsequent to TAASP 2016.
WORKSHOP CO-CHAIRS
Thomas Eiter, Vienna University of Technology, Austria
Wolfgang Faber, University of Huddersfield, United Kingdom
Stefan Woltran, Vienna University of Technology, Austria
ORGANIZATION COMMITTEE
Johannes Fichte, Vienna University of Technology, Austria
Christoph Redl, Vienna University of Technology, Austria
PROGRAM COMMITTEE
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