Stratified Negation in Datalog with Metric Temporal Operators.

David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev

Browse the full AAAI paper archive.