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:
News
Important Dates
|
9:45 — 10:00 |
GTTV + PAoASP |
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 + PAoASP |
INVITED - Pedro Cabalar: Temporal logic programs with variables |
12:00 — 13:30 | Lunch | |
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
- Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola
Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri and Jessica
Zangari:
The ASP System DLV2 - Marcello Balduccini and Emily Leblanc:
Information Retrieval with Actions and Change: an ASP-Based Solution - Francesco Calimeri, Davide Fuscà, Simona Perri and Jessica Zangari:
The ASP Instantiator I-DLV - Emily Leblanc and Marcello Balduccini:
Contextual Representations of Cause via Reasoning about Actions and Change - Richard Taupe, Antonius Weinzierl and Gottfried Schenner:
Introducing Heuristics for Lazy-Grounding ASP Solving - Qinglin Zhang and Daniela Inclezan:
An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios
Submission
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.Committee
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
Contact
- Workshop Chairs: aspcomp2017@dibris.unige.it