| Authors | Title | Paper | Talk |
|---|
| Konstantin Korovin | Instantiation-based reasoning, EPR encodings and all that |  | Jul 18 09:00 |
| Peter Stuckey | Laziness is next to Godliness | | Jul 18 14:30 |
| Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher and Stefan Woltran | The D-FLAT System for Dynamic Programming on Tree Decompositions | | Jul 18 16:30 |
| Broes De Cat, Marc Denecker, Peter Stuckey, Maurice Bruynooghe and Bart Bogaerts | Lazy Model Expansion: Interleaving Grounding with Search | | Jul 18 15:30 |
| Tomi Janhunen | Cross-Translating Answer Set Programs | | Jul 18 17:10 |
| Jeremias Berg, Matti Järvisalo and Brandon Malone | Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability | | Jul 18 12:15 |
| Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe and Marc Denecker | Meta-level Representations in the IDP Knowledge Base System: Bootstrapping Inference Engine Development | | Jul 18 10:45 |
| Emir Demirović and Nysret Musliu | Modeling High School Timetabling as PartialWeighted maxSAT | | Jul 18 11:45 |
| Shahab Tasharrofi and Eugenia Ternovska | Logical Machinery of Heuristics (Preliminary Report) | | Jul 18 11:15 |