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 (23)

• Prolog and ASP inference under one roof
• A model building framework for answer set programming with external computations
• Scalable neural-probabilistic answer set programming
• Title not available (Why is that?)
• The Design of the Sixth Answer Set Programming Competition
• Answer Set Programming: A Primer
• Incremental Answer Set Programming with Overgrounding
• Efficiently Coupling the I-DLV Grounder with ASP Solvers
• Optimizing Answer Set Computation via Heuristic-Based Decomposition
• The power of non-ground rules in Answer Set Programming
• Partial Compilation of ASP Programs
• 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
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Constraint Answer Set Programming without Grounding
• GASP
• Design and results of the Fifth Answer Set Programming Competition
• Title not available (Why is that?)
• DualGrounder: lazy instantiation via clingo multi-shot framework
• ASPeRiX, a first-order forward chaining approach for answer set computing

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)