Joint Opening of GTTV and PAoASP

Bernardo Cuteri and Francesco Ricca,
A compiler for stratified logic programs: preliminary report

Bernhard Bliem, Marius Moldovan, Michael Morak and Stefan Woltran,
The Impact of Treewidth on ASP Grounding and Solving

Francesco Calimeri et. al,
The new DLV Grounder: External Computations, Interoperability and Customizability

Joint Invited: Pedro Cabalar,
Temporal logic programs with variables

Lunch

Richard Taupe, Antonius Weinzierl and Gottfried Schenner,
Introducing Heuristics for Lazy-Grounding ASP Solving

Mario Alviano et. al,
The ASP System DLV2

Emily Leblanc and Marcello Balduccini,
Contextual Representations of Cause via Reasoning about Actions and Change

Qinglin Zhang and Daniela Inclezan,
An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios

Coffee Break

Francesco Calimeri, Davide Fuscà, Simona Perri and Jessica Zangari,
The ASP Instantiator I-DLV

Marcello Balduccini and Emily Leblanc,
Information Retrieval with Actions and Change: an ASP-Based Solution

PANEL - G. Ianni, T. Janhunen, N. Leone, T. Schaub, S. Woltran,
On the future of ASP Solving and Competitions