OpenRuleBench
From MaRDI portal
Software:24401
swMATH12473MaRDI QIDQ24401FDOQ24401
Author name not available (Why is that?)
Cited In (8)
- Efficient computation of the well-founded semantics over big data
- Enhancing DLV for large-scale reasoning
- XSB: extending Prolog with tabled logic programming
- Reasoning with nominal schemas through absorption
- Magic sets for disjunctive Datalog programs
- Optimizing the distributed evaluation of stratified programs via structural analysis
- A framework for modular ERDF ontologies
- Towards multi-threaded local tabling using a common table space
This page was built for software: OpenRuleBench
