Cited in
(17)- Reasoning with nominal schemas through absorption
- XSB: extending Prolog with tabled logic programming
- Efficient computation of the well-founded semantics over big data
- Enhancing DLV for large-scale reasoning
- A framework for modular ERDF ontologies
- N3Logic
- TRIPLE
- FLORA
- OPTYap
- XcelLog
- XSB
- MWeb
- miniKanren
- Flix
- Towards multi-threaded local tabling using a common table space
- Optimizing the distributed evaluation of stratified programs via structural analysis
- Magic sets for disjunctive Datalog programs
This page was built for software: OpenRuleBench
