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...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak: Tena Cucala, D, Walega, P, Cuenca Grau, B, Kostylev, E
Formatua: Conference item
Hizkuntza:English
Argitaratua: AAAI Press 2021