LARS
From MaRDI portal
Software:5974082
swMATH44365MaRDI QIDQ5974082FDOQ5974082
Author name not available (Why is that?)
Cited In (18)
- Multi-context systems in dynamic environments
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
- Can you answer while you wait?
- Combining event calculus and description logic reasoning via logic programming
- Stream-based inconsistency measurement
- A Distributed Approach to LARS Stream Reasoning (System paper)
- Towards Metric Temporal Answer Set Programming
- 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
- LARS: A Logic-Based Framework for Analytic Reasoning over Streams
- 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
- I-DLV-sr: A Stream Reasoning System based on I-DLV
- Title not available (Why is that?)
- Fixed point semantics for stream reasoning
- Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
This page was built for software: LARS
