GASP
From MaRDI portal
Cited in
(41)- ASPeRiX
- GNT
- sCASP
- ASSAT
- Cmodels
- Gringo
- Lparse
- DLV-EX
- NoMoRe
- clasp
- WASP
- Galliwasp
- DMCS
- Clingcon
- Clingo
- Integrating grounding in the search process for answer set computing
- Datalog
- Lpopt
- Answer Set Programming: A Primer
- ezcsp
- asprilo
- pyrunlim
- OMiGA
- modopt
- DLV2
- 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
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- CPCES
- Optimizing answer set computation via heuristic-based decomposition
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- scientific article; zbMATH DE number 7453100 (Why is no real title available?)
- Distributed answer set coloring: stable models computation via graph coloring
- Partial compilation of ASP programs
- Incremental answer set programming with overgrounding
- Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
- Incremental maintenance of overgrounded logic programs with tailored simplifications
- Abstraction for non-ground answer set programs
- DualGrounder
- Design and results of the Fifth Answer Set Programming Competition
This page was built for software: GASP
