| Time | Title |
|---|---|
| 12:30 | Welcome |
| 12:30-13:30 | Invited Talk by Vladimir Lifschitz: How We Studied the Input Language of gringo [abstact] |
| 13:30-14:00 | Mario Alviano and Wolfgang Faber: Chain Answer Sets for Logic Programs with Generalized Atoms - How Not To Fix a Semantic Problem [paper] |
| 14:00-14:15 | Vladimir Lifschitz, Patrick Lühne and Torsten Schaub: anthem: Transforming gringo Programs into First-Order Theories (Extended Abstract) [paper] |
| 14:15-14:45 | Coffee break |
| 14:45-15:00 | Zeynep G. Saribatur and Thomas Eiter: Omission-based Abstraction for Answer Set Programs (Extended Abstract) [paper] |
| 15:00-15:30 | Peter Schüller: The Hexlite Solver [paper] |
| 15:30-16:00 | Zeynep G. Saribatur, Peter Schüller and Thomas Eiter: Abstraction for Non-Ground Answer Set Programs [paper] |
| 16:00-16:15 | Pedro Cabalar and Torsten Schaub: Dynamic and Temporal Answer Set Programming on Linear Finite Traces [paper] |
| 16:15-16:30 | Philipp Wanko: Design Space Exploration with Answer Set Programming Modulo Theories [paper] |
| 16:30-17:00 | Johannes K. Fichte and Markus Hecher: ASP and Projected Counting Meets Bounded Treewidth [paper] |
| 17:00-17:15 | Sebastian Schellhorn: Lower Bound Founded Logic of Here-and-There [paper] |
| 17:15-19:00 | Moving to Heurigen Werner Welser |
| 19:00-24:00 | Social Program: Heurigen Werner Welser |
| Time | Title |
|---|---|
| 09:00-09:30 | Martin Diller, Wolfgang Dvořák, Jörg Pührer, Johannes P. Wallner and Stefan Woltran: Application of ASP in Formal Argumentation [paper] |
| 09:30-09:45 | Flavio Everardo: From Music Production to Sampling and Navigation with XOR Constraints in Answer Set Programming [paper] |
| 09:45-10:00 | Martin Gebser, Philipp Obermeier, Torsten Schaub, Michel Ratsch-Heitmann and Mario Runge: Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming: Extended Abstract [paper] |
| 10:00-10:30 | Coffee break |
| 10:30-10:45 | Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Van Nyugen, Tran Cao Son, Michel Ratsch-Heitmann and Mario Runge: Scalable Robotic Intra-Logistics with Answer Set Programming: Abstract Report [paper] |
| 10:45-11:00 | Pedro Cabalar, Roland Kaminski and Torsten Schaub: Telingo = ASP + Time: An abridged Report [paper] |
| 11:00-11:30 | Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl and Gerhard Friedrich: Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP [paper] |
| 11:30-12:00 | Invited Talk by Gerd Brewka: Strong Inconsistency |
| 12:00-12:30 | Final discussion and Closing |