Pages that link to "Item:Q1761296"
From MaRDI portal
The following pages link to Magic sets for disjunctive Datalog programs (Q1761296):
Displayed 11 items.
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies (Q286087) (← links)
- Lpopt: a rule optimization tool for answer set programming (Q2409731) (← links)
- Multi-level Algorithm Selection for ASP (Q3449227) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Constraint Answer Set Programming without Grounding (Q4559798) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
- (Q5020560) (← links)
- Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
- Incremental Answer Set Programming with Overgrounding (Q5108513) (← links)
- Precomputing Datalog Evaluation Plans in Large-Scale Scenarios (Q5108523) (← links)