• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Автоматический синтез программ с использованием онтологии прецедентов
  • 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
May 25, 2026
HSE Scientists Train Neural Network to 'Hear' Faults in Electric Motors
Researchers at the AI and Digital Science Institute of the HSE Faculty of Computer Science have developed a new method—the Signature-Guided Data Augmentation (SGDA) framework—that achieves 99% accuracy in motor fault detection and 86% accuracy in fault classification. The application of this approach can reduce industrial equipment repair costs, minimise downtime, and improve production safety. The study results have been published in Engineering Applications of Artificial Intelligence.
May 25, 2026
'The Humanities Serve as a Conscience'
Maria Mizernaia studies Soviet literature and the history of book publishing. In this interview for the HSE Young Scientists project, she discusses plans to publish a novel about besieged Leningrad, AI-provoked reflections on what it means to be human, and how novels can help satisfy our dopamine hunger.
May 25, 2026
Is It Possible to Predict a Citys Life Based on the Shape of Its Neighbourhoods?
Is it possible to predict, based on the configuration of streets and buildings, where a café will open or where traffic congestion will occur? Participants in the Spatial Analysis and Modelling of Urban Processes research and study group use open data and machine learning to identify universal patterns. Alexander Sheludkov and Eduard Somov discuss the purpose of comparing cities, the need for new forms of urban statistics, and how open data is transforming approaches to urban studies.

 

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

?

Автоматический синтез программ с использованием онтологии прецедентов

С. 203–215.
Korukhova Y., Фастовец Н. Н.
Language: Russian
Keywords: онтологииcase-based reasoningontologiesprogram synthesisрассуждения на основе прецедентовсинтез программ

In book

Программные системы и инструменты: тематический сборник
Т. 12. , М.: Издательский отдел факультета ВМК МГУ им. М.В. Ломоносова, 2011.
Similar publications
Среда Онтологически Контролируемых Вычислительных Экспериментов в Химии и Материаловедении
Glushko A., Neznanov A., В кн.: Перспективные материалы и технологии (ПМТ-2024) : Сборник докладов Международной научно-технической конференции ИПТИП РТУ МИРЭА, Москва, 12–16 апреля 2024 годаТ. 1.: М.: РТУ МИРЭА, 2024. С. 380–385.
In this paper we would like to discuss the basic principles, design decisions and tools that formed the basis of a software system for analyzing the results of real experiments and performing computational experiments in chemistry and materials science. With this work we aim to formalize knowledge at multiple levels and improving the efficiency of ...
Added: April 29, 2026
Сообщество, связанное в общее тело, и тела, созданные одним аффектом
Петров К. А., Логос 2025 Т. 35 № 5 С. 93–114
The concept of “enactment” refers to the idea of the contingency of the body/technology boundary and as such it’s the basis for the emerging multiple ontologies of bodies in the Annemarie Mol’s texts. However, “enactment” does not mean the absolute malleability of the body. For authors working within the framework of actor-network theory the body ...
Added: November 18, 2025
К вопросу о взаимодействии художественного мира и возможных миров.
Новикова А. В., Вестник Пермского национального исследовательского политехнического университета. Механика (Вестник ПНИПУ. Механика)*** 2013 № 07 С. 138–145
Рассмотрены взгляды отечественных и зарубежных ученых в лингвистике, логике и философии на теорию возможных миров; представлены децентрированные модели возможных миров. ...
Added: October 31, 2023
Architecture of a software system for designing robust business processes
Samoylova K., Zamyatina E., Proceedings of the Institute for System Programming of the RAS 2022 Vol. 34 No. 2 P. 67–76
Nowadays, in order for a company to remain competitive, efficient and attractive to investors it needs to have reliable and threat-resistant business processes. The question of methods for building such business processes remains relevant. This paper proposes a software system, which involves the use of methods and tools of DSM (Domain Specific Modeling), ontological approach, ...
Added: February 13, 2023
2022 IEEE 24th Conference on Business Informatics (CBI)
IEEE, 2022.
CBI is a well-established conference series on business informatics that has a tradition of hosting workshops on topics related to its main themes. CBI workshops provide ample room for discussion of recent business informatics developments, as well as new and emerging ideas. ...
Added: December 6, 2022
Онтологический подход к интеграции информации в областях с интенсивным использованием данных
Заякин В. С., Lyadova L. N., Рабчевский Е. А., Информационные технологии 2022 Т. 28 № 10 С. 529–538
The development and support of knowledge-based systems for experts in the field of social network analysis (SNA) is complicated because of the problems of viability maintenance that inevitably emerge in data intensive domains. Largely this is the case due to the properties of semi-structured objects and processes that are analyzed by data specialists using data ...
Added: October 22, 2022
Машиночитаемое право: правовой вызов современности
Yankovskiy R., Вашкевич А. М., Ivanov A. et al., Закон 2021 № 10 С. 20–26
27 сентября Правительственной комиссией по цифровому развитию утверждена Концепция развития технологий машиночитаемого права. По мнению Минэкономразвития, машиночитаемое право будет востребовано в законотворчестве, судопроизводстве, при заключении сделок, стандартизации и сертификации. Мы обратились к экспертам с просьбой прокомментировать новый документ. Какое влияние он окажет на развитие права? Какие вызовы несет в себе распространение машиночитаемого права? ...
Added: December 29, 2021
An ontology-based approach to the analysis of the acid-base state of patients at operative measures
Tianxing​ M., Lushnov M., Ignatov D. I. et al., PeerJ Computer Science 2021 No. 7 Article e777
Researchers working in various domains are focusing on extracting information from data sets by data mining techniques. However, data mining is a complicated task, including multiple complex processes, so that it is unfriendly to non-computer researchers. Due to the lack of experience, they cannot design suitable workflows that lead to satisfactory results. This article proposes ...
Added: December 14, 2021
Modelling of Developing Socio-Economic Systems Using Multiparadigm Simulation Modelling: Advancing Towards Complexity Theory and Synergetics
Lychkina N. N., , in: World Organization of Systems and Cybernetics 18. Congress-WOSC2021: Systems Approach and Cybernetics: Engaging for the Future of MankindVol. 495.: Springer, 2022. Ch. III P. 191–204.
Purpose The goal of this research is to demonstrate model designs and approaches based on using modern paradigms and technological solutions in the field of simulation modeling of socio-economic processes and social forecasting that allow us to study complex dynamic occurrences in the development of socio-economic systems. Strategic management of socio-economic system involves the analysis of structural ...
Added: October 31, 2021
Синтаксический анализ текстов предметной области при помощи онтологии
Гельцер Б. И., Горбач Т. А., Грибова В. В. et al., Труды Института системного программирования РАН 2021 Т. 33 № 4 С. 99–116
The paper compares three methods for parsing of patients’ chief complaints extracted from electronic medical cards. We propose two methods which are based on usage of an ontology: either as a method for correction of mistake made by a parser, or for constructing syntactical dependencies according to this ontology and a limited set of rules ...
Added: October 20, 2021
SPARQLing Database Queries from Intermediate Question Decompositions
Saparina I., Osokin A., , in: Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing (EMNLP).: Association for Computational Linguistics, 2021. P. 8984–8998.
Added: October 14, 2021
Modeling of the strategic development of socio-economic systems based on hybrid simulation and ontologies
Lychkina N. N., , in: Systems approach and cybernetics, directed towards the future of mankind. Collection of materials of the 18th Congress WOSC2021 “Systems approach and cybernetics, directed to the future of mankind”.: M.: Cogito-Centre–IPRAS Publishing House, 2021. P. 153–154.
Added: October 12, 2021
Communications in Computer and Information Science. 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering, and Knowledge Management, IC3K 2019, Vienna, Austria, September 17-19, 2019, Revised Selected Papers
Switzerland: Springer, 2020.
This book constitutes the revised selected papers of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2019, held in Vienna, Austria, in September 2019. The 25 full papers presented were carefully reviewed and selected from 220 submissions. The papers are organized in topical sections on knowledge discovery and information retrieval; ...
Added: February 4, 2021
О важности многоуровневого описания химических объектов в онтологиях для интеграции информационных систем в неорганическом материаловедении
Dudarev V., Киселева Н. Н., В кн.: XV Российская конференция (с международным участием) по теплофизическим свойствам веществ (РКТС-15), 15–19 октября 2018, Москва. Сборник тезисов.: [б.и.], 2019. С. 112–112.
In past years ontologies (on OWL) usage becomes popular for problem domains description and creating basis for thematic information systems (IS) integration. For example, in inorganic materials science several ontologies are known to consolidate information [1, 2]. One of their significant drawbacks is an unjustified description simplification for substance (or material). The importance of multilevel chemical ...
Added: October 31, 2019
Сумерки урбанизма: пространственные онтологии и воображение в романе "Чевенгур"
Zamyatin D., В кн.: На самой черте горизонта: платоновские пространства. Поэтика Андрея Платонова. Сборник 4 / Ред. Е. А. Яблоков. — М.: ПОЛИМЕДИА, 2019. — 176 с.: М.: Полимедиа, 2019. С. 17–41.
Роман Андрея Платонова «Чевенгур» – пример мощного пространственного воображения, трансформирующего онтологии самого языка, в данном случае – русского. В то же время этот роман является феноменологическим свидетельством решающего изменения самих пространственных онтологий, связанного с «взрывом» представлений о пространстве-времени начала XX века . Вместе с тем, реальность событий и ключевого нарратива «Чевенгура» оказывается действительно «судьбоносной», если ...
Added: September 27, 2019
Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna
Gerasimova O., Kikot S., Zakharyaschev M., , in: Description Logic, Theory Combination, and All That.: Berlin: Springer, 2019. P. 329–351.
It has recently been shown that first-order- and datalog-rewritability of ontology-mediated queries (OMQs) with expressive ontologies can be checked in NExpTime using a reduction to CSPs. In this paper, we present a case study for OMQs with Boolean conjunctive queries and a fixed ontology consisting of a single covering axiom 𝐴 -> 𝐹 v 𝑇, A -> F v T, possibly supplemented with ...
Added: July 29, 2019
  • 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