GASP: Answer set programming with lazy grounding

DOI10.3233/FI-2009-180MaRDI QIDQ3400569zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

logic programmingnon-monotonic reasoninganswer set programmin

Mathematics Subject Classification ID

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

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

Cited in

(28)

• Constraint answer set programming without grounding
• Prolog and ASP inference under one roof
• A model building framework for answer set programming with external computations
• Degrees of laziness in grounding. Effects of lazy-grounding strategies on ASP solving
• Scalable neural-probabilistic answer set programming
• scientific article; zbMATH DE number 7121940 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 7453150 (Why is no real title available?)
• Parallel Logic Programming: A Sequel
• On the foundations of grounding in answer set programming
• Answer set planning: a survey
• Incremental maintenance of overgrounded logic programs with tailored simplifications
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• GASP
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Incremental answer set programming with overgrounding
• Design and results of the Fifth Answer Set Programming Competition
• scientific article; zbMATH DE number 7453100 (Why is no real title available?)
• 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
• DIRT: a literature-based benchmark suite for grounders
• Lazy atom discovery in compilation-based ASP solving

Describes a project that uses

Uses Software

• clasp
• Smodels
• Cmodels
• ASSAT

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)