Skip to main content

DatalogMTL over Integer Timeline

Egor V. Kostylev. Przemyslaw Walega Bernardo Cuenca Grau Mark Kaminski

Book Title
Proceedings of the 17th International Conference on the Principles of Knowledge Representation and Reasoning (KR−2020)
Year
2020