MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators.

Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau

Browse the full AAAI paper archive.