Exploring Protein Fragment Assembly Using CLP	Alessandro Dal Palu, Agostino Dovier, Federico Foolari, Enrico Pontelli
Translation-Based Constraint Answer Set Solving	Christian Drescher, Toby Walsh	Slides
Finite Model Computation via Answer Set Programming	Martin Gebser, Orkunt Sabuncu, Torsten Schaub
Efficient Rule-Based Inferencing for OWL EL	Markus Krötzsch
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition	Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schuller

Video also available for download here. We recommend VLC for playing