Up a level |
Artale, Alessandro, Kontchakov, Roman, Kovtunova, Alisa, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael
(2022)
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 75.
pp. 1223-1291.
Artale, Alessandro, Kontchakov, Roman, Kovtunova, Alisa, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael
(2021)
First-Order Rewritability of Ontology-Mediated Queries in Linear
Temporal Logic.
Artificial Intelligence, 299.
p. 103536.