View in EDS PDF Full Text

Finite Materialisability of Datalog Programs with Metric Temporal Operators.

Saved in:
Bibliographic Details
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
Description
ISSN:10769757
DOI:10.1613/jair.1.14040