VSL 2014: VIENNA SUMMER OF LOGIC 2014
LASH PROGRAM
Friday, July 18th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 86G: Opening and Invited Talk (joint with QUANTIFY)
Chair:
Emilia Oikarinen
Location: MB, Aufbaulabor
08:45
Lash and Quantify
LaSh and QUANTIFY Openings (abstract)
09:00
Konstantin Korovin
Instantiation-based reasoning, EPR encodings and all that (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 90AN: LaSh morning 2: Contributed Talks
Chair:
David Mitchell
Location: MB, Aufbaulabor
10:45
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 (abstract)
11:15
Shahab Tasharrofi and Eugenia Ternovska
Logical Machinery of Heuristics (Preliminary Report) (abstract)
11:45
Emir Demirović and Nysret Musliu
Modeling High School Timetabling as PartialWeighted maxSAT (abstract)
12:15
Jeremias Berg, Matti Järvisalo and Brandon Malone
Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability (abstract)
12:45
Lash
Depart for Workshop Lunch (abstract)
13:00-14:30Lunch Break
14:30-16:10 Session 96AQ: LaSh afternoon 1: Invited Talks - Lazy Grounding
Chair:
Marc Denecker
Location: MB, Aufbaulabor
14:30
Peter Stuckey
Laziness is next to Godliness (abstract)
15:30
Broes De Cat, Marc Denecker, Peter Stuckey, Maurice Bruynooghe and Bart Bogaerts
Lazy Model Expansion: Interleaving Grounding with Search (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 99AP: LaSh afternoon 2: Invited Talks - Answer Set Programming
Chair:
Mirek Truszczynski
Location: MB, Aufbaulabor
16: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 (abstract)
17:10
Tomi Janhunen
Cross-Translating Answer Set Programs (abstract)