taasp 2016

Contact: taasp16<at>kr.tuwien.ac.at

Tools: [Text Version] Print page


Call for Papers


=======================================================================
                          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 .
 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

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.