• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Tractable interval temporal propositional and description logics
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 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
July 9, 2026
HSE Economists Use Search Queries to Forecast Birth Rates
Researchers from the HSE Faculty of Economic Sciences have shown that the accuracy of birth rate forecasts for Russia can be improved by almost 50% by incorporating the dynamics of online search queries related to pregnancy and childbirth into forecasting models. In the best-performing models, the forecasting error fell from 4.6% to 3.2%. The findings have been published in Populations and Economics.
July 8, 2026
HSE Researchers Discover Who Eats Out in Russia-And Why
Around one-third of Russians (31.3%) rarely eat out or buy ready-made meals. The core group of active consumers—those who eat out or purchase prepared food almost every day or several times a week—accounts for only about 9% of the population. These are the findings of a study conducted by the HSE Institute for Social Policy. According to the researchers eating out is no longer a marker of high social status in Russia.
July 8, 2026
HSE University and RREDA Join Forces to Support 2026 Renewable Energy of the Planet Competition
HSE University and the Russia Renewable Energy Development Association (RREDA) have signed a partnership and information cooperation agreement to support Renewable Energy of the Planet—2026, a national competition with international participation for students and early-career researchers. Applications are open on the competition's website until September 20, 2026.

 

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

?

Tractable interval temporal propositional and description logics

P. 1417–1423.
Zakharyaschev M., Artale A., Kontchakov R., Ryzhikov V.

We design a tractable Horn fragment of the Halpern-Shoham temporal logic and extend it to interval-based temporal description logics, instance checking in which is P-complete for both combined and data complexity.

Language: English
Full text
Keywords: artificial intelligenceFormal languages

In book

Proceedings of the National Conference on Artificial Intelligence
American Association for Artificial Intelligence (AAAI) Press, 2015.
Similar publications
Социально-психологические факторы доверия искусственному интеллекту: состояние исследований
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
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
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
Нормативно-техническое регулирование искусственного интеллекта в Российской Федерации
Garbuk S., Стандартизация 2024 № 5 С. 26–36
Artificial intelligence (AI) as a field of science and technology has been developing for seven decades. Over this period, the meaning of the term ‘artificial intelligence’ has repeatedly changed and, accordingly, the technological barriers (criterion tasks), the overcoming of which would mean the creation of AI, the preferred ways of implementing AI systems and the ...
Added: November 27, 2024
Computational Model for Parsing Expression Grammars
Alexander Rubtsov, Chudinov N., , in: 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024).: Leibniz International Proceedings in Informatics (LIPIcs), 2024. Ch. 80 P. 80:1–80:13.
We present a computational model for Parsing Expression Grammars (PEGs). The predecessor of PEGs top-down parsing languages (TDPLs) were discovered by A. Birman and J. Ullman in the 1960-s, B. Ford showed in 2004 that both formalisms recognize the same class named Parsing Expression Languages (PELs). A. Birman and J. Ullman established such important properties ...
Added: November 24, 2024
Co-evolutionary hybrid intelligence
Ignatev A., , in: 2021 5th Scientific School Dynamics of Complex Networks and their Applications (DCNA).: IEEE, 2021.
Artificial intelligence is one of the drivers of modern technological development. The current approach to the development of intelligent systems is data centric. It has several limitations: it is fundamentally impossible to collect data for modeling complex objects and processes; training neural networks requires huge computational and energy resources; solutions are not explainable. The article ...
Added: September 10, 2024
Сайнс-арт и китч: компьютерное искусство на основе больших языковых моделей
Milovidov S., Коммуникации. Медиа. Дизайн 2024 Т. 9 № 2 С. 45–64
Today the emergence of large language models has led to the spread of popular graphic neural network generators (DALL-E, MidJourney, Stable Diffusion, Kandinsky, etc.). There was the reason of the widespread implementation and democratisation of artistic practices. The article analyses the processes of disappearance of the boundaries between art and kitsch in relation to computer ...
Added: July 1, 2024
  • 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