GASP
From MaRDI portal
Software:19154
No author found.
Related Items (16)
Constraint Answer Set Programming without Grounding ⋮ A model building framework for answer set programming with external computations ⋮ The power of non-ground rules in Answer Set Programming ⋮ ASPeRiX, a first-order forward chaining approach for answer set computing ⋮ Partial Compilation of ASP Programs ⋮ Incremental Answer Set Programming with Overgrounding ⋮ Design and results of the Fifth Answer Set Programming Competition ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More ⋮ Incremental maintenance of overgrounded logic programs with tailored simplifications ⋮ Unnamed Item ⋮ Optimizing Answer Set Computation via Heuristic-Based Decomposition ⋮ Efficiently Coupling the I-DLV Grounder with ASP Solvers ⋮ Abstraction for non-ground answer set programs ⋮ Answer Set Programming: A Primer
This page was built for software: GASP
