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 |