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
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

16:00 - 18:00: PADL 2018 - Best Papers at Rose
PADL-201816:00 - 16:30
Sandra DylusUniversity of Kiel, Germany, Jan ChristiansenFlensburg University of Applied Sciences, Germany, Finn TeegenUniversity of Kiel, Germany
PADL-201816:30 - 17:00
PADL-201817:00 - 17:30
Day closing