糖心logo入口

Skip to main content

Prof Michael Zakharyaschev

Positions held:
  • Professor of Computer Science, School of Computing and Mathematical Sciences
  • Overview

    Overview

    Biography

    Alma Mater: Faculty of Computational Mathematics and Cybernetics, Moscow State University, Russia.

    PhD in mathematics (1985), Novosibirsk State University, Russia聽

    Habilitation in Mathematics (1998),聽Novosibirsk State University, Russia聽

    Alexander von Humboldt Stiftung: Research Fellow at Freie Iniversitat Berlin (1995-97)

    Web profiles

    Administrative responsibilities

    • School Research Lead
    • School REF lead

    ORCID

  • Research

    Research

    Research interests

    • Mathematical logic, logic in computer science
    • Knowledge Representation and Reasoning

    Research overview

    Principal Investigator in 8 funded three-year EPSRC projects

    Journal and conference publications:

    聽Computer Science bibliography

    Research monographs:

    聽Elsevier, 2003

    聽Oxford University Press, 1997

    Edited books:

    Research clusters and groups

  • Supervision and teaching

    Supervision and teaching

    Teaching

    Teaching modules

    • Fundamentals of Computing
  • Publications

    Publications

    Article

    • Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2025) . Logical Methods in Computer Science 21 (4), pp. 6:1-6:1鈥6:51. ISSN 1860-5974.
    • Kurucz, A. and Wolter, F. and Zakharyashchev, Michael (2025) . Journal of Symbolic Logic ISSN 0022-4812.
    • 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.
    • Gerasimova, O. and Kikot, Stanislav and Kurucz, A. and Podolskii, V. and Zakharyashchev, Michael (2022) . Artificial Intelligence 309, pp. 103738. ISSN 0004-3702.
    • 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.
    • Kikot, Stanislav and Kurucz, A. and Tanaka, Y. and Wolter, F. and Zakharyaschev, Michael (2019) . Journal of Symbolic Logic 84 (2), pp. 533-588. ISSN 0022-4812.
    • 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.
    • Bienvenu, M. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2018) . Journal of the ACM 65 (5), ISSN 0004-5411.
    • 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.
    • Konev, B. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2015) . CEUR Workshop Proceedings ISSN 1613-0073.
    • Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2014) . ACM Transactions on Computational Logic 15 (3), ISSN 1529-3785.
    • Gottlob, G. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Schwentick, T. and Zakharyaschev, Michael (2014) . Artificial Intelligence 213, pp. 42-59. ISSN 0004-3702.
    • Kontchakov, Roman and Pratt-Hartmann, I. and Zakharyaschev, Michael (2014) . Artificial Intelligence 217, pp. 43-75. ISSN 0004-3702.
    • Kontchakov, Roman and Nenov, Y. and Pratt-Hartmann, I. and Zakharyaschev, Michael (2013) . ACM Transactions on Computational Logic 14 (2), pp. 13. ISSN 1529-3785.
    • Mosurovic, N. and Krdzavac, H. and Graves, M. and Zakharyaschev, Michael (2013) . Journal of Artificial Intelligence Research 47, pp. 809-851. ISSN 1076-9757.
    • Kurucz, A. and Wolter, F. and Zakharyaschev, Michael Rosati, R. and Rudolph, S. and Zakharyaschev, Michael, eds. (2011) . CEUR Workshop Proceedings. CEUR Workshop Proceedings (745), ISSN 1613-0073.
    • Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2010) . Artificial Intelligence 174 (15), pp. 1093-1141. ISSN 0004-3702.
    • Kontchakov, Roman and Pratt-Hartmann, I. and Wolter, F. and Zakharyaschev, Michael (2010) . Logical Methods in Computer Science 6 (3), pp. 1-43. ISSN 1860-5974.
    • Sheremet, M. and Wolter, F. and Zakharyaschev, Michael (2010) . Annals of Pure and Applied Logic 161 (4), pp. 534-559. ISSN 0168-0072.
    • Artale, A. and Calvanese, D. and Kontchakov, Roman and Zakharyaschev, Michael (2009) . Journal of Artificial Intelligence Research 36 (1), pp. 1-69. ISSN 1076-9757.
    • Wolter, F. and Zakharyaschev, Michael (2008) . ACM Transactions on Computational Logic 9 (4), ISSN 1529-3785.
    • Sheremet, M. and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2007) . Journal of Logic and Computation 17 (3), pp. 415-452. ISSN 0955-792X.
    • Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2006) . Annals of Pure and Applied Logic 42 (1-3), pp. 245-268. ISSN 0168-0072.
    • Rautenberg, W. and Zakharyaschev, Michael and Wolter, F. (2006) . Studia Logica 83 (1-3), pp. 15-30. ISSN 0039-3215.
    • Wolter, F. and Zakharyaschev, Michael (2006) . CoRR
    • Gabelaia, D. and Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2005) . Journal of Artificial Intelligence Research 23, pp. 167-243. ISSN 1076-9757.
    • Wolter, F. and Zakharyaschev, Michael (2005) . The journal of Symbolic Logic 70 (3), pp. 795-828. ISSN 0022-4812.
    • Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2005) . The journal of Symbolic Logic 70 (3), pp. 993-1021. ISSN 0022-4812.

    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.
    • Jung, J.C. and Papacchini, F. and Wolter, F. and Zakharyaschev, Michael (2019) . In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM. ISBN 9781728136080.
    • 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.
    • Xiao, G. and Calvanese, D. and Kontchakov, Roman and Lembo, D. and Poggi, A. and Rosati, R. and Zakharyaschev, Michael (2018) . In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence. pp. 5511-5519. ISBN 9780999241127.
    • Kikot, Stanislav and Kontchakov, Roman and Rapisarda, Salvatore and Zakharyaschev, Michael (2018) . In: Panetto, H. and Debruyne, C. and Proper, H. and Ardagna, C. and Roman, D. and Meersman, R. (eds.) On the Move to Meaningful Internet Systems. OTM 2018 Conferences. LNCS. Springer. pp. 441-460. ISBN 9783030026707.
    • 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.
    • Gerasimova, O. and Kikot, S. and Podolskii, V. 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 Workshop Proceedings. 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.
    • Hovland, D. and Kontchakov, Roman and Skj忙veland, M. and Waaler, A. and Zakharyaschev, Michael (2017) . In: D'Amato, C. and Fern谩ndez, M. and Tamma, V. and Lecue, F. and Cudr茅-Mauroux, P. and Sequeda, J. and Lange, C. and Heflin, J. (eds.) The Semantic Web 鈥 ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings. Lecture Notes in Computer Science. Springer. pp. 120-129. ISBN 9783319682037.
    • 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.
    • Bienvenu, M. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2016) . In: Proceedings of the 29th International Workshop on Description Logics. CEUR-WS.
    • 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.
    • Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2014) . In: Henzinger, T. and Miller, D. (eds.) CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, U.S.: ACM. pp. 57:1-57:10. ISBN 9781450328869.
    • 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 Zakharyaschev, Michael (2014) . In: Koubarakis, M. and Stamou, G. and Stoilos, G. and Horrocks, I. and Kolaitis, P. and Lausen, G. and Weikum, G. (eds.) Reasoning Web. Reasoning and the Web in the Big Data Era. Lecture Notes in Computer Science. Berlin, Germany: Springer. pp. 195-244. ISBN 9783319105864.
    • Kontchakov, Roman and Rezk, M. and Rodr铆guez-Muro, M. and Xiao, G. and Zakharyaschev, Michael (2014) . In: Mika, P. and Tudorache, T. and Bernstein, A. and Welty, C. and Knoblock, C. and Vrande膷i膰, D. and Groth, P. and Noy, N. and Janowicz, K. and Goble, C. (eds.) The Semantic Web 鈥 ISWC 2014. Lecture Notes in Computer Science. Berlin, Germany: Springer. pp. 552-567. ISBN 9783319119632.
    • Artale, A. and Kontchakov, Roman and Wolter, F. 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. 17-28.
    • 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.
    • Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. 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. 316-327.
    • Kontchakov, Roman and Rodr铆guez-Muro, M. and Zakharyaschev, Michael (2013) . In: Rudolph, S. and Gottlob, G. and Horrocks, I. and van Harmelen, F. (eds.) Reasoning Web. Semantic Technologies for Intelligent Data Access. Lecture Notes in Computer Science. Berlin, Germany: Springer. pp. 194-229. ISBN 9783642397837.
    • Artale, A. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2013) . In: Rossi, F. (ed.) Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. California, U.S.: AAAI Press. pp. 711-717. ISBN 9781577356332.
    • Rodr铆guez-Muro, M. and Kontchakov, Roman and Zakharyaschev, Michael (2013) . In: Alani, H. and et al., None (eds.) The Semantic Web 鈥 ISWC 2013. Lecture Notes in Computer Science. Berlin, Germany: Springer. pp. 558-573. ISBN 9783642413346.
    • 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.
    • Kikot, Stanislav and Kontchakov, Roman and Zakharyaschev, Michael (2012) . In: Brewka, G. and Eiter, T. and McIlraith, S.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference. California, U.S.: AAAI Press. pp. 275-285. ISBN 9781577355601.
    • Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2012) . In: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. CEUR Workshop Proceedings. CEUR Workshop Proceedings. ISSN 1613-0073.
    • Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2012) . In: Czumaj, A. and Mehlhorn, K. and Pitts, A. and Wattenhofer, R. (eds.) Automata, Languages, and Programming. Lecture Notes in Computer Science. Berlin, Germany: Springer. pp. 263-274. ISSN 0302-9743. ISBN 9783642315848.
    • Kontchakov, Roman and Lutz, C. and Toman, D. and Wolter, F. and Zakharyaschev, Michael (2011) . In: Walsh, T. (ed.) Twenty-Second International Joint Conference on Artificial Intelligence. California, U.S.: AAAI Press. pp. 2656-2661. ISBN 9781577355120.
    • Konev, B. and Kontchakov, Roman and Michel, L. and Schneider, T. and Wolter, F. and Zakharyaschev, Michael (2011) . In: Burgard, W. and Roth, D. (eds.) Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence. California, U.S.: AAAI Press. pp. 221-226. ISBN 9781577355076.
    • Kikot, Stanislav and Kontchakov, Roman and Zakharyaschev, Michael (2011) . In: Rosati, R. and Rudolph, S. and Zakharyaschev, Michael (eds.) Proceedings of the 24th International Workshop of Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings. CEUR Workshop Proceedings.
    • Konev, B. and Kontchakov, Roman and Ludwig, M. and Schneider, T. and Wolter, F. and Zakharyaschev, Michael (2011) . In: Proceedings of the 24th International Workshop of Description Logics (DL 2011), 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.
    • Kontchakov, Roman and Nenov, Y. and Pratt-Hartmann, I. and Zakharyaschev, Michael (2011) . In: Walsh, T. (ed.) Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. California, U.S.: AAAI Press. pp. 957-962. ISBN 9781577355120.
    • Kikot, Stanislav and Kontchakov, Roman and Zakharyaschev, Michael (2011) . In: Rudolph, S. and Gutierrez, C. (eds.) Web Reasoning and Rule Systems (5th International Conference, RR 2011). Lecture Notes in Computer Science. Berlin, Germany: Springer. pp. 124-138. ISSN 0302-9743. ISBN 9783642235795.
    • Zakharyaschev, Michael (2011) . In: Kutz, O. and Schneider, T. (eds.) Modular Ontologies. Frontiers in Artificial Intelligence and Applications. Amsterdam, The Netherlands: IOS Press. pp. 10-11. ISBN 9781607507987.
    • Zakharyaschev, Michael (2011) . In: Beklemishev, L.D. and Queiroz, R.J.G.B. (eds.) Logic, Language, Information and Computation. Lecture Notes In Computer Science. Berlin, Germany: Springer. pp. 6-7. ISSN 0302-9743. ISBN 9783642209192.
    • Kontchakov, Roman and Lutz, C. and Toman, D. and Wolter, F. and Zakharyaschev, Michael (2010) . In: Lin, F. and Sattler, U. and Truszczynski, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. California, U.S.: AAAI Press. ISBN 9781577354512.
    • Kontchakov, Roman and Pratt-Hartmann, I. and Zakharyaschev, Michael (2010) . In: Lin, F. and Sattler, U. and Truszczynski, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. California, U.S.: AAAI Press. pp. 534-544. ISBN 9781577354512.
    • 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.
    • Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2010) . In: Beklemishev, L. and Goranko, V. and Shehtman, V. (eds.) Papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27. Advances In Modal Logic. London, UK: College Publications. pp. 271-291. ISBN 9781848900134.
    • Artale, A. and Calvanese, D. and Kontchakov, Roman 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.
    • Kontchakov, Roman and Lutz, C. and Toman, D. and Wolter, F. 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 Calvanese, D. and Kontchakov, Roman 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: 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.
    • Kontchakov, Roman and Pulina, L. and Sattler, U. and Schneider, T. and Selmer, Petra and Wolter, F. and Zakharyaschev, Michael (2009) . In: Boutilier, C. (ed.) IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. California, U.S.: AAAI Press. pp. 836-841. ISBN 9781577354260.
    • 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.
    • Zakharyaschev, Michael and Sattler, U. and Schneider, T. (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.
    • 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.
    • Kontchakov, Roman and Pratt-Hartmann, I. and Wolter, F. and Zakharyaschev, Michael (2008) . In: Areces, C. and Goldblatt, R. (eds.) Advances in Modal Logic. London, UK: College Publications. pp. 151-176. ISBN 9781904987680.
    • Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2008) . In: Brewka, G. and Lang, J. (eds.) Proceedings, Eleventh International Conference on Principles of Knowledge Representation and Reasoning (2008). California, U.S.: AAAI Press. pp. 285-295. ISBN 9781577353843.
    • Kontchakov, Roman and Pratt-Hartmann, I. and Wolter, F. and Zakharyaschev, Michael (2008) . In: Cervesato, C. and Veith, V. and Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science. Berlin, Germany: Springer. pp. 574-589. ISBN 9783540894384.
    • Kontchakov, Roman and Zakharyaschev, Michael (2008) . In: Domingue, J. and Anutariya, C. (eds.) The Semantic Web. Lecture Notes in Computer Science. Berlin, Germany: Springer. pp. 16-30. ISSN 0302-9743. ISBN 9783540897033.
    • Kontchakov, Roman and Zakharyaschev, Michael (2008) . In: Domingue, J. and Anutariya, C. (eds.) ASWC 2008: The Semantic Web. Lecture Notes in Computer Science. Springer. pp. 16-30. ISBN 9783540897033.
    • Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2008) . In: Demri, S. and Jensen, D.S. (eds.) 2008 15th International Symposium on Temporal Representation and Reasoning. Piscataway, U.S.: IEEE Computer Society. pp. 3-14. ISBN 9780769531816.
    • Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2007) . In: Aiello, M. and Pratt-Hartmann, I. and Van Benthem, J. (eds.) Handbook of Spatial Logics. Berlin, Germany: Springer. pp. 497-564. ISBN 9781402055867.
    • Zakharyaschev, Michael (2007) . In: Konev, B. and Wolter, F. (eds.) FroCoS 2007: Frontiers of Combining Systems, 6th International Symposium. Lecture Notes in Computer Science. Springer. pp. 72-72. ISBN 9783540746201.
    • Wolter, F. and Zakharyaschev, Michael (2007) . In: Blackburn, P. and van Benthem, J.F.A.K. and Wolter, F. (eds.) Handbook of Modal Logic. Studies in logic and practical reasoning. North-Holland. pp. 427-489. ISBN 9780444516909.
    • Ghilardi, S. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2006) . In: Governatori, G. and Hodkinson, I.M. and Venema, Y. (eds.) Advances in Modal Logic 6. College Publications. pp. 187-207. ISBN 9781904987208.
    • Sheremet, Mikhail and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2006) . In: Governatori, G. and Hodkinson, I.M. and Venema, Y. (eds.) Advances in Modal Logic 6. College Publications. pp. 429-448. ISBN 9781904987208.
    • Hustadt, U. and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2006) . In: Fisher, M. and van der Hoek, W. and Konev, B. and Lisitsa, A. (eds.) JELIA 2006: Logics in Artificial Intelligence. Lecture Notes in Computer Science. Springer. pp. 490-493. ISBN 9783540396253.
    • Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2005) . In: Artemov, S.N. and Barringer, H. and d'Avila Garcez, A.S. and Lamb, L.C. and Woods, J. (eds.) We Will Show Them! Essays in Honour of Dov Gabbay. College Publications. pp. 193-108. ISBN 9781904987116.
    • Konev, B. and Wolter, F. and Zakharyaschev, Michael (2005) . In: Nieuwenhuis, R. (ed.) CADE-20: Automated Deduction. Lecture Notes in Computer Science. Springer. pp. 182-203. ISBN 9783540280057.

    Conference item

    • Kuijer, L. and Tan, T. and Wolter, F. and Zakharyaschev, Michael (2025) . 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025, Singapore
    • Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2023) . The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), 2023, Rhodes, Greece
    • 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