ASPOCP10 Accepted Papers

Symmetry-breaking Answer Set Solving
An Incremental Answer Set Programming Based System for Finite Model Computation: Preliminary Report
Towards Translating Natural Language Sentences into ASP
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case
A Logical Characterisation of Ordered Disjunction
Dynamic Magic Sets for Super-Consistent Answer Set Programs
An Optimization for Reasoning with Forest Logic Programs
Improving DPLL Solver Performance with  Domain-Specific Heuristics: the ASP Case
Using ASP with Recent Extensions for Causal Explanations