Lazy Model Expansion by Incremental Grounding

Authors Broes De Cat, Marc Denecker, Peter Stuckey

Thumbnail PDF


  • Filesize: 0.5 MB
  • 11 pages

Document Identifiers

Author Details

Broes De Cat
Marc Denecker
Peter Stuckey

Cite AsGet BibTex

Broes De Cat, Marc Denecker, and Peter Stuckey. Lazy Model Expansion by Incremental Grounding. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 201-211, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Ground-and-solve methods used in state-of-the-art Answer Set Programming and model expansion systems proceed by rewriting the problem specification into a ground format and afterwards applying search. A disadvantage of such approaches is that the rewriting step blows up the original specification for large input domains and is unfeasible in case of infinite domains. In this paper we describe a lazy approach to model expansion in the context of first-order logic that can cope with large and infinite problem domains. The method interleaves grounding and search, incrementally extending the current partial grounding only when necessary. It often allows to solve the original problem without creating the full grounding and is hence more widely applicable than ground-and-solve. We report on an existing implementation within the IDP system and on experiments that show the promise of the method.
  • Knowledge representation and reasoning
  • model generation
  • grounding
  • IDP framework
  • first-order logic


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads