Program of ASPOCP

Tuesday, July 20th

Tuesday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Invited Talk
Chair: Stefan Woltran
Location: IF G.03
09:00 Torsten Schaub
ASP Solving and Other Computing Paradigms
10:30‑12:30 Session I: Solvers
Chair: Stefan Woltran
Location: IF G.03
10:30 Christian Drescher, Oana Tifrea and Toby Walsh
Symmetry-breaking Answer Set Solving
11:00 Marcello Balduccini
Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case
11:30 Martin Gebser, Orkunt Sabuncu and Torsten Schaub
An Incremental Answer Set Programming Based System for Finite Model Computation: Preliminary Report
12:00 Mario Alviano and Wolfgang Faber
Dynamic Magic Sets for Super-Consistent Answer Set Programs
14:00‑15:00 Session II: Foundations
Chair: Marcello Balduccini
Location: IF G.03
14:00 Dov Gabbay, David Pearce and Agustin Valverde
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case
14:30 Pedro Cabalar
A Logical Characterisation of Ordered Disjunction
15:30‑17:00 Session III: Applications
Chair: Marcello Balduccini
Location: IF G.03
15:30 Stefania Costantini and Alessio Paolucci
Towards Translating Natural Language Sentences into ASP
16:00 Cristina Feier and Stijn Heymans
An Optimization for Reasoning with Forest Logic Programs
16:30 Yves Moinard
Using ASP with Recent Extensions for Causal Explanations