Skip to main content

Stratified Negation in Datalog with Metric Temporal Operators

David J. Tena Cucala‚ Przemyslaw Andrzej Walega‚ Bernardo Cuenca Grau and Egor V. Kostylev

Book Title
Thirty−Fifth AAAI Conference on Artificial Intelligence‚ AAAI 2021‚ Thirty−Third Conference on Innovative Applications of Artificial Intelligence‚ IAAI 2021‚ The Eleventh Symposium on Educational Advances in Artificial Intelligence‚ EAAI 2021‚ Virtual Event‚ February 2−9‚ 2021
Pages
6488–6495
Publisher
AAAI Press
Year
2021