R. Kontchakov
发表
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2003,
FLAIRS.
Yavor Nenov,
Michael Zakharyaschev,
Roman Kontchakov,
2011,
IJCAI.
Alessandro Artale,
Michael Zakharyaschev,
Roman Kontchakov,
2010,
Description Logics.
Diego Calvanese,
Antonella Poggi,
Riccardo Rosati,
2018,
IJCAI.
Diego Calvanese,
Alessandro Artale,
Michael Zakharyaschev,
2009,
J. Artif. Intell. Res..
R. Kontchakov,
2007
.
M. Zakharyaschev,
R. Kontchakov,
S. Kikot,
2020
.
A. Artale,
F. Wolter,
M. Zakharyaschev,
2021,
ArXiv.
A. Artale,
F. Wolter,
M. Zakharyaschev,
2022,
IJCAI.
M. Zakharyaschev,
R. Kontchakov,
M. Skjæveland,
2017
.
M. Zakharyaschev,
R. Kontchakov,
V. Podolskii,
2013
.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2007,
Handbook of Spatial Logics.
Egor V. Kostylev,
Roman Kontchakov,
R. Kontchakov,
2016,
KR.
Diego Calvanese,
Guohui Xiao,
Roman Kontchakov,
2016,
Semantic Web.
Michael Zakharyaschev,
Roman Kontchakov,
Ágnes Kurucz,
2005,
Bull. Symb. 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.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2011,
J. Artif. Intell. Res..
Diego Calvanese,
Guohui Xiao,
Roman Kontchakov,
2018,
SEMWEB.
Michael Zakharyaschev,
Guohui Xiao,
Roman Kontchakov,
2014,
SEMWEB.
A. Artale,
F. Wolter,
M. Zakharyaschev,
2021,
J. Artif. Intell. Res..
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2020,
KR.
Frank Wolter,
Ian M. Hodkinson,
Michael Zakharyaschev,
2003,
10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2020,
Artif. Intell..
Stanislav Kikot,
Michael Zakharyaschev,
Roman Kontchakov,
2016,
J. ACM.
Stanislav Kikot,
Michael Zakharyaschev,
Roman Kontchakov,
2017,
Description Logics.
Stanislav Kikot,
Michael Zakharyaschev,
Roman Kontchakov,
2017,
PODS.
Jean Christoph Jung,
Roman Kontchakov,
Víctor Gutiérrez-Basulto,
2016,
IJCAI.
Alessandro Artale,
Michael Zakharyaschev,
Roman Kontchakov,
2013,
LPAR.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2013,
IJCAI.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2008,
Advances in Modal Logic.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2014,
Description Logics.
Diego Calvanese,
Guohui Xiao,
Roman Kontchakov,
2020,
Description Logics.
Michael Zakharyaschev,
Roman Kontchakov,
Mariano Rodriguez-Muro,
2013,
SEMWEB.
Diego Calvanese,
Alessandro Artale,
Michael Zakharyaschev,
2007,
ER.
Diego Calvanese,
Alessandro Artale,
Michael Zakharyaschev,
2007,
Description Logics.
Thomas Schwentick,
Georg Gottlob,
Stanislav Kikot,
2014,
Artif. Intell..
Michael Zakharyaschev,
Roman Kontchakov,
Mariano Rodriguez-Muro,
2013,
Reasoning Web.
Stanislav Kikot,
Michael Zakharyaschev,
Roman Kontchakov,
2012,
KR.
Stanislav Kikot,
Michael Zakharyaschev,
Roman Kontchakov,
2012,
ICALP.
Stanislav Kikot,
Michael Zakharyaschev,
Roman Kontchakov,
2012,
Description Logics.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2017,
TIME.
Diego Calvanese,
Guohui Xiao,
Roman Kontchakov,
2015,
SEBD.
Michael Zakharyaschev,
Roman Kontchakov,
M. Zakharyaschev,
2014,
Reasoning Web.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2010,
Log. Methods Comput. Sci..
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2008,
KR.
Boris Konev,
Frank Wolter,
Michael Zakharyaschev,
2006,
Studia Logica: An International Journal for Symbolic Logic.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2010,
Artif. Intell..
Luca Pulina,
Ulrike Sattler,
Frank Wolter,
2009,
IJCAI.
Michael Zakharyaschev,
Guohui Xiao,
Roman Kontchakov,
2017,
AAAI.
Michael Zakharyaschev,
Roman Kontchakov,
Ian Pratt-Hartmann,
2014,
Artif. Intell..
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2011,
IJCAI.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2010,
KR.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2019,
Description Logics.
Egor V. Kostylev,
Roman Kontchakov,
Víctor Gutiérrez-Basulto,
2015,
J. Web Semant..
Marie-Laure Mugnier,
Roman Kontchakov,
M. Mugnier,
2014,
Lecture Notes in Computer Science.
M. Zakharyaschev,
Guohui Xiao,
R. Kontchakov,
2017,
AAAI.
Yavor Nenov,
Michael Zakharyaschev,
Roman Kontchakov,
2011,
TOCL.
C. Lutz,
F. Wolter,
R. Kontchakov,
2005
.
Frank Wolter,
Roman Kontchakov,
Agi Kurucz,
2007
.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2014,
KR.
Boris Konev,
Frank Wolter,
Michael Zakharyaschev,
2006,
Advances in Modal Logic.
Alessandro Artale,
Michael Zakharyaschev,
Roman Kontchakov,
2010,
ER.
Alessandro Artale,
Michael Zakharyaschev,
Roman Kontchakov,
2010,
AAAI.
M. Zakharyaschev,
R. Kontchakov,
Meghyn Bienvenu,
2016,
J. ACM.
R. Kontchakov,
J. Smithson,
Chatrakul Na Ayudhya,
2019
.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2016,
Artif. Intell..
A. Artale,
M. Zakharyaschev,
R. Kontchakov,
2022
.