=============================================================================== CALL FOR PAPERS TAASP 2016 Workshop on Trends and Applications of Answer Set Programming September 26th, 2016 Affiliated with the German Conference on Artificial Intelligence 2016 Klagenfurt, Austria September 26-30, 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, 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 http://www.springeronline.com/lncs/. 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 Hyvaerinen, 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 Joerg Puehrer, Leipzig University, Germany Francesco Ricca, University of Calabria, Italy Claudia Schulz, Imperial College London, UK Orkunt Sabuncu, University of Potsdam, Germany Peter Schueller, 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