Pages that link to "Item:Q1648076"
From MaRDI portal
The following pages link to LARS: a logic-based framework for analytic reasoning over streams (Q1648076):
Displaying 17 items.
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt} (Q2055817) (← links)
- The Fusemate logic programming system (Q2055893) (← links)
- The delay and window size problems in rule-based stream reasoning (Q2124457) (← links)
- Multi-context systems in dynamic environments (Q2317972) (← links)
- Metric temporal answer set programming over timed traces (Q2694559) (← links)
- Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks (Q2835897) (← links)
- (Q5020559) (← links)
- (Q5020591) (← links)
- Incremental Event Calculus for Run-Time Reasoning (Q5076337) (← links)
- A Distributed Approach to LARS Stream Reasoning (System paper) (Q5108515) (← links)
- Managing caching strategies for stream reasoning with reinforcement learning (Q5140004) (← links)
- Incremental maintenance of overgrounded logic programs with tailored simplifications (Q5140010) (← links)
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Q5870513) (← links)
- Reactive Answer Set Programming (Q6063885) (← links)
