swMATH12473MaRDI QIDQ24401FDOQ24401
Author name not available (Why is that?)
Official website: http://rulebench.projects.semwebcentral.org/
Cited In (17)
- 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
- N3Logic
- TRIPLE
- FLORA
- OPTYap
- XcelLog
- XSB
- MWeb
- miniKanren
- Optimizing the distributed evaluation of stratified programs via structural analysis
- Flix
- A framework for modular ERDF ontologies
- Towards multi-threaded local tabling using a common table space
This page was built for software: OpenRuleBench
