The following pages link to LARS (Q5974082):
Displaying 18 items.
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- Stream-based inconsistency measurement (Q895515) (← links)
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments (Q1748467) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- Can you answer while you wait? (Q2103911) (← links)
- The delay and window size problems in rule-based stream reasoning (Q2124457) (← links)
- First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711) (← links)
- Multi-context systems in dynamic environments (Q2317972) (← links)
- Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks (Q2835897) (← links)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
- I-DLV-sr: A Stream Reasoning System based on I-DLV (Q5019603) (← links)
- (Q5020559) (← links)
- (Q5020591) (← links)
- A Distributed Approach to LARS Stream Reasoning (System paper) (Q5108515) (← links)
- LARS: A Logic-Based Framework for Analytic Reasoning over Streams (Q5127174) (← links)
- Managing caching strategies for stream reasoning with reinforcement learning (Q5140004) (← links)
- Incremental maintenance of overgrounded logic programs with tailored simplifications (Q5140010) (← links)
- Towards Metric Temporal Answer Set Programming (Q5140014) (← links)
