Skip to main content

Reasoning Techniques in DatalogMTL

Przemyslaw Walega‚ Michal Zawidzki and Bernardo Cuenca Grau

Book Title
Proceedings of Datalog 2.0
Year
2022