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:
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
Chair:
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
Chair:
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
Chair:
Location: MB, Aufbaulabor
16:30 | The D-FLAT System for Dynamic Programming on Tree Decompositions (abstract) |
17:10 | Cross-Translating Answer Set Programs (abstract) |