conftrace_

datalog extension

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

temporal ontology (1) forward chaining (1) automata-based reasoning (1) metric temporal logic (1) temporal logic (1) automated reasoning (1) knowledge representation (1)

Papers

MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators AAAI 2022