Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 9.


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.


Botoeva, Elena, Konev, Boris ORCID: 0000-0002-6507-0494, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael
(2018) Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. .


Botoeva, Elena, Konev, Boris ORCID: 0000-0002-6507-0494, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael
(2018) Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR, abs/18.


Kikot, Stanislav, Kurucz, Agi, Tanaka, Yoshihito, Wolter, Frank and Zakharyaschev, Michael
(2019) KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS. JOURNAL OF SYMBOLIC LOGIC, 84 (2). pp. 533-588.


Botoeva, Elena, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, F and Zakharyaschev, Michael
(2019) Query Inseparability for ALC Ontologies. Artificial Intelligence, 272. pp. 1-51.


Artale, Alessandro, Kontchakov, Roman, Wolter, Frank and Zakharyaschev, Michael
(2013) Temporal Description Logic for Ontology-Based Data Access (Extended Version).


Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494, Ryzhikov, Vladislav, Savateev, Yury, Wolter, Frank and Zakharyaschev, Michael
(2022) Unique Characterisability and Learnability of Temporal Instance Queries. [Preprint]


Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494, Ryzhikov, Vladislav, Savateev, Yury, Wolter, Frank and Zakharyaschev, Michael
(2022) Unique Characterisability and Learnability of Temporal Instance Queries. In: 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}, 2022-7-31 - 2022-8-5.

This list was generated on Sat Jul 22 11:46:23 2023 BST.