Pages that link to "Item:Q4957190"
From MaRDI portal
The following pages link to Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190):
Displayed 6 items.
- Estimating grounding sizes of logic programs under answer set semantics (Q2055808) (← links)
- Lpopt: a rule optimization tool for answer set programming (Q2409731) (← links)
- (Q5020987) (← links)
- Incremental Answer Set Programming with Overgrounding (Q5108513) (← links)
- Precomputing Datalog Evaluation Plans in Large-Scale Scenarios (Q5108523) (← links)
- Incremental maintenance of overgrounded logic programs with tailored simplifications (Q5140010) (← links)