糖心logo入口

Skip to main content

Dr Vladislav Ryzhikov

Positions held:
  • Senior Lecturer, School of Computing and Mathematical Sciences
  • Overview

    Overview

    Biography

    I work at 糖心logo入口 from 2017; first as a Lecturer in Computer Science and then a Senior Lecturer.

    Before that, I worked as an Assistant Professor (fixed term) at the Free University of Bozen-Bolzano, Italy, in the KRDB Research Centre for Knowledge and Data.

    I completed my PhD studies at聽the Free University of Bozen-Bolzano in 2010 in in the area of Knowledge Representation and Reasoning with a thesis聽鈥淒L-Lite for Static and Dynamic Conceptual Modeling鈥.

    I completed my MSc and BSc studies in Ufa, Russia.聽

    Web profiles

    Administrative responsibilities

    • Chair of sub-board of examiners for postgraduate modules

    ORCID

  • Research

    Research

    Research interests

    • Knowledge Representation and Reasoning
    • Data Management
    • Spatial and Temporal Reasoning
    • Description Logics

    Research overview

    In my current research, I apply well-known temporal and spatial logic formalisms to problems in the area of data management and analytics. I also extensively work on combining these formalisms with languages for representation of conceputual knowledge, such as description logics and Datalog, and with knowledge graph languages.

    Research clusters and groups

    • Member,
    • ,

    Research projects

    quantMD: Ontology-Based Management for Many-Dimensional Quantitative Data.

  • Supervision and teaching

    Supervision and teaching

    Supervision

    I supervise between 5 and 10 MSc projects and between 1 and 5 BSc projects each year.

    Teaching

    I teach initial programming modules on postgrad conversion programmes related to computing. Usually my modules have the students with very various backgrounds. My goal is to give all of them a solid foundation in programming to enable further studies on their programmes.

    My modules usually feature online or hybrid (online+in-person) learning activities.

    Apart from on-campus programmes, I teach

    • for the  programme

    Teaching modules

    • Principles of Programming
  • Publications

    Publications

    Article

    • Kurucz, A. and Ryzhikov, Vladislav and Savateev, Yury and Zakhariyashchev, Michael (2023) . Journal of Artificial Intelligence Research 76, ISSN 1076-9757.
    • Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakhariyashchev, Michael (2022) . Journal of Artificial Intelligence Research 75, pp. 1223-1291. ISSN 1076-9757.
    • Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakharyashchev, Michael (2022) . Journal of Artificial Intelligence Research 75, pp. 1223-1291. ISSN 1076-9757.
    • Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakhariyashchev, Michael (2021) . Artificial Intelligence 299, ISSN 0004-3702.
    • Botoeva, E. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2019) . Artificial Intelligence 272, pp. 1-51. ISSN 0004-3702.
    • Kalayci, E. and Brandt, S. and Calvanese, D. and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2019) . International Journal of Applied Mathematics and Computer Science 29 (1), pp. 17-30. ISSN 2083-8492.
    • Brandt, S. and G眉zel Kalayc谋, E. and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2018) . Artificial Intelligence Research 62, pp. 829-877. ISSN 1927-6974.
    • Bresolin, D. and Kurucz, A. and Mu帽oz-Velasco, E. and Ryzhikov, Vladislav and Sciavicco, G. and Zakharyaschev, Michael (2017) . ACM Transactions on Computational Logic 18 (3), pp. 1-39. ISSN 1529-3785.
    • Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2016) . Artificial Intelligence 234, pp. 78-119. ISSN 0004-3702.
    • Botoeva, E. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2016) . CEUR Workshop Proceedings 1577, ISSN 1613-0073.
    • Arenas, M. and Botoeva, E. and Calvanese, D. and Ryzhikov, Vladislav (2016) . Artificial Intelligence 238, pp. 11-62. ISSN 0004-3702.
    • Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2014) . ACM Transactions on Computational Logic 15 (3), ISSN 1529-3785.

    Book section

    • Artale, A. and Gnatenko, A. and Ryzhikov, Vladislav and Zakhariyashchev, Michael (2025) . In: Roy, S. and Kara, A. (eds.) 28th International Conference on Database Theory (ICDT 2025). Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl - Leibniz-Zentrum f眉r Informatik. pp. 1-19. ISBN 9783959773645.
    • Jung, J.C. and Ryzhikov, Vladislav and Wolter, F. and Zakhariyashchev, Michael (2024) . In: Larson, K. (ed.) Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. AAAI. pp. 3448-3456. ISBN 9781956792041.
    • Jung, J.C. and Ryzhikov, Vladislav and Wolter, F. and Zakhariyashchev, Michael (2024) . In: Marquis, P. and Ortiz, M. and Pagnucco, M. (eds.) Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning. IJCAI. pp. 487-497. ISBN 9781956792058.
    • Fortin, M. and Konev, B. and Ryzhikov, Vladislav and Savateev, Yury and Wolter, F. and Zakhariyashchev, Michael (2023) . In: Elkind, E. (ed.) Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence. pp. 3230-3238. ISBN 9781956792034.
    • Artale, A. and Gnatenko, A. and Ryzhikov, Vladislav and Zakhariyashchev, Michael (2023) . In: Kutz, O. and Lutz, C. and Ozaki, A. (eds.) Proceedings of the 36th International Workshop on Description Logics (DL 2023). CEUR Workshop Proceedings. CEUR.
    • Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2020) . In: Calvanese, D. and Erdem, E. and Thielscher, M. (eds.) Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). California, U.S.: IJCAI Organization. pp. 582-591. ISBN 9780999241172.
    • Brandt, S. and Calvanese, D. and G眉zel Kalayci, E. and Kontchakov, Roman and M枚rzinger, B. and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2019) . In: Gamper, J. and Pinchinat, S. and Sciavicco, G. (eds.) 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. pp. 1-15. ISBN 9783959771276.
    • Ryzhikov, Vladislav and Walega, P.A. and Zakharyaschev, Michael (2019) . In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19). International Joint Conferences on Artificial Intelligence Organization. pp. 1851-1857. ISBN 9780999241127.
    • Bienvenu, M. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V.V. and Ryzhikov, Vladislav and Zakharyaschev, Michael (2017) . In: Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '17. New York, U.S.: Associating for Computing Machinery. pp. 201-216. ISBN 9781450341981.
    • Bienvenu, M. and Kikot, S. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2017) . In: Artale, A. and Glimm, B. and Kontchakov, Roman (eds.) DL 2017: International Workshop on Description Logics. CEUR Workshop Proceedings. CEUR. ISSN 1613-0073.
    • Bienvenu, M. and Kikot, S. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2017) . In: Artale, A. and Glimm, B. and Kontchakov, Roman (eds.) DL 2017: International Workshop on Description Logics. CEUR Workshop Proceedings. CEUR. ISSN 1613-0073.
    • Brandt, S. and G眉zel Kalayc谋, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2017) . In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017). AAAI Press. pp. 1070-1076.
    • Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2017) . In: Schewe, S. and Schneider, T. and Wijsen, J. (eds.) 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. pp. 1-37. ISBN 9783959770521.
    • Botoeva, E. and Konev, B. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2017) . In: Pan, J.Z. and Calvanese, D. and Eiter, T. and Horrocks, I. and Kifer, M. and Lin, F. and Zhao, Y. (eds.) Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering. Lecture Notes in Computer Science. New York, U.S.: Springer. pp. 27-89. ISSN 0302-9743. ISBN 9783319494920.
    • Kontchakov, Roman and Pandolfo, L. and Pulina, L. and Ryzhikov, Vladislav and Zakharyaschev, Michael (2016) . In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16). Palo Alto, California USA: AAAI Press. pp. 1160-1166. ISBN 9781577357704.
    • Botoeva, E. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2016) . In: The 25th International Joint Conference on Artificial Intelligence IJCAI-16. Palo Alto, U.S.: AAAI Press / International Joint Conferences on Artificial Intelligence. pp. 1001-1007. ISBN 9781577357704.
    • Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2015) . In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. Palo Alto, U.S.: AAAI Press. pp. 4240-4246. ISBN 9781577357384.
    • Artale, A. and Kovtunova, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2015) . In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015.. Palo Alto, U.S.: AAAI Press. pp. 2706-2712. ISBN 9781577357384.
    • Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2015) . In: Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI-15. AAAI. pp. 1417-1423.
    • Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2015) . In: Proceedings of the 28th International Workshop on Description Logics. CEUR-WS.
    • Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2014) . In: Bienvenu, M. and Ortiz, M. and Rosati, R. and Simkus, M. (eds.) Informal Proceedings of DL (Vienna, 17-20 July). CEUR Workshop Proceedings. CEUR. pp. 83-95.
    • Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2014) . In: Bienvenu, M. and Ortiz, M. and Rosati, R. and Simkus, M. (eds.) Informal Proceedings of DL (Vienna, 17-20 July). CEUR Workshop Proceedings. CEUR. pp. 21-32.
    • Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2014) . In: Baral, C. and De Giacomo, G. and Eiter, T. (eds.) Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-14). California, U.S.: AAAI Press. ISBN 9781577356578.
    • Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2013) . In: Eiter, T. and Glimm, B. and Kazakov, Y. and Kr枚tzsch, M. (eds.) Informal Proceedings of DL (Ulm, 23-26 July). CEUR Workshop Proceedings. CEUR-WS. pp. 353-363.
    • Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2013) . In: McMillan, K. and Middeldorp, A. and Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science. Berlin, Germany: Springer. pp. 35-52. ISBN 9783642452215.
    • Artale, A. and Ryzhikov, Vladislav and Kontchakov, Roman (2012) . In: de Raedt, L. and Bessiere, C. and Dubois, D. and Doherty, P. and Frasconi, P. and Heintz, F. and Lucas, P. (eds.) Frontiers in Artificial Intelligence and Applications. Amsterdam, The Netherlands: IOS Press. pp. 61-66. ISBN 9781614990970.
    • Artale, A. and Ib谩帽ez-Garc铆a, Y. and Kontchakov, Roman and Ryzhikov, Vladislav (2011) . In: Proceedings of the DL Home 2011 International Workshop on Description Logics (DL2011) - Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings. CEUR Workshop Proceedings. ISSN 1613-0073.
    • Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2011) . In: Tinelli, C. and Sofronie-Stokkermans, V. (eds.) Frontiers of Combining Systems. Lecture Notes in Computer Science. Berlin, Germany: Springer. pp. 1-11. ISSN 0302-9743. ISBN 9783642243639.
    • Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2010) . In: Parsons, J. and Saeki, M. and Shoval, P. and Woo, C. and Wand, Y. (eds.) Conceptual Modeling 鈥 ER 2010. Lecture Notes in Computer Science. Berlin, Germany: Springer. pp. 174-187. ISSN 0302-9743. ISBN 9783642163722.
    • Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2010) . In: Haarslev, V. and Toman, D. and Weddell, G. (eds.) Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. CEUR Workshop Proceedings. CEUR Workshop Proceedings. pp. 9-19.
    • Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2010) . In: Fox, M. and Poole, D. (eds.) Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. California, U.S.: AAAI Press. pp. 243-248. ISBN 9781577354659.
    • Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2009) . In: Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings. CEUR Workshop Proceedings.
    • Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2009) . In: Ghilardi, S. and Sebastiani, R. (eds.) Frontiers of Combining Systems. Lecture Notes in Computer Science. Berlin, Germany: Springer. pp. 133-148. ISSN 0302-9743. ISBN 9783642042218.
    • Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2008) . In: Baader, F. and Lutz, C. and Motik, B. (eds.) Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. CEUR Workshop Proceedings. CEUR Workshop Proceedings.
    • Artale, A. and Calvanese, D. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, M. (2007) . In: Calvanese, D. and Franconi, E. and Haarslev, V. and Lembo, D. and Motik, B. and Turhan, A.-Y. and Tessaris, S. (eds.) Proceedings of the 2007 International Workshop on Description Logics. CEUR Workshop Proceedings. CEUR Workshop Proceedings.
    • Artale, A. and Calvanese, D. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, M. (2007) . In: Parent, C. and Schewe, K.-D. and Storey, V.S. and Thalheim, B. (eds.) Conceptual Modeling, ER 2007: 26th International Conference on Conceptual Modeling. Lecture Notes in Computer Science. Springer. pp. 277-292. ISBN 9783540755623.

    Conference item

    • Fortin, M. and Konev, B. and Ryzhikov, Vladislav and Savateev, Yury and Wolter, F. and Zakhariyashchev, Michael (2022) . 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, 2022, Haifa, Israel
    • Kurucz, A. and Ryzhikov, Vladislav and Savateev, Yury and Zakhariyashchev, Michael (2021) . RAMICS 2021: International Conference on Relational and Algebraic Methods in Computer Science, 2021, Marseille, France
    • Ryzhikov, Vladislav and Savateev, Yury and Zakhariyashchev, Michael (2021) . TIME 2021: 28th International Symposium on Temporal Representation and Reasoning, 2021, University of Klagenfurt, Austria (online)

    External Repositories