Reasoning techniques in DatalogMTL
DatalogMTL is a recently introduced extension of Datalog with operators from metric temporal logic (MTL). It allows for performing complex temporal reasoning tasks over the rational timeline, which makes it suitable for many practical applications. Although the main reasoning tasks in DatalogMTL are...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
CEUR Workshop Proceedings
2022
|