Program of LaSh

Thursday, July 15th

Thursday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Invited Talk
Location: AT LT5
09:00 Ilkka Niemela (Aalto University)
Integrating Answer Set Programming and Satisfiability modulo Theories
10:30‑12:30 Representation and Solving
Location: AT LT5
10:30 Shahab Tasharrofi and Eugenia Ternovska
Built-in Arithmetic in Knowledge Representation Languages
10:49 Emanuele Di Rosa and Enrico Giunchiglia
Evaluating approaches for solving Satisfiability problems with Preferences
11:08 Sid Mijnders, Boris de Wilde and Marijn J.H. Heule
Symbiosis of Search and Heuristics for Random 3-SAT
11:27 Mini-break
11:33 Antti Hyvärinen, Tommi Junttila and Ilkka Niemelä
Partitioning SAT Instances for Distributed Solving
11:52 Broes De Cat and Marc Denecker
DPLL(Agg): an efficient SMT module for aggregates.
12:11 Daniel Le Berre and Pascal Rapicault
Dependency Management for the Eclipse Ecosystem: An Update
14:00‑15:00 Contributed Talks on Grounding
Location: AT LT5
14:00 Tomi Janhunen
Modular Construction of Ground Logic Programs using LPCAT
14:20 Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska and David Mitchell
Grounding Formulas with Complex Terms
14:40 Johan Wittocx and Marc Denecker
Grounding FO(ID) with Bounds
15:30‑17:00 Invited Talks on Grounding
Location: AT LT5
15:30 Emina Torlak.
Kodkod: A Constraint Solver for Relational Logic
15:50 Gelsomina Catalano, Nicola Leone, and Simona Perri
The Intelligent Grounder of DLV
16:10 Martin Gebser, Roland Kaminski and Torsten Schaub.
The Life of Gringo
16:30 Discussion and Questions