Finite Materialisability of Datalog Programs with Metric Temporal OperatorsOpen Website

Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau

2023 (modified: 24 Apr 2023)J. Artif. Intell. Res. 2023Readers: Everyone
0 Replies