Abstracts
Bernhard Bliem,
Sebastian Ordyniak
and Stefan
Woltran. Clique-Width and
Directed Width Measures for Answer-Set
Programming Carmine
Dodaro, Philip Gasteiger, Nicola Leone, Benjamin
Musitsch, Francesco Ricca
and Kostyantyn
Shchekotykhin. Driving CDCL
Search Philip
Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale,
Francesco Ricca and Kostyantyn
Shchekotykhin. An integrated
Graphical User Interface for Debugging Answer Set
Programs
Richard
Taupe and Erich Teppan. Influence of
ASP Language Constructs on the Performance of state-of-the-art
Solvers
Orkunt
Sabuncu, Torsten
Schaub and Christian
Schulz-Hanke. Formalizing
Multi-Agent Systems Using Action Descriptions in Single Agent
Perspective