Skip to main content

DatalogMTL over Integer Timeline

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

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