FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Speeding Up Lazy-Grounding Answer Set Solving

Author: Richard Taupe

Paper Information

Title:Speeding Up Lazy-Grounding Answer Set Solving
Authors:Richard Taupe
Proceedings:ICLP-DC ICLP'18 DC Proceedings
Editor: Paul Tarau
Keywords:answer set programming, lazy grounding, heuristics
Abstract:

ABSTRACT. The grounding bottleneck is an important open issue in Answer Set Programming. Lazy grounding addresses it by interleaving grounding and search. The performance of current lazy-grounding solvers is not yet comparable to that of ground-and-solve systems, however. The aim of this thesis is to extend prior work on lazy grounding by novel heuristics and other techniques like non-ground conflict learning in order to speed up solving. Parts of expected results will be beneficial for ground-and-solve systems as well.

Pages:9
Talk:Jul 18 15:00 (Session 127D)
Paper: