The following pages link to GASP (Q19154):
Displayed 16 items.
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- (Q3100242) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Constraint Answer Set Programming without Grounding (Q4559798) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- The power of non-ground rules in Answer Set Programming (Q4593042) (← links)
- <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
- (Q5020542) (← links)
- (Q5020596) (← links)
- Partial Compilation of ASP Programs (Q5108506) (← links)
- Incremental Answer Set Programming with Overgrounding (Q5108513) (← links)
- Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More (Q5140003) (← links)
- Incremental maintenance of overgrounded logic programs with tailored simplifications (Q5140010) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)