Tue 9 Jan 2018 16:30 - 17:00 at Rose - Best Papers

Answer Set Programming (ASP) is a purely declarative formalism, developed in the field of logic programming and nonmonotonic reasoning. In ASP, computational problems are encoded by logic programs whose answer sets, corresponding to solutions, are computed by an ASP system. In general, several programs semantically equivalent might be defined for the same problem; however, performance of ASP systems while evaluating them might significantly vary. In this work we propose a method for automatically transform an encoding into an equivalent one that can be evaluated more efficiently. The method makes use of hypertree decomposition techniques guided by proper heuristics. We embed the resulting technique into the ASP grounder I-DLV, and experimentally test it in order to asses performance improvements.

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

16:00 - 18:00
Best Papers PADL at Rose
16:00
30m
Talk
Probabilistic Functional Logic Programming
PADL
A: Sandra Dylus University of Kiel, Germany, A: Jan Christiansen Flensburg University of Applied Sciences, Germany, A: Finn Teegen University of Kiel, Germany
16:30
30m
Talk
Optimizing Answer Set Computation via Heuristic-Based Decomposition
PADL
A: Francesco Calimeri University of Calabria, A: Davide Fuscà , A: Simona Perri , A: Jessica Zangari
17:00
30m
Day closing
Closing
PADL