Finite Materialisability of Datalog Programs with Metric Temporal Operators.
Saved in:
| Title: | Finite Materialisability of Datalog Programs with Metric Temporal Operators. |
|---|---|
| Authors: | Wałęga, Przemysław Andrzej1 PRZEMYSLAW.WALEGA@CS.OX.AC.UK, Zawidzki, Michał1 MICHAL.ZAWIDZKI@CS.OX.AC.UK, Cuenca Grau, Bernardo1 BERNARDO.CUENCA.GRAU@CS.OX.AC.UK |
| Source: | Journal of Artificial Intelligence Research. 2023, Vol. 76, p471-521. 51p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
