Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir Podolskii, Michael Zakharyaschev, “A tetrachotomy of ontology-mediated queries with a covering axiom”, Artificial Intelligence, 2022, Volume 309, Pages 103738

Artificial Intelligence

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Artificial Intelligence, 2022, Volume 309, Pages 103738–46
DOI: https://doi.org/10.1016/j.artint.2022.103738 (Mi ai2)

Full-text PDF Citations (1)

DOI: https://doi.org/10.1016/j.artint.2022.103738

Funding agency	Grant number
Russian Foundation for Basic Research	20-31-90123
HSE Basic Research Program
Engineering and Physical Sciences Research Council	EP/S032282
The work of O. Gerasimova was funded by RFBR, project number 20-31-90123. The work of V. Podolskii was supported by the HSE University Basic Research Program. The work of M. Zakharyaschev was supported by the EPSRC U.K. grant EP/S032282. We are grateful to Frank Wolter for his remarks that helped us improve the article. Thanks are also due to the anonymous referees for their careful reading, valuable comments and constructive suggestions.

Received: 19.07.2020
Revised: 04.05.2022
Accepted: 05.05.2022

Bibliographic databases:

Document Type: Article

Language: English

Linking options:

https://www.mathnet.ru/eng/ai2

This publication is cited in the following 1 articles:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles