GASP: Answer set programming with lazy grounding
From MaRDI portal
Publication:3400569
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
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)