GASP: Answer set programming with lazy grounding

DOI10.3233/FI-2009-180zbMATH Open1207.68118OpenAlexW2121444716MaRDI QIDQ3400569FDOQ3400569

Authors: A. Dal Palú, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi 

Publication date: 5 February 2010

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2009-180

Recommendations

• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Integrating grounding in the search process for answer set computing
• Prolog and ASP inference under one roof
• Answer Set Programming: A Primer
• Degrees of laziness in grounding. Effects of lazy-grounding strategies on ASP solving

zbMATH Keywords

logic programmingnon-monotonic reasoninganswer set programmin

Mathematics Subject Classification ID

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

Cited In (24)

• Constraint answer set programming without grounding
• Prolog and ASP inference under one roof
• A model building framework for answer set programming with external computations
• Scalable neural-probabilistic answer set programming
• Degrees of laziness in grounding. Effects of lazy-grounding strategies on ASP solving
• Title not available (Why is that?)
• The Design of the Sixth Answer Set Programming Competition
• Answer Set Programming: A Primer
• The power of non-ground rules in Answer Set Programming
• Abstraction for non-ground answer set programs
• Model-Based Knowledge Representation and Reasoning Via Answer Set Programming
• Title not available (Why is that?)
• Parallel Logic Programming: A Sequel
• Incremental maintenance of overgrounded logic programs with tailored simplifications
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Incremental answer set programming with overgrounding
• GASP
• Design and results of the Fifth Answer Set Programming Competition
• Title not available (Why is that?)
• Partial compilation of ASP programs
• Optimizing answer set computation via heuristic-based decomposition
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• DualGrounder: lazy instantiation via clingo multi-shot framework

Uses Software

• ASSAT
• Cmodels
• Smodels
• clasp

This page was built for publication: GASP: Answer set programming with lazy grounding

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400569)