MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators.

Dingmin Wang Pan Hu Przemyslaw Andrzej Walega Bernardo Cuenca Grau

Published in: CoRR (2022)

Keyphrases

practical reasoning
expressive power
transition systems
query answering
deductive databases
legal cases
integrity constraints
datalog programs
argumentation semantics
distance measure
cooperative
email
query processing
query language
metric space
transitive closure