V. Ryzhikov
发表
Alessandro Artale,
Michael Zakharyaschev,
Roman Kontchakov,
2010,
Description Logics.
B. Konev,
F. Wolter,
M. Zakharyaschev,
2022,
KR.
Guohui Xiao,
V. Ryzhikov,
Güzel Kalaycı,
2018
.
B. Konev,
F. Wolter,
M. Zakharyaschev,
2022
.
A. Artale,
F. Wolter,
M. Zakharyaschev,
2021,
ArXiv.
A. Artale,
F. Wolter,
M. Zakharyaschev,
2022,
IJCAI.
M. Arenas,
Diego Calvanese,
V. Ryzhikov,
2013
.
Davide Bresolin,
Guido Sciavicco,
Emilio Muñoz-Velasco,
2016,
ACM Trans. Comput. Log..
Diego Calvanese,
Michael Zakharyaschev,
Guohui Xiao,
2019,
TIME.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2015,
IJCAI.
Alessandro Artale,
Michael Zakharyaschev,
Roman Kontchakov,
2012,
TOCL.
Alessandro Artale,
Michael Zakharyaschev,
Roman Kontchakov,
2011,
FroCoS.
Alessandro Artale,
Michael Zakharyaschev,
Roman Kontchakov,
2009,
FroCoS.
Diego Calvanese,
Marcelo Arenas,
Vladislav Ryzhikov,
2016,
Description Logics.
Yannis E. Ioannidis,
Katerina El Raheb,
Vladislav Ryzhikov,
2017,
ESWC.
A. Artale,
F. Wolter,
M. Zakharyaschev,
2021,
J. Artif. Intell. Res..
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2020,
KR.
F. Wolter,
M. Zakharyaschev,
V. Ryzhikov,
2023,
ArXiv.
B. Konev,
F. Wolter,
M. Zakharyaschev,
2023,
ArXiv.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2020,
Artif. Intell..
Michael Zakharyaschev,
Vladislav Ryzhikov,
Yury Savateev,
2020,
Description Logics.
Michael Zakharyaschev,
Vladislav Ryzhikov,
Przemyslaw Andrzej Walega,
2020,
Reasoning Web.
Michael Zakharyaschev,
Guohui Xiao,
Elem Güzel Kalayci,
2017,
J. Artif. Intell. Res..
Stanislav Kikot,
Michael Zakharyaschev,
Roman Kontchakov,
2017,
Description Logics.
Stanislav Kikot,
Michael Zakharyaschev,
Roman Kontchakov,
2017,
PODS.
Alessandro Artale,
Michael Zakharyaschev,
Roman Kontchakov,
2013,
LPAR.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2014,
Description Logics.
Diego Calvanese,
Guohui Xiao,
Elem Güzel Kalayci,
2018,
CIKM.
Diego Calvanese,
Alessandro Artale,
Michael Zakharyaschev,
2007,
ER.
Diego Calvanese,
Alessandro Artale,
Michael Zakharyaschev,
2007,
Description Logics.
Boris Konev,
Carsten Lutz,
Frank Wolter,
2016,
RW.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2019,
Artif. Intell..
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2017,
TIME.
Diego Calvanese,
Michael Zakharyaschev,
Guohui Xiao,
2017,
ArXiv.
Michael Zakharyaschev,
Guohui Xiao,
Roman Kontchakov,
2017,
AAAI.
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)
pdf
Michael Zakharyaschev,
Vladislav Ryzhikov,
Przemyslaw Andrzej Walega,
2019,
IJCAI.
M. Zakharyaschev,
V. Ryzhikov,
Yury Savateev,
2020,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2019,
Description Logics.
M. Zakharyaschev,
Guohui Xiao,
R. Kontchakov,
2017,
AAAI.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2016,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2014,
KR.
Michael Zakharyaschev,
Vladislav Ryzhikov,
Agi Kurucz,
2021,
RAMiCS.
Alessandro Artale,
Michael Zakharyaschev,
Roman Kontchakov,
2010,
ER.
Alessandro Artale,
Michael Zakharyaschev,
Roman Kontchakov,
2010,
AAAI.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2016,
Artif. Intell..
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2016,
IJCAI.
A. R. Gnatenko,
A. Artale,
M. Zakharyaschev,
2024,
Description Logics.
A. R. Gnatenko,
A. Artale,
M. Zakharyaschev,
2023,
Description Logics.
A. Artale,
M. Zakharyaschev,
R. Kontchakov,
2022
.