LARS
From MaRDI portal
Software:5974082
swMATH44365MaRDI QIDQ5974082FDOQ5974082
Author name not available (Why is that?)
Cited In (18)
- 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
- 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
This page was built for software: LARS
