<div dir="ltr"><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><span style="font-size:13px">Apologies if you receive multiple copies of this email. Please distribute to interested parties.</span><br style="font-size:13px"><span style="font-size:13px">==============================</span><span style="font-size:13px">==============================</span><span style="font-size:13px">===========</span><br style="font-size:13px"><span style="font-size:13px">The <b>submission</b> deadline of the 1st Workshop on Trends and Applications of Answer Set </span><span style="font-size:12.8px"></span><div style="font-size:13px">Programming (<b>TAASP 2016</b>) at KI 2016 was extended to <b>July 4, 2016</b>. <div><br><br>TAASP is a non-archival venue and there will be no published proceedings. <div>However, informal proceedings will be provided and the papers will be posted informally </div><div>website/ArXiv. Therefore, it will be possible to submit to other conferences and journals</div><div>both in parallel and subsequent to TAASP 2016.</div><div><br></div><div>=======================================================================<br>                          CALL FOR PAPERS<br>                              TAASP 2016<br>      Workshop on Trends and Applications of Answer Set Programming<br>                         September 26th, 2016<br> <br> Affiliated with the German Conference on Artificial Intelligence 2016<br>                           Klagenfurt, Austria<br>                          September 26-30, 2016<br>=======================================================================<br>AIMS AND SCOPE<br> Answer set programming (ASP) is a widely used declarative programming<br> paradigm based on the stable-model semantics. Over the years,<br> the formalism has been extended with new language elements, advanced<br> evaluation techniques have been developed, and efficient and expressive<br> systems have been realized. These advancements turned ASP into a rich<br> modeling language which was successfully applied to various tasks in<br> artificial intelligence and beyond, including combinatorial problems<br> and knowledge-intense tasks. Driven by the needs of applications,<br> ongoing research in the field comprises, for instance, the integration<br> with other paradigms (such as constraint programming), distributed<br> computation, temporal and stream reasoning. These developments aim at<br> the ultimate goal of equipping ASP with the features needed for<br> realizing modern information systems. This workshop focuses on recent<br> trends in the area of ASP, including novel techniques for the<br> evaluation of ASP programs, extensions of the formalism, integration<br> with other formalisms, and advancements of systems. Furthermore,<br> discussions of applications of ASP and its extensions in AI and<br> industry are welcome.<br> <br>TOPICS<br> Topics of interests include (but are not limited to):<br> - Evaluation algorithms and techniques for ASP.<br> - Grounding including lazy-grounding and grounding-on-the-fly.<br> - Integration of ASP with constraint programming.<br> - Integration of ASP with description logics.<br> - Integration of ASP with external computations.<br> - Integration of ASP with other declarative formalisms.<br> - Integration of ASP with procedural languages.<br> - Other language extensions to ASP.<br> - ASP and argumentation.<br> - ASP and multi-agent systems.<br> - ASP and multi-context systems.<br> - Stream and temporal reasoning based on ASP.<br> - Modularity techniques in ASP.<br> - Advancements of ASP systems.<br> - Evaluation and comparison of ASP to other paradigms.<br> - Applications of ASP and its extensions in AI.<br> - Applications of ASP and its extensions in other fields and industry.<br>SUBMISSIONS<br> Papers must describe original research and should not exceed 15 pages<br> in the Springer LNCS format .<br> Paper submission will be handled electronically by means of the<br> Easychair system. All submissions will be peer-reviewed.<br> The submission page is available at<br> <a href="https://www.easychair.org/conferences/?conf=taasp2016" target="_blank">https://www.easychair.org/conferences/?conf=taasp2016</a><br>IMPORTANT DATES<br> Paper submission deadline:            July 4, 2016<br> Author notification:                          July 25, 2016<br> Camera-ready articles due:            August 8, 2016<br> Workshop:                                      September 26, 2016<br>LOCATION<br> The workshop will be held in Klagenfurt, Austria, collocated with<br> the German Conference on Artificial Intelligence (KI) 2016.<br>PROCEEDINGS<br> Accepted papers will be made available online.<br>WORKSHOP CO-CHAIRS<br> Thomas Eiter, TU Wien, Austria<br> Wolfgang Faber, University of Huddersfield, United Kingdom<br> Stefan Woltran, TU Wien, Austria<br>ORGANIZATION COMMITTEE<br> Johannes Fichte, TU Wien, Austria<br> Christoph Redl, TU Wien, Austria<br> <br>PROGRAM COMMITTEE<br> Mutsunori Barbara, Kobe University, Japan<br> Bart Bogaerts, Aalto University, Finland<br> Pedro Cabalar, Corunna University, Spain<br> Marc Denecker, University of Leuvenm, Belgium<br> Cristina Feier, University of Bremen, Germany<br> Sarah Alice Gaggl, TU Dresden, Germany<br> Antti Hyvärinen, Lugano, Switzerland<br> Daniela Inclezan, Miami University, USA<br> Joao Leite, Universidade Nova de Lisboa, Portugal<br> Vladimir Lifschitz, University of Texas at Austin, USA<br> Marco Maratea, DIBRIS - University of Genova, Italy<br> Michael Morak, TU Wien, Austria<br> Emilia Oikarinen, Finnish Institute of Occupational Health, Finland<br> Andreas Pfandler, TU Wien, Austria<br> Mirek Truszczynski, University of Kentucky, USA<br> Jörg Pührer, Leipzig University, Germany<br> Francesco Ricca, University of Calabria, Italy<br> Claudia Schulz, Imperial College London, UK<br> Orkunt Sabuncu, University of Potsdam, Germany<br> Peter Schüller, Marmara University, Istanbul, Turkey<br> Daria Stepanova, Max Planck Institute for Informatics, Germany<br> Johannes Peter Wallner, University of Helsinki, Finland<br> Antonius Weinzierl, TU Wien, Austria<br> Fangkai Yang, University of Texas at Austin, USA</div></div></div></div></div></div></div></div></div></div></div>