Techniques for efficient lazy-grounding ASP solving

Lorenz Leutgeb, Antonius Weinzierl*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

7 Citations (Scopus)


Answer-Set Programming (ASP) is a well-known and expressive logic programming paradigm based on efficient solvers. State-of-the-art ASP solvers require the ASP program to be variable-free, they thus ground the program upfront at the cost of a potential exponential explosion of the space required. Lazy-grounding, where solving and grounding are interleaved, circumvents this grounding bottleneck, but the resulting solvers lack many important search techniques and optimizations. The recently introduced ASP solver Alpha combines lazy-grounding with conflict-driven nogood learning (CDNL), a core technique of efficient ASP solving. This work presents how techniques for efficient propagation can be lifted to the lazy-grounding setting. The Alpha solver and its components are presented and detailed benchmarks comparing Alpha to other ASP solvers demonstrate the feasibility of this approach.

Original languageEnglish
Title of host publicationDeclarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, 2017, Revised Selected Papers
Number of pages17
ISBN (Electronic)978-3-030-00801-7
ISBN (Print)978-3-030-00800-0
Publication statusPublished - 1 Jan 2018
MoE publication typeA4 Conference publication
EventInternational Conference on Declarative Programming - Wurzburg, Germany
Duration: 19 Sept 201722 Sept 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10997 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceInternational Conference on Declarative Programming
Abbreviated titleDECLARE


Dive into the research topics of 'Techniques for efficient lazy-grounding ASP solving'. Together they form a unique fingerprint.

Cite this