Video recording
Session title:
Best Paper
Session chair:
Manuel Hermenegildo
Talks
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