1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017) – Espoo, Finland, July 3, 2017

Answer Set Programming (ASP) is a declarative programming paradigm with close relationships to neighboring fields such as ATP, CP, FO(.), SAT, SMT, and others. Since its inception in 2007, the ASP Competition series strives to evaluate and advance the state of the art in ASP solving technology. The International Workshop on Practical Aspects of Answer Set Programming (PAoASP) addresses current developments of systems, tools, and applications in ASP and neighboring fields. To this end, it aims to bring together researchers and practitioners of declarative programming with dedicated focus on, but not limited to, recent methods and trends emerging from the ASP Competition.

The 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017) is organized in conjunction with the 7th Answer Set Programming Competition (ASPCOMP 2017) and affiliated with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017). We solicit the submission of papers on systems, tools, and applications of declarative programming methods, developed in the area of ASP and neighboring fields. In particular, we encourage submissions presenting recent developments, including work in progress.

Topics of interest include, but are not limited to:
  • Algorithm Selection and Configuration
  • Applications and Benchmarks
  • Empirical Evaluation
  • Grounding and Solving
  • Implementation Techniques
  • Parallel Systems
  • Portfolio Systems
  • Reasoning Tasks
  • Theory Solving
  • Translation Methods
Accepted papers will be published within (informal) online proceedings. Selected submissions will be invited for rapid publication in Theory and Practice of Logic Programming (TPLP).


  • June 22, 2017: Workshop program published
  • June 19, 2017: Workshop papers published
  • May 30, 2017: Accepted papers added
  • April 4, 2017: Paper submission extended
  • March 17, 2017: Paper submission opens
  • February 6, 2017: Program committee nominated
  • January 16, 2017: PAoASP 2017 website goes online

Important Dates

  • Paper submission: May 1, 2017
  • Notification of acceptance: May 22, 2017
  • Final version due: June 12, 2017
  • Workshop: July 3, 2017


Joint program with GTTV:
9:45 — 10:00
 Joint Opening of GTTV and PAoASP
10:00 — 10:20 GTTV  Bernardo Cuteri and Francesco Ricca:
 A compiler for stratified logic programs: preliminary report
10:20 — 10:40 GTTV  Bernhard Bliem, Marius Moldovan, Michael Morak and Stefan Woltran:
 The Impact of Treewidth on ASP Grounding and Solving
10:40 — 11:00 GTTV  Francesco Calimeri, Davide Fuscà, Giovambattista Ianni, Giovanni Melissari and Jessica Zangari:
 The new DLV Grounder: External Computations, Interoperability and Customizability
11:00 — 12:00 GTTV
 INVITED - Pedro Cabalar:
 Temporal logic programs with variables
12:00 — 13:30
13:40 — 14:00 PAoASP  Richard Taupe, Antonius Weinzierl and Gottfried Schenner:
 Introducing Heuristics for Lazy-Grounding ASP Solving
14:00 — 14:20 PAoASP  Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri and Jessica Zangari:
 The ASP System DLV2
14:20 — 14:40 PAoASP  Emily Leblanc and Marcello Balduccini:
 Contextual Representations of Cause via Reasoning about Actions and Change
14:40 — 15:00 PAoASP  Qinglin Zhang and Daniela Inclezan:
 An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios
15:00 — 15:30
 Coffee Break
15:30 — 15:50 PAoASP  Francesco Calimeri, Davide Fuscà, Simona Perri and Jessica Zangari:
 The ASP Instantiator I-DLV
15:50 — 16:10 PAoASP  Marcello Balduccini and Emily Leblanc:
 Information Retrieval with Actions and Change: an ASP-Based Solution
16:10 — 17:10 PAoASP
 PANEL - Giovambattista Ianni, Tomi Janhunen, Nicola Leone, Torsten Schaub and Stefan Woltran:
 On the Future of ASP Solving and Competitions

Accepted Papers


PAoASP 2017 welcomes submissions of papers up to 13 pages (including references and without appendix) in TPLP format. Paper submission is electronic through the PAoASP 2017 EasyChair site.


Workshop Chairs

  • Martin Gebser, University of Potsdam, Germany
  • Marco Maratea, University of Genoa, Italy
  • Francesco Ricca, University of Calabria, Italy

Program Committee

  • Marcello Balduccini, Drexel University, USA
  • Bart Bogaerts, KU Leuven, Belgium
  • Carmine Dodaro, University of Genova, Italy
  • Agostino Dovier, University of Udine, Italy
  • Daniela Inclezan, Miami University, USA
  • Benjamin Kaufmann, University of Potsdam, Germany
  • Claire Lefèvre, University of Angers, France
  • Simona Perri, University of Calabria, Italy
  • Luca Pulina, University of Sassari, Italy
  • Jörg Pührer, University of Leipzig, Germany
  • Christoph Redl, TU Vienna, Austria
  • Claudia Schulz, Imperial College London, UK
  • Peter Schüller, Marmara University, Turkey
  • Konstantin Schekotihin, Alpen-Adria University Klagenfurt, Austria
  • Shahab Tasharrofi, Aalto University, Finland