conftrace_

datalog with metric temporal logic

1 paper

Explore in graph

Also known as

DATALOGMTL

Co-occurring keywords · papers mentioning both

materialisation-based reasoning (1) bounded interval (1) reasoning algorithm (1) forward chaining (1) metric temporal logic (1) canonical model (1)

Papers

Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals AAAI 2023