DROPS

Document

DOI: 10.4230/OASIcs.ICLP.2018.20

Speeding up Lazy-Grounding Answer Set Solving

Authors: Richard Taupe

Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)

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.

Cite as

Richard Taupe. Speeding up Lazy-Grounding Answer Set Solving. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 20:1-20:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{taupe:OASIcs.ICLP.2018.20,
  author =	{Taupe, Richard},
  title =	{{Speeding up Lazy-Grounding Answer Set Solving}},
  booktitle =	{Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)},
  pages =	{20:1--20:9},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-090-3},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{64},
  editor =	{Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.20},
  URN =		{urn:nbn:de:0030-drops-98861},
  doi =		{10.4230/OASIcs.ICLP.2018.20},
  annote =	{Keywords: answer set programming, lazy grounding, heuristics}
}

Search Results

Documents authored by Taupe, Richard

Speeding up Lazy-Grounding Answer Set Solving

Abstract

Cite as

Thanks for your feedback!

Could not send message