8 results
I-DLV-sr: A Stream Reasoning System based on I-DLV
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 23 September 2021, pp. 610-628
-
- Article
- Export citation
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 958-973
-
- Article
- Export citation
Incremental maintenance of overgrounded logic programs with tailored simplifications
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 21 September 2020, pp. 719-734
-
- Article
- Export citation
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 1073-1089
-
- Article
- Export citation
Incremental Answer Set Programming with Overgrounding
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 957-973
-
- Article
- Export citation
Enhancing Magic Sets with an Application to Ontological Reasoning
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 654-670
-
- Article
- Export citation
Optimizing Answer Set Computation via Heuristic-Based Decomposition
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 4 / July 2019
- Published online by Cambridge University Press:
- 28 February 2019, pp. 603-628
-
- Article
- Export citation
Efficiently Coupling the I-DLV Grounder with ASP Solvers
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 2 / March 2020
- Published online by Cambridge University Press:
- 04 December 2018, pp. 205-224
-
- Article
- Export citation