Degrees of laziness in grounding. Effects of lazy-grounding strategies on ASP solving

DOI10.1007/978-3-030-20528-7_22OpenAlexW3125507995MaRDI QIDQ2326738

Richard Taupe, Antonius Weinzierl, Gerhard Friedrich

Publication date: 10 October 2019

Full work available at URL: https://arxiv.org/abs/1903.12510

zbMATH Keywords

heuristicsanswer set programminglazy grounding

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (3)

Unnamed Item ⋮ Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More ⋮ Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints

This page was built for publication: Degrees of laziness in grounding. Effects of lazy-grounding strategies on ASP solving