Cited in
(39)- 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
- The delay and window size problems in rule-based stream reasoning
- scientific article; zbMATH DE number 7453116 (Why is no real title available?)
- 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
- RuleML
- C-SPARQL
- DLVHEX
- SPARQL
- oClingo
- Clingo
- STeLP
- nSPARQL
- HermiT
- Konclude
- DRAGO
- MRtrix
- D*Lite
- Tweety
- Ontop
- Graal
- NoHR
- Datalog LITE
- MASTRO
- LDSpider
- 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
- Fixed point semantics for stream reasoning
- scientific article; zbMATH DE number 7453147 (Why is no real title available?)
- A distributed approach to LARS stream reasoning (system paper)
- Towards metric temporal answer set programming
- 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
