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

Полное описание

Библиографические подробности
Главные авторы: Tena Cucala, D, Walega, P, Cuenca Grau, B, Kostylev, E
Формат: Conference item
Язык:English
Опубликовано: AAAI Press 2021