Pages that link to "Item:Q673130"
From MaRDI portal
The following pages link to Bottom-up evaluation and query optimization of well-founded models (Q673130):
Displaying 11 items.
- Static filtering on stratified programs (Q688228) (← links)
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
- Magic Sets and their application to data integration (Q882436) (← links)
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- An extension of Van Gelder's alternating fixpoint to magic programs (Q1924385) (← links)
- BUSDM – an algorithm for the bottom-up search of departures from a model (Q3019811) (← links)
- Disjunctive ASP with functions: Decidable queries and effective computation (Q3585164) (← links)
- (Q5020560) (← links)
- Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
- Datalog Queries Distributing over Components (Q5278203) (← links)
- Transformation-based bottom-up computation of the well-founded model (Q6623799) (← links)