• 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 18, 2026
When Pictures Hinder Understanding: Illustrations May Impede Learning of Abstract Ideas
Illustrations can help remember specific actions but do not always make abstract ideas easier to learn. Researchers from HSE University and Humboldt University compared how people learn from texts with different levels of abstractness. They found that participants remembered illustrations better and performed better on related tasks after reading a multimedia text about yoga asanas than after reading an abstract text about the Nash equilibrium. The findings could help improve the selection of illustrations for educational and informational materials. The study has been published in Learning and Instruction.
September 17, 2026
'I Wish That People Would Place Greater Trust in Science'
When Tatiana Eremicheva chose Fundamental and Computational Linguistics as her field of study, she thought it would be about learning languages. Instead, she discovered it was about helping people. In this interview for the HSE Young Scientists project, she discusses science as a way of understanding the world, billiards as a team-building activity, and why learning to read is not always as easy as it seems.
September 15, 2026
Immunity to Chaos: How Personal Resources Help Us Cope with the Challenges of a Turbulent World
International conflicts, crises and digital overload—the modern world puts our minds to the test every day. Traditional psychology often focuses on the consequences: anxiety, depression, and psychosomatic disorders. But what if we looked at the problem differently—through the lens of the resources that prevent us from breaking down? Psychological immunity is precisely this set of resources. Alena Zolotareva and her group, Psychological Immunity as a Resource for Positive Functioning, are developing an integrative model of this phenomenon, adapting diagnostic tools and preparing for large-scale empirical research. Why do psychologists need to collaborate with medical professionals, and how could their research transform preventive care in clinics and corporations?

 

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