conftrace_

metric temporal operator

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

metric temporal datalog (1) temporal operator (1) chase algorithm (1) stream reasoning (1) metric temporal logic (1) query answering (1) data complexity (1) temporal logic (1)

Papers

Reasoning over Streaming Data in Metric Temporal Datalog AAAI 2019