Roman Kontchakov

发表

Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2009, Description Logics.

Diego Calvanese, Michael Zakharyaschev, Guohui Xiao, 2019, TIME.

Carsten Lutz, Frank Wolter, Alessandro Artale, 2007, 14th International Symposium on Temporal Representation and Reasoning (TIME'07).

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2010, Artif. Intell..

Jean Christoph Jung, Roman Kontchakov, Víctor Gutiérrez-Basulto, 2016, IJCAI.

Michael Zakharyaschev, Roman Kontchakov, M. Zakharyaschev, 2014, Reasoning Web.

Michael Zakharyaschev, Roman Kontchakov, Vladislav Ryzhikov, 2013, Description Logics.

Michael Zakharyaschev, Guohui Xiao, Roman Kontchakov, 2014, SEMWEB.

Michael Zakharyaschev, Roman Kontchakov, Mariano Rodriguez-Muro, 2013, SEMWEB.

Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2015, Description Logics.

Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2004, Stud Logica.

Frank Wolter, Roman Kontchakov, Agi Kurucz, 2007 .

Michael Zakharyaschev, Roman Kontchakov, Mariano Rodriguez-Muro, 2013, Description Logics.

Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2012, TOCL.

Yavor Nenov, Michael Zakharyaschev, Roman Kontchakov, 2011, IJCAI.

Marie-Laure Mugnier, Roman Kontchakov, M. Mugnier, 2014, Lecture Notes in Computer Science.

Frank Wolter, Alessandro Artale, Michael Zakharyaschev, 2013, IJCAI.

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2007, Handbook of Spatial Logics.

Michael Zakharyaschev, Roman Kontchakov, 2008, ASWC.

Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2014, CSL-LICS.

Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2017, PODS.

Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2011, RR.

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2008, Description Logics.

Diego Calvanese, Guohui Xiao, Roman Kontchakov, 2018, SEMWEB.

Diego Calvanese, Guohui Xiao, Roman Kontchakov, 2015, SEBD.

Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2018, OTM Conferences.

Michael Zakharyaschev, Roman Kontchakov, Mariano Rodriguez-Muro, 2013, ORE.

Michael Zakharyaschev, Roman Kontchakov, Ágnes Kurucz, 2005, Bull. Symb. Log..

Yavor Nenov, Michael Zakharyaschev, Roman Kontchakov, 2011, TOCL.

Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2007, ER.

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, 2012, ECAI.

Frank Wolter, Alessandro Artale, Michael Zakharyaschev, 2014, Description Logics.

Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2011, FroCoS.

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2008, Advances in Modal Logic.

Michael Zakharyaschev, Roman Kontchakov, Ian Pratt-Hartmann, 2014, Artif. Intell..

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2014, Description Logics.

Boris Konev, Frank Wolter, Michael Zakharyaschev, 2006, Studia Logica: An International Journal for Symbolic Logic.

Boris Konev, Frank Wolter, Michael Zakharyaschev, 2011, AAAI.

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2011, J. Artif. Intell. Res..

Michael Zakharyaschev, Roman Kontchakov, Mariano Rodriguez-Muro, 2013, Reasoning Web.

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2007, Description Logics.

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2019, Description Logics.

Egor V. Kostylev, Roman Kontchakov, Víctor Gutiérrez-Basulto, 2013, RR.

Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2016, J. ACM.

Diego Calvanese, Guohui Xiao, Roman Kontchakov, 2016, Semantic Web.

Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2012, KR.

Egor V. Kostylev, Roman Kontchakov, Víctor Gutiérrez-Basulto, 2015, J. Web Semant..

Arild Waaler, Michael Zakharyaschev, Roman Kontchakov, 2017, International Semantic Web Conference.

Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2007, SEBD.

Boris Konev, Frank Wolter, Michael Zakharyaschev, 2011, Description Logics.

Luca Pulina, Michael Zakharyaschev, Roman Kontchakov, 2016, IJCAI.

Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2011, Description Logics.

Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2017, Description Logics.

Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2010, ER.

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, 2013, Description Logics.

Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2009, Description Logics.

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2003, FLAIRS.

Jean Christoph Jung, Roman Kontchakov, Víctor Gutiérrez-Basulto, 2016, Description Logics.

Thomas Schwentick, Georg Gottlob, Stanislav Kikot, 2014, Artif. Intell..

Frank Wolter, Alessandro Artale, Michael Zakharyaschev, 2020, Artif. Intell..

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2008, LPAR.

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2020, KR.

Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2010, Description Logics.

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2016, Artif. Intell..

Michael Zakharyaschev, Guohui Xiao, Roman Kontchakov, 2017, AAAI.

Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2014, ArXiv.

Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2010, KR.

Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2009, FroCoS.

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2008, KR.

Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2009, Description Logics.

Frank Wolter, Alessandro Artale, Michael Zakharyaschev, 2017, TIME.

Stefania Costantini, William Van Woensel, Enrico Franconi, 2017, Lecture Notes in Computer Science.

Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2013, LPAR.

Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2012, ICALP.

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2010, Log. Methods Comput. Sci..

Egor V. Kostylev, Roman Kontchakov, R. Kontchakov, 2016, KR.

Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2007, AAAI.

Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2016, Description Logics.

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2014, KR.

Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2012, Description Logics.

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, 2011, Description Logics.

Diego Calvanese, Antonella Poggi, Riccardo Rosati, 2018, IJCAI.

Roman Kontchakov, Víctor Gutiérrez-Basulto, Yazmin Angélica Ibáñez-García, 2012, RR.

Boris Konev, Frank Wolter, Michael Zakharyaschev, 2006, Advances in Modal Logic.

Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2013, Description Logics.

Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2010, AAAI.

Michael Zakharyaschev, Roman Kontchakov, Mariano Rodriguez-Muro, 2013, OWLED.

Luca Pulina, Ulrike Sattler, Frank Wolter, 2009, IJCAI.

Michael Zakharyaschev, Roman Kontchakov, Ian Pratt-Hartmann, 2010, KR.

Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2017, Description Logics.

Frank Wolter, Alessandro Artale, Michael Zakharyaschev, 2015, IJCAI.

Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2015, AAAI.

Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2007, Description Logics.

Diego Calvanese, Guohui Xiao, Roman Kontchakov, 2018, ArXiv.

Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2009, J. Artif. Intell. Res..

Diego Calvanese, Guohui Xiao, Roman Kontchakov, 2020, Description Logics.

Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2009, Description Logics.

Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2011, IJCAI.

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2015, IJCAI.

Frank Wolter, Alessandro Artale, Michael Zakharyaschev, 2021, ArXiv.

Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2007 .

Michael Zakharyaschev, Roman Kontchakov, 2009 .

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2009 .