MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators (2022)
Attributed to:
UK FIRES: Locating Resource Efficiency at the heart of Future Industrial Strategy in the UK
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1609/aaai.v36i5.20535
Publication URI: http://dx.doi.org/10.1609/aaai.v36i5.20535
Type: Journal Article/Review
Parent Publication: Proceedings of the AAAI Conference on Artificial Intelligence
Issue: 5