The following pages link to Ordering conjunctive queries (Q1060862):
Displayed 14 items.
- Data analysis using a geometrical representation of predicate calculus (Q578939) (← links)
- Acquiring search-control knowledge via static analysis (Q685544) (← links)
- Compiling a default reasoning system into Prolog (Q750134) (← links)
- The optimum execution order of queries in linear storage (Q917278) (← links)
- Controlling backward inference (Q1123001) (← links)
- A circumscriptive theorem prover (Q1123640) (← links)
- Finding optimal derivation strategies in redundant knowledge bases (Q1182170) (← links)
- A methodology for detecting shared variable dependencies in logic programs (Q1186710) (← links)
- Investigating production system representations for non-combinatorial match (Q1330671) (← links)
- Optimization of a subclass of conjunctive queries (Q1346219) (← links)
- Bounding the cost of learned rules (Q1575429) (← links)
- Agenda control for heterogeneous reasoners (Q1764797) (← links)
- Cathoristic Logic (Q3297837) (← links)
- Approximating the chromatic polynomial of a graph (Q6143977) (← links)