Tractable Fragments of Datalog with Metric Temporal Operators.

Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

Browse the full IJCAI paper archive.