@inproceedings{1f171c8fffba47a49f6129bf349aa71d,
title = "Stratified Negation in Datalog with Metric Temporal Operators",
author = "\{Tena Cucala\}, \{David J.\} and \{Wa{\l} ega\}, \{Przemys{\l}aw A.\} and Grau, \{Bernardo Cuenca\} and Kostylev, \{Egor V.\}",
note = "Publisher Copyright: Copyright {\textcopyright} 2021, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.; 35th AAAI Conference on Artificial Intelligence, AAAI 2021 ; Conference date: 02-02-2021 Through 09-02-2021",
year = "2021",
month = may,
day = "18",
doi = "10.1609/aaai.v35i7.16804",
language = "English",
series = "35th AAAI Conference on Artificial Intelligence, AAAI 2021",
publisher = "Association for the Advancement of Artificial Intelligence",
pages = "6488--6495",
booktitle = "35th AAAI Conference on Artificial Intelligence, AAAI 2021",
address = "United States",
}