OpenRuleBench
From MaRDI portal
Software:24401
swMATH12473MaRDI QIDQ24401FDOQ24401
Author name not available (Why is that?)
Cited In (8)
- Enhancing DLV for large-scale reasoning
- XSB: extending Prolog with tabled logic programming
- Reasoning with nominal schemas through absorption
- Efficient Computation of the Well-Founded Semantics over Big Data
- Magic sets for disjunctive Datalog programs
- A framework for modular ERDF ontologies
- Towards multi-threaded local tabling using a common table space
- Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis
This page was built for software: OpenRuleBench
