Accepted Papers

Lengning Liu, Mirek Truszczynski
Solving Optimization Problems with Boolean Combinations of Pseudo-boolean Constraints (a preliminary report)

Martin Gebser, Torsten Schaub
Characterizing ASP Inferences by Unit Propagation

John Schlipf, Ryan Flannery
Unfounded Sets and Autarkies

Murray Patterson, Yongmei Liu, Eugenia Ternovska, and Arvind Gupta
Grounding for Model Expansion in $k$-Guarded Formulas

Johannes Oetsch, Martina Seidl, Hans Tompits, and Stefan Woltran
ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea, and Armando Tacchella
Experiments with SAT-based Answer Set Programming

Maarten Mariën, Johan Wittocx, and Marc Denecker
The IDP framework for declarative problem solving