MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators (2022)

First Author: Wang D.
Attributed to:  AnaLOG: Datalog Extensions for the Analysis of Static and Streaming Data (Ext.) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Volume: 36

Parent Publication: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022