@inproceedings{aaai-2022-meteor, title = "MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators", author = "Dingmin Wang and Pan Hu and Przemyslaw Walega and Bernardo Cuenca Grau", year = "2022", booktitle = "Proceedings of AAAI-2022", }