The following pages link to OpenRuleBench (Q24401):
Displayed 8 items.
- A framework for modular ERDF ontologies (Q360258) (← links)
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- Enhancing DLV for large-scale reasoning (Q2326744) (← links)
- Reasoning with nominal schemas through absorption (Q2352498) (← links)
- XSB: Extending Prolog with Tabled Logic Programming (Q2893097) (← links)
- Efficient Computation of the Well-Founded Semantics over Big Data (Q2931253) (← links)
- Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis (Q3003259) (← links)
- Towards multi-threaded local tabling using a common table space (Q4911126) (← links)