Proceedings
All papers have been published in the Computing Research Repository (CoRR):
- An integrated Graphical User Interface for Debugging Answer Set Programs (Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca and Kostyantyn Shchekotykhin)
- Counting Answer Sets via Dynamic Programming (Johannes K. Fichte, Markus Hecher, Michael Morak, Stefan Woltran)
- Driving CDCL Search (Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca and Kostyantyn Shchekotykhin)
- Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective (Orkunt Sabuncu, Torsten Schaub and Christian Schulz-Hanke)
- Stream Packing for Asynchronous Multi-Context Systems Using ASP (Stefan Ellmauthaler and Jörg Pührer)
- Clique-Width and Directed Width Measures for Answer-Set Programming (Bernhard Bliem, Sebastian Ordyniak and Stefan Woltran)
- Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation (Wolfgang Faber, Mauro Vallati, Federico Cerutti and Massimiliano Giacomin)