conftrace_

automata-based reasoning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

datalog extension (1) temporal ontology (1) forward chaining (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