Pages that link to "Item:Q2046012"
From MaRDI portal
The following pages link to Fixed point semantics for stream reasoning (Q2046012):
Displaying 4 items.
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
- Incremental reasoning on monadic second-order logics with logic programming (Q5963088) (← links)
- Embedding justification theory in approximation fixpoint theory (Q6566637) (← links)