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