The delay and window size problems in rule-based stream reasoning (Q2124457): Difference between revisions

@@ Property / describes a project that uses @@
+C-SPARQL
@@ Property / describes a project that uses: C-SPARQL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LARS
@@ Property / describes a project that uses: LARS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Graal
@@ Property / describes a project that uses: Graal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPARQL
@@ Property / describes a project that uses: SPARQL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DatalogMTL
@@ Property / describes a project that uses: DatalogMTL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2022.103668
+Normal rank
@@ Property / OpenAlex ID @@
+W4210281750
@@ Property / OpenAlex ID: W4210281750 / rank @@
+Normal rank
@@ Property / cites work @@
+LARS: a logic-based framework for analytic reasoning over streams
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Querying Log Data with Metric Temporal Logic
@@ Property / cites work: Querying Log Data with Metric Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic programming
@@ Property / cites work: Temporal logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of Datalog queries is undecidable
@@ Property / cites work: Equivalence of Datalog queries is undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Maintenance of datalog materialisations revisited
@@ Property / cites work: Maintenance of datalog materialisations revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392275
@@ Property / cites work: Q3392275 / rank @@
+Normal rank
@@ Property / cites work @@
+C-SPARQL: A CONTINUOUS QUERY LANGUAGE FOR RDF DATA STREAMS
+Normal rank
@@ Property / cites work @@
+Datalog with integer periodicity constraints
@@ Property / cites work: Datalog with integer periodicity constraints / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of temporal logic programming
+Normal rank
@@ Property / cites work @@
+FDNC
@@ Property / cites work: FDNC / rank @@
+Normal rank
@@ Property / cites work @@
+Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
+Normal rank
@@ Property / cites work @@
+Ticker: A system for incremental ASP-based stream reasoning
+Normal rank
@@ Property / cites work @@
+A brief account of runtime verification
@@ Property / cites work: A brief account of runtime verification / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded situation calculus action theories
@@ Property / cites work: Bounded situation calculus action theories / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2124457