1 Search Results for "Taupe, Richard"

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-dev.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}
}
  • Refine by Author
  • 1 Taupe, Richard

  • Refine by Classification
  • 1 Computing methodologies → Logic programming and answer set programming

  • Refine by Keyword
  • 1 answer set programming
  • 1 heuristics
  • 1 lazy grounding

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2018

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact