swMATH44365MaRDI QIDQ5974082FDOQ5974082
Author name not available (Why is that?)
Official website: https://www.sciencedirect.com/science/article/pii/S0004370218301929
Cited In (37)
- Multi-context systems in dynamic environments
- Can you answer while you wait?
- Combining event calculus and description logic reasoning via logic programming
- Stream-based inconsistency measurement
- Title not available (Why is that?)
- The delay and window size problems in rule-based stream reasoning
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- First-order rewritability of ontology-mediated queries in linear temporal logic
- Incremental maintenance of overgrounded logic programs with tailored simplifications
- Managing caching strategies for stream reasoning with reinforcement learning
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- I-DLV-sr: A Stream Reasoning System based on I-DLV
- Title not available (Why is that?)
- Fixed point semantics for stream reasoning
- C-SPARQL
- SPARQL
- A distributed approach to LARS stream reasoning (system paper)
- oClingo
- Clingo
- STeLP
- nSPARQL
- HermiT
- Konclude
- DRAGO
- MRtrix
- D*Lite
- Tweety
- Ontop
- Graal
- NoHR
- Datalog LITE
- Towards metric temporal answer set programming
- MASTRO
- LDSpider
- LARS: a logic-based framework for analytic reasoning over streams (extended abstract)
- Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
- DatalogMTL
This page was built for software: LARS
