GASP: Answer set programming with lazy grounding

DOI10.3233/FI-2009-180MaRDI QIDQ3400569zbMATHOpenAlexFDO

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

(24)

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

Describes a project that uses

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)