• 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

Research & Expertise – News

9th Workshop "What Can FCA Do for Artificial Intelligence?" (FCA4AI)

9th Workshop "What Can FCA Do for Artificial Intelligence?" (FCA4AI)
21 августа 2021 г. состоялся 9-й международный семинар “What Can FCA Do for Artificial Intelligence?”.

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.

Joint Project with University of Stellenbosch

Joint Project with University of Stellenbosch
In the end of November Sergei Kuznetsov, Head of the School of Data Analysis and Artificial Intelligence, and Dmitry Ilvovsky, Junior Research Fellow at the International Laboratory for Intelligent Systems and Structural Analysis visited the University of Stellenbosch in South Africa.

Alexey Buzmakov Presented Paper at Conference in Porto

On September 7-11 the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases was held in Porto, Portugal.

Graduate of the School of Data Analysis and Artificial Intelligence Defends Thesis at TU Dresden

On August 21 Artem Revenko defended his thesis on ‘Automatic Construction of Implicative Theories for Mathematical Domains’ at the Faculty of Computer Science at Dresden University of Technology.
1 2