• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Books
  • 9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
  • 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 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?
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.

 

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

?

9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING

Issue 10900. Springer International Publishing AG, part of Springer Nature 2018, 2018.
Academic editor: D. Galmiche
Under the general editorship: S. Schulz, R. Sebastiani

9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Chapters
A Logical Framework with Commutative and Non-commutative Subexponentials
Kanovich M., Kuznetsov S., Nigam V. et al., , in: 9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONINGIssue 10900.: Springer International Publishing AG, part of Springer Nature 2018, 2018. P. 228–245.
Logical frameworks allow the specification of deductive systems using the same logical machinery. Linear logical frameworks have been successfully used for the specification of a number of computational, logics and proof systems. Its success relies on the fact that formulas can be distinguished as linear, which behave intuitively as resources, and unbounded, which behave intuitionistically. ...
Added: July 11, 2018
Priority areas: IT and mathematics
Language: English
Full text
DOI
Text on another site
Keywords: formal logicartificial intelligenceautomated reasoningLogical Frameworkcomputability
9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
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
On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands
Shabanov N., Kuricheva O., Kurbatova J. et al., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
The carbon balance of an ecosystem is the difference between Gross Primary Productivity (GPP) and Ecosystem Respiration (Reco) as expressed by Net Ecosystem Exchange (NEE). While remote sensing retrievals of GPP have reached maturity, Reco estimation remains underexplored and ultimately cast bias on NEE. Here we present an end-to-end multi-scale analysis of the mechanism of ...
Added: August 21, 2026
Three Algorithms for Merging Hierarchical Navigable Small World Graphs
Ponomarenko A., / Series Computer Science "arxiv.org". 2025.
This paper addresses the challenge of merging hierarchical navigable small world (HNSW) graphs, a critical operation for distributed systems, incremental indexing, and database compaction. We propose three algorithms for this task: Naive Graph Merge (NGM), Intra Graph Traversal Merge (IGTM), and Cross Graph Traversal Merge (CGTM). These algorithms differ in their approach to vertex selection ...
Added: July 30, 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
Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II. (LNCS, volume 16689)
Cham: Springer, 2026.
This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026. The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections: Part I: Theorem ...
Added: July 26, 2026
Growth in noncommutative algebras and entropy in derived categories
Piontkovski D., / Series arXiv "math". 2026.
A noncommutative projective variety is defined, following Artin and Zhang, by a graded coherent algebra 𝐴. The category of coherent sheaves is then the quotient qgr(𝐴) of the category of finitely presented graded modules by the subcategory of torsion modules. We consider the categorical and polynomial entropies of the Serre twist, that is, of the ...
Added: June 23, 2026
Multilinear nilalgebras and the Jacobian theorem
Piontkovski D., / Series arXiv "math". 2025.
If a symmetric multilinear algebra is weakly nil, then it is Engel. This result may be regarded as an infinite-dimensional analogue of the well-known Jacobian theorem, which states that if a polynomial mapping has a polynomial inverse, then its Jacobian matrix is invertible. This refines a theorem of Gerstenhaber and partially answers a question posed ...
Added: June 23, 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
ML-based Fast Simulation of FARICH Responses
Shipilov F., Barnyakov A., Ivanov A. et al., / Series Physics "arxiv.org". 2026.
A fast simulation of the detector response is a vital task in high-energy physics (HEP). Traditional Monte-Carlo methods form the backbone of modern particle physics simulation software but are computationally expensive. We present a machine-learning-based approach to fast simulation of the Focusing Aerogel Ring Imaging Cherenkov (FARICH) detector response. Given a particle track and momentum, ...
Added: May 19, 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
Natural hazard database from Internet publications: text mining with a large language model
Derkacheva A., Sakirkina M., Kraev G. et al., /. 2026.
Comprehensive data on natural hazards and their consequences are crucial for effective for risk assessment, adaptation planning, and emergency response. However, many countries face challenges with fragmented, inconsistent, and inaccessible data, particularly regarding local-scale events. To address this data gap in Russia, we developed an end-to-end processing pipeline that scrapes news from various online sources, ...
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
Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena
Pilé I., Deng Y., Shchur L., / Series arXiv "math". 2026. No. 2604.10254.
We investigate the spatial overlap of successive spin configurations in Markov chain Monte Carlo simulations using the local Metropolis algorithm and the Svendsen-Wang and Wolff cluster algorithms. We examine the dynamics of these algorithms for two models in different universality classes: the Ising model and the Potts model with three components. The overlap of two ...
Added: April 20, 2026
Using predefined vector systems to speed up neural network multimillion class classification
Gabdullin N., Androsov I., / Series Computer Science "arxiv.org". 2026.
Label prediction in neural networks (NNs) has O(n) complexity proportional to the number of classes. This holds true for classification using fully connected layers and cosine similarity with some set of class prototypes. In this paper we show that if NN latent space (LS) geometry is known and possesses specific properties, label prediction complexity can ...
Added: April 2, 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
Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection
Sorokin K., Beketov M., Онучин А. et al., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Community detection in complex networks is a fundamental problem, open to new approaches in various scientific settings. We introduce a novel community detection method, based on Ricci flow on graphs. Our technique iteratively updates edge weights (their metric lengths) according to their (combinatorial) Foster version of Ricci curvature computed from effective resistance distance between the ...
Added: January 15, 2026
Implementing Transport Coding in OMNeT++ for Message Delay Reduction
Petrovanov I., Sergeev A., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Transport coding reduces message delay in packet-switched networks by introducing controlled redundancy at the transport layer:  original packets are encoded into  coded packets, and the message is reconstructed after the first  successful deliveries, effectively shifting latency from the maximum packet delay to the -th order statistic. We present a concise, reproducible discrete-event implementation of transport coding in OMNeT++, including ...
Added: December 24, 2025
РАЗРАБОТКА МОДЕЛИ ЦИФРОВОЙ ЗРЕЛОСТИ ГОСУДАРСТВЕННОГО УПРАВЛЕНИЯ В РЕГИОНАХ РОССИЙСКОЙ ФЕДЕРАЦИИ
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
Epistemic Mathematical Models for Analyzing Meta-opinions on Social Networks
Fedyanin D., , in: 17th International Conference, SCSM 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II. Social Computing and Social Media. LNCS, volume 15787Vol. 2.: Switzerland: Springer, 2025. P. 247–256.
The paper proposes a formal model for describing opinions and higher-order opinions (e.g., opinions about opinions) using classical epistemic logic, such as the Kripke structure. Traditionally employed for analyzing knowledge and beliefs, this model is adapted to interpret opinions as beliefs, which is particularly promising for describing human-computer interaction due to its high level of formalization. The study is ...
Added: December 13, 2025
О базовых математических определениях цифровых технологий и искусственного интеллекта
Semenov A., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 527 № S С. 7–12
The paper proposes a system of definitions for the basic concepts of computability theory that underlie the mathematics of the digital world: algorithm, computability, calculus, object complexity, close to modern undertnding. Hierarchies of the finite and the problem of consistency are considered. ...
Added: December 6, 2025
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Elvimov N. S., / Series arXie "Statistical mechanics". 2025.
Accurate segmentation of blood vessels in brain magnetic resonance angiography (MRA) is essential for successful surgical procedures, such as aneurysm repair or bypass surgery. Currently, annotation is primarily performed through manual segmentation or classical methods, such as the Frangi filter, which often lack sufficient accuracy. Neural networks have emerged as powerful tools for medical image ...
Added: December 1, 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
  • 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