conftrace_

metric temporal datalog

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

temporal operator (1) chase algorithm (1) metric temporal operator (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