• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Book chapter
Complexity of reasoning in Kleene algebra with sum-of-letters hypotheses

Stepan L. Kuznetsov.

In bk.: Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II. (LNCS, volume 16689). Vol. 16689. Cham: Springer, 2026. P. 161-177.

Working paper
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset

Меньшиков И. А., Бернадотт А. К., Elvimov N. S.

Statistical mechanics. arXie. arXive, 2025

Professor Sergei Kuznetsov presented a paper at IJCAI 2017

Professor Sergei Kuznetsov presented a paper at IJCAI 2017

26th International Joint Conference on Artificial Intelligence, IJCAI 2017 was held on August 19-25 in Melbourne, Australia. IJCAI is the largest and most well-recognized international forum on AI. More than 2000 participants from all over the world took part in the conference.

Russian research on AI was represented by Prof. Sergei O. Kuznetsov, the head of department for data analysis and artificial intelligence and interlnational laboratory on intelligent systems and structural analysis of Higher School of Economics. Together with French colleagues from INSA Lyon Prof. Kuznetsov submitted a paper

 Aimene Belfodil, Sergei O. Kuznetsov, Celine Robardet, Mehdi Kaytoue,

Mining Convex Polygon Patterns with Formal Concept Analysis

which was accepted to the main programme of the conference by results of reviewing.