Stratified negation in datalog with metric temporal operators

We extend DatalogMTL—Datalog with operators from metric temporal logic—by adding stratified negation as failure. The new language provides additional expressive power for representing and reasoning about temporal data and knowledge in a wide range of applications. We consider models over the rationa...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron: Tena Cucala, D, Walega, P, Cuenca Grau, B, Kostylev, E
Fformat: Conference item
Iaith:English
Cyhoeddwyd: AAAI Press 2021