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 |