LARS
From MaRDI portal
Cited in
(39)- RuleML
- C-SPARQL
- DLVHEX
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- SPARQL
- Fixed point semantics for stream reasoning
- Can you answer while you wait?
- The delay and window size problems in rule-based stream reasoning
- oClingo
- STeLP
- Clingo
- First-order rewritability of ontology-mediated queries in linear temporal logic
- Multi-context systems in dynamic environments
- nSPARQL
- HermiT
- Konclude
- DRAGO
- Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
- MRtrix
- D*Lite
- Tweety
- Ontop
- Graal
- NoHR
- Datalog LITE
- 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
- scientific article; zbMATH DE number 7453116 (Why is no real title available?)
- scientific article; zbMATH DE number 7453147 (Why is no real title available?)
- A distributed approach to LARS stream reasoning (system paper)
- MASTRO
- LARS: a logic-based framework for analytic reasoning over streams (extended abstract)
- Managing caching strategies for stream reasoning with reinforcement learning
- Incremental maintenance of overgrounded logic programs with tailored simplifications
- Towards metric temporal answer set programming
- LDSpider
- DatalogMTL
- Combining event calculus and description logic reasoning via logic programming
- Stream-based inconsistency measurement
This page was built for software: LARS
