Stratified Negation in Datalog with Metric Temporal Operators (2021)

First Author: David J. Tena Cucala
Attributed to:  AnaLOG: Datalog Extensions for the Analysis of Static and Streaming Data (Ext.) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://ojs.aaai.org/index.php/AAAI/article/view/16804

Type: Conference/Paper/Proceeding/Abstract