Pages that link to "Item:Q4592708"
From MaRDI portal
The following pages link to Ticker: A system for incremental ASP-based stream reasoning (Q4592708):
Displaying 9 items.
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt} (Q2055817) (← links)
- The delay and window size problems in rule-based stream reasoning (Q2124457) (← links)
- (Q2754057) (← links)
- (Q5020591) (← links)
- Incremental Answer Set Programming with Overgrounding (Q5108513) (← 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)