Pages that link to "Item:Q1761296"
From MaRDI portal
The following pages link to Magic sets for disjunctive Datalog programs (Q1761296):
Displaying 21 items.
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies (Q286087) (← links)
- The generalized supplementary magic-sets transformation for stratified Datalog (Q685491) (← links)
- Magic Sets and their application to data integration (Q882436) (← links)
- On universal magic (Q1276517) (← links)
- Lpopt: a rule optimization tool for answer set programming (Q2409731) (← links)
- Dynamic magic sets for disjunctive Datalog programs (Q2883097) (← links)
- Magic sets and stratified databases (Q3125846) (← links)
- Multi-level Algorithm Selection for ASP (Q3449227) (← links)
- Magic templates: a spellbinding approach to logic programs (Q3988795) (← links)
- Modular stratification and magic sets for Datalog programs with negation (Q4327632) (← 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)
- (Q5309600) (← links)
- Logic Programming (Q5313199) (← links)
- Database Theory - ICDT 2005 (Q5316603) (← links)