Optimizing Answer Set Computation via Heuristic-Based Decomposition
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 JanDisplayed time zone: Tijuana, Baja California change
16:00 - 18:00 | |||
16:00 30mTalk | 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 30mTalk | 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 30mDay closing | Closing PADL |