The delay and window size problems in rule-based stream reasoning
- 31 January 2022
- journal article
- research article
- Published by Elsevier BV in Artificial Intelligence
- Vol. 306, 103668
- https://doi.org/10.1016/j.artint.2022.103668
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- What can you verify and enforce at runtime?International Journal on Software Tools for Technology Transfer, 2011
- FDNCACM Transactions on Computational Logic, 2010
- The DLV system for knowledge representation and reasoningACM Transactions on Computational Logic, 2006
- The CQL continuous query language: semantic foundations and query executionThe VLDB Journal, 2005
- Complexity and expressive power of logic programmingACM Computing Surveys, 2001
- Continuous queries over data streamsACM SIGMOD Record, 2001
- Datalog with integer periodicity constraintsThe Journal of Logic Programming, 1998
- Efficient checking of temporal integrity constraints using bounded history encodingACM Transactions on Database Systems, 1995
- Equivalence of Datalog queries is undecidableThe Journal of Logic Programming, 1993
- Temporal logic programmingJournal of Symbolic Computation, 1989