[Om-announce] [logic-programming] 3rd Call for Papers: Workshop on Trends and Applications of Answer Set Programming

Christoph Redl redl at kr.tuwien.ac.at
Mon Jun 20 12:29:54 CEST 2016


Apologies if you receive multiple copies of this email. Please distribute
to interested parties.
=======================================================================
The *submission* deadline of the 1st Workshop on Trends and Applications of
Answer Set
Programming (*TAASP 2016*) at KI 2016 was extended to *July 4, 2016*.


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.

=======================================================================
                          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
 Accepted papers will be made available online.
WORKSHOP CO-CHAIRS
 Thomas Eiter, TU Wien, Austria
 Wolfgang Faber, University of Huddersfield, United Kingdom
 Stefan Woltran, TU Wien, Austria
ORGANIZATION COMMITTEE
 Johannes Fichte, TU Wien, Austria
 Christoph Redl, TU Wien, 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, TU Wien, 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, TU Wien, Austria
 Fangkai Yang, University of Texas at Austin, USA
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20160620/68c00a76/attachment-0003.html>
-------------- next part --------------
_______________________________________________
logic-programming mailing list
logic-programming at lists.picat-lang.org
http://lists.picat-lang.org/mailman/listinfo/logic-programming


More information about the Om-announce mailing list