The following pages link to (Q4798016):
Displaying 6 items.
- Lpopt: a rule optimization tool for answer set programming (Q2409731) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- External sources of knowledge and value invention in logic programming (Q2457798) (← links)
- Look-back techniques for ASP programs with aggregates (Q2895770) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)