• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Deciding Boundedness of Monadic Sirups
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
September 11, 2026
How to Assess Students Knowledge in the Age of AI
A researcher at HSE University has proposed a flowchart to help lecturers decide how to assess students who use artificial intelligence. It shows where the use of AI should be restricted and where it can be incorporated into the learning process. The article has been published in IT Professional.
September 9, 2026
‘Balkan Hospitality Opens Doors: Studying Dialects on the Verge of Extinction
You cannot study spoken dialects from books. Instead, you need to go to a village, seek out its elders, and earn the trust of local residents before you can record hours of spontaneous stories. This is how Natalia Muravleva, Associate Professor at the Faculty of Humanities, conducts her research. Her internship in Serbia continued her long-standing study of dialects spoken by Macedonian settlers. In this interview, she discusses how diaspora cultural centres help researchers reach informants, why native speakers need to be interviewed only in their own language (otherwise, as she puts it, they may 'break'), and how a single field season helped her finalise her monograph. She also shares warm memories of autumn in Belgrade and of colleagues with whom grammar can be discussed in three languages at once.
September 9, 2026
Scientists Train Neural Network to Generate Process Plans from 3D Models
Researchers at the HSE FCS AI and Digital Science Institute have developed CAD2TechSpec, a framework that converts 3D models of mechanical parts into machining process plans—step-by-step instructions for machine tools. The solution aims to reduce the time required for the design and preparation of technical process documentation in mechanical engineering, aircraft manufacturing, and other high-tech industries. The study findings have been published in PeerJ Computer Science.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Deciding Boundedness of Monadic Sirups

P. 370–387.
Kikot S., Kurucz A., Podolskii V. V., Zakharyaschev M.
Language: English
DOI
Text on another site
Keywords: theory of computationartificial intelligenceknowledge representation and reasoningComputing methodologies
Publication based on the results of:
Mathematical methods in studies of algorithmic complexity and formal languages (2021)

In book

PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
NY: Association for Computing Machinery (ACM), 2021.
Similar publications
Искусственный интеллект и этика будущего
Medushevsky A. N., Liberal.ru 2026
Today, more than ever before, the contribution of new technologies shapes the conditions of humanity's existence as a biological species, prompting a debate about its prospects for survival. This process of transformation—which spans every sphere of social and moral regulation, from family relations and child-rearing to the very meaning of life—is dividing public opinion between ...
Added: August 26, 2026
The Evolution Of Law Concept Of Information: From Philosophical Abstraction To Quantum Information And Cryptography In The Context Of Growing Cyber Threats And The Transition To Post-Quantum Security Method
Polyakov S., Smeshkova L., Lapin V. et al., Veredas do Direito 2026 Vol. 23 No. 11 Article e237531
The article examines the significant transformation of the concept of information and its impact on modern security technologies. Until the middle of the 20th century, the concept of information was considered as a philosophical category related to the transfer of knowledge and meaning. With the advent of Claude Shannon's communication theory, information was reinterpreted as ...
Added: July 27, 2026
Социально-психологические факторы доверия искусственному интеллекту: состояние исследований
Samoilov O., Tatarko A., Вопросы теоретической экономики 2026 № 2 С. 209–228
The article presents a theoretical review of literature from the last ten years devoted to the analysis of socio-psychological factors of trust in artificial intelligence. The widespread adoption of automated artificial intelligence systems, which is associated with expected economic growth, reduced resource costs, and the optimization of various work processes, often faces user distrust in ...
Added: May 21, 2026
Правовой режим объектов, созданных искусственным интеллектом: обзор зарубежной практики
Kirsanova E., Pakshin P., Право и экономика 2026 № 3 (456) С. 26–34
The article examines the legal regime of intellectual property created by artificial intelligence. Changes to the existing legal framework towards recognizing artificial intelligence as a legal entity would violate the rationale and fundamental principles of the intellectual property rights system. This article provides an overview of different views on the rationale for granting copyright to ...
Added: April 28, 2026
Intelligent Interfaces and Systems for Human-Computer Interaction
Karpov A., Dvoynikova A., Ryumina E., , in: Lecture Notes in Networks and SystemsVol. 776.: Springer, 2023. P. 3–13.
Abstract. The paper presents a brief review of intelligent interfaces and systems of human-machine interaction. To date, few intelligent interfaces and systems are used in various areas of industry. All the systems of human-machine interaction can be divided into intelligent synthesis and analysis systems. Intelligent synthesis implies the presentation of information from the system to ...
Added: April 25, 2026
Replacing Criterion of Creativity with Criterion of Investment for Results Created by Artificial Intelligence
Pakshin P., Legal Issues in the Digital Age 2026 Vol. 7 No. 1 P. 32–48
Artificial intelligence plays a significant role in automation, minimizing human intervention in fields such as medicine, art, and law. Despite the historically close relationship between art and technology, generative AI has expanded the potential for creative activity. A significant catalyst for this process has been the proliferation of pre-trained AI systems, which have accelerated the ...
Added: March 31, 2026
РАЗРАБОТКА МОДЕЛИ ЦИФРОВОЙ ЗРЕЛОСТИ ГОСУДАРСТВЕННОГО УПРАВЛЕНИЯ В РЕГИОНАХ РОССИЙСКОЙ ФЕДЕРАЦИИ
Styrin E. M., Вопросы государственного и муниципального управления 2025 № 4 С. 35–60
This article addresses the problem of insuffi cient diagnostic depth in the current approaches to assessing the digital maturity of public administration in the regions of the Russian Federation. The federal methodology proposed by the Ministry of Digital Development focuses on external performance indicators of digital transformation but does not fully reveal the internal organizational capabilities of government agencies. ...
Added: December 23, 2025
Метаэтические основания выравнивания искусственного интеллекта: методологические подходы и их ограничения
Snetkov I., Философия. Журнал Высшей школы экономики 2025 Т. 9 № 3 С. 277–302
The article investigates the alignment problem, which concerns the integration of moral values into the architecture of artificial intelligence (AI) systems to mitigate existential risks. It examines conceptual approaches to addressing the alignment problem, including the utilitarian principles proposed by S. Russell and E. Yudkowsky’s concept of “coherent extrap- olated volition”. The study introduces the ...
Added: December 21, 2025
KDD '26: Proceedings of the 32th ACM SIGKDD Conference on Knowledge Discovery and Data Mining
Association for Computing Machinery (ACM), 2026.
Added: December 19, 2025
21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings. Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. (LNCS, volume 15764)
Cham: Springer, 2025.
This book constitutes the refereed proceedings of the 21st Conference on Computability and Logic, CiE 2025, held in Lisbon, Portugal, during July 14–18, 2025. The 27 full papers included in this book were carefully reviewed and selected from 49 submissions. They focus on computability-related science, ranging over mathematics, computer science and applications in various natural and engineering ...
Added: December 17, 2025
AI, Information, and Global Dynamics: Shaping the Future of Geopolitical Landscape
Cham: Springer, 2026.
This edited volume discusses the convergence of AI, information, and the geopolitical landscape. Featuring contributions written by globally recognized experts from different sectors, the book explores the growing role of AI in areas such as information, communication, and geopolitics, offering theoretical and methodological frameworks to analyze its impact on global power dynamics and the future ...
Added: November 25, 2025
Artificial intelligence augmenting human intelligence for manufacturing firms to create green value: Towards a technology adoption perspective
Huang L., Chin T., Papa A. et al., Technological Forecasting and Social Change 2025 Vol. 213 P. 1–14
Artificial intelligence (AI) profoundly influences value creation by boosting efficiency, fostering innovation and driving new business models and technological advancements, all while nurturing human intelligence (HI). However, the collaboration between AI and HI, crucial for augmenting the creation of green value and achieving sustainable development in manufacturing firms, remains ambiguous. We employed panel data from 935 A-share ...
Added: November 11, 2025
MuMMy: Multimodal Dataset supporting VLM-based Egyptology Research Assistant
Golyadkin M., Innokentiy Humonen, Rubanova V. et al., , in: MM '25: Proceedings of the 33rd ACM International Conference on Multimedia.: Association for Computing Machinery (ACM), 2025. P. 12875–12881.
We present the first multimodal dataset MuMMy, for developing research assistants that can interpret Egyptian hieroglyphic texts. It pairs images with Gardiner codes, transliteration, and English translation at two levels of granularity. We also evaluate several deep learning pipelines across OCR, transliteration, and translation tasks, revealing the complexity of the domain and the challenges posed ...
Added: November 8, 2025
ChatGPT в англоязычном академическом письме: признаки машинной генерации текста в обзорах литературы студентов бакалавриата и магистратуры
Dugartsyrenova V., Вестник Российского университета дружбы народов. Серия: Психология и педагогика 2025 Т. 22 № 1 С. 144–174
With the rapid development of artificial intelligence (AI) tools, concerns emerge regarding students’ unethical uses of these tools to produce AI-generated research texts or their parts and present them as original writing. This issue is compounded by the lack of reliable tools for detecting machine-generated text. To address these concerns, the present study sought to ...
Added: October 10, 2025
Integrating an Ontology-Driven Approach to Data Visualization and AI Based Visualization with Plotly
A.D. Dzheiranian, L.N. Lyadova, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4 P. 191–206
This study introduces an AI-driven assistant prototype that automates the generation of data visualization scripts from natural language queries, eliminating the need for users to have programming skills. The article examines research aimed at developing tools for effective data visualization, compares data visualization systems based on the use of artificial intelligence, and shows the limitations ...
Added: September 25, 2025
Интегральная реальность современных политических коммуникаций
Baysha O., Медиалингвистика 2025 Т. 12 № Спецвыпуск С. 826–829
Digital technologies and artificial intelligence create complex hybrids of the real and the virtual, in which social meanings are produced. The analysis of integral discursive fields requires analytical tools that respond to new challenges. ...
Added: September 5, 2025
УНИВЕРСАЛЬНЫЕ КОМПЕТЕНЦИИ СПЕЦИАЛИСТА ДЛЯ ПОСТРОЕНИЯ ПОЛИПРОФЕССИОНАЛЬНОЙ КАРЬЕРЫ
Сериков В. В., Burimskaya D., Отечественная и зарубежная педагогика 2025 Т. 1 № 4 С. 17–27
The article presents an understanding of the specifics of professional activity in the digital economy, the priority subject of work in which is the analysis and processing of information, which requires specialists to possess competencies that are common (universal) for most professional fields. Accordingly, the content and technologies of professional training of a specialist who ...
Added: August 25, 2025
Interpreting Metaphorical Language: A Challenge to Artificial Intelligence
Skrynnikova I.V., Вестник Волгоградского государственного университета. Серия 2: Языкознание 2025 Vol. 23 No. 5 P. 99–107
In recent years, numerous studies have pointed to the ability of artificial intelligence (AI) to generate and analyze expressions of natural language. However, the question of whether AI is capable of actually interpreting human language, rather than imitating its understanding, remains open. Metaphors, being an integral part of human language, as both a common figure ...
Added: August 1, 2025
Artificial Intelligence, Media and International Security
Cham: Springer, 2025.
This edited volume explores the complex relationship between AI, media and international security, focusing on key criteria. First, identifying AI applications like automated content and deepfakes. Second, evaluating security risks, including AI-driven information and psychological warfare, while considering geopolitical factors in a shifting global landscape. Written by a collection of international experts across diverse disciplines ...
Added: July 27, 2025
Exploration and prioritization of crucial factors of artificial intelligence adoption in credit risk scoring: using the fuzzy analytical hierarchical process
Malik S., Garg M., Thomas A. et al., Business Process Management Journal 2025 Vol. 31 No. 5 P. 1703–1735
Purpose This paper aims to investigate and prioritize the critical factors that influence the adoption of artificial intelligence in credit risk assessments and scoring by banks. Design/methodology/approach A systematic literature review was carried out to identify the relevant studies. An exhaustive assessment of these studies enables us to identify criteria and sub-criteria affecting artificial intelligence adoption in banks’ ...
Added: June 30, 2025
Виды информации в российском законодательстве: современное состояние и перспективы систематизации
Дейнеко А. Г., Ученые записки Крымского федерального университета имени В.И. Вернадского. Юридические науки 2025 Т. 11 № 1 С. 52–62
The article considers doctrinal approaches to the classification of information and determination of its correlation with such concepts as information, data, secrets and many others. In the context of the development of Russian information legislation contradictions arising due to insufficient systematic conceptual apparatus in the sphere of information relations are noted. The inconsistency between the ...
Added: June 17, 2025
XXI Brazilian Logic Conference. Book of abstracts
[б.и.], 2025.
The Brazilian Logic Conference (EBL) is the main event organized by the Brazilian Logic Society (SBL) and has been occurring since 1979. The EBL congregates logicians from different fields and the meeting is an important moment for the Brazilian and South-American community to come together and engage in a discussion about the state of the ...
Added: June 6, 2025
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit