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)
Location: MB, Aufbaulabor
08:45
LaSh and QUANTIFY Openings (abstract)
09:00
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
Location: MB, Aufbaulabor
10:45
Meta-level Representations in the IDP Knowledge Base System: Bootstrapping Inference Engine Development (abstract)
11:15
Logical Machinery of Heuristics (Preliminary Report) (abstract)
11:45
Modeling High School Timetabling as PartialWeighted maxSAT (abstract)
12:15
Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability (abstract)
12:45
Depart for Workshop Lunch (abstract)
13:00-14:30Lunch Break
14:30-16:10 Session 96AQ: LaSh afternoon 1: Invited Talks - Lazy Grounding
Location: MB, Aufbaulabor
14:30
Laziness is next to Godliness (abstract)
15:30
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
Location: MB, Aufbaulabor
16:30
The D-FLAT System for Dynamic Programming on Tree Decompositions (abstract)
17:10
Cross-Translating Answer Set Programs (abstract)