The following pages link to The Intelligent Grounder of DLV (Q2900523):
Displaying 7 items.
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- Estimating grounding sizes of logic programs under answer set semantics (Q2055808) (← 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)
- Partial Compilation of ASP Programs (Q5108506) (← links)
- Incremental maintenance of overgrounded logic programs with tailored simplifications (Q5140010) (← links)
