?
Twelfth International Tbilisi Symposium on Language, Logic and Computation
The Tbilisi Symposium on Language, Logic and Computation is an interdisciplinary conference at the interface of logic, linguistics and computer science with the goal of sharing new results and developing mutually beneficial relationship between these fields. The Symposium is held biennially in different parts of Georgia. It is organized by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Centre for Language, Logic and Speech and Razmadze Mathematical Institute of the Tbilisi State University.
Chapters
Rybakov M., Balbiani P., , in: Twelfth International Tbilisi Symposium on Language, Logic and Computation.: Centre for Language, Logic and Speech at the Tbilisi State University, 2017. P. 49–53.
Propositional dynamic logic PDL is based on the idea of associating with each program γ a modality [γ], [γ]ϕ being read “whenever γ terminates it must do so in a state satisfying ϕ”. Hence, PDL is a modal logic with an algebraic structure in the set of modalities: composition (γ; δ), test ϕ?, union (γ∪δ) and ...
Added: October 8, 2019
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
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
Loubenets E. R., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.
In many quantum applications it is important to know whether or not a Bell nonlocal two-qudit state exhibits its nonlocality under correlation scenarios with some given numbers S1,S2≥1 of generalized quantum measurements at two sites. In the present article, we find analytically a new general locality condition sufficient for a nonseparable Werner state with a ...
Added: July 21, 2026
Bolbachan V., / Series math "arxiv.org". 2024.
Chow polylogarithms are some special functions arising in explicit description of the Beilinson regulator map. The most interesting functional equation for this function reflects its vanishing on the boundary in the Bloch's cycle complex. We show that this functional equation formally follows from more simple ones, namely skew-symmetry, functoriality and multiplicativity.
To prove this, we study ...
Added: July 16, 2026
Bolbachan V., / Series math "arxiv.org". 2024.
Let K be a field of characteristic zero. We prove that its motivic cohomology in degree m−1 and weight m is rationally isomorphic to the cohomology of the polylogarithmic complex. This gives a partial extension of A. Suslin theorem describing the indecomposable K3 of a field. ...
Added: July 16, 2026
Panov V., Ryabchenko A., / Series arXiv "stat.ME". 2026. No. 2607.05048.
This paper investigates the problem of statistical inference for a mixture distribution consisting of a discrete and a continuous component, with a particular focus on the class of rational-infinitely divisible distributions. We consider non-parametric estimation of both components of the mixture as well as the quasi-L{é}vy measure, assuming that the mixture belongs to the class ...
Added: July 9, 2026
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
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
Gritsenko E., Russian Journal of Linguistics 2026 Т. 30 № 1 С. 55–81
Contemporary scholarly discourse on gender-inclusive communication remains predominantly descriptive, often avoiding a systematic critical analysis of its internal contradictions and social consequences. However, the growing social tension around new linguistic norms, their ideologization, and direct impact on public institutions demand unbiased examination. The aim of this article is to identify and analyze the key paradoxes ...
Added: June 12, 2026
Konakov V., Kucher D., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.
In this paper, we construct strong approximations for discrete-time Markov chains weakly converging to continuous diffusion processes, as well as for their perturbed counterparts. Under the assumption of bounded coefficients, we construct closely coupled versions of these processes on a shared probability space. In particular, for both non-degenerate and degenerate cases, we maximize the probability ...
Added: June 11, 2026
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
Dorovskiy A., / Series arXiv "math". 2026.
In this paper the structural stability of generic families of vector fields of the PC-HC class on the two-dimensional sphere is proved. A classification of these families up to moderate equivalence in neighborhoods of their large bifurcation supports is presented, based on such invariants as the configuration and the characteristic set. The realization lemma is proved. ...
Added: May 14, 2026
Taletskii D., / Series arXiv "math". 2026.
A vertex subset of a graph is called a \textit{distance-$k$ independent set} if the distance between any two of its distinct vertices is at least $k + 1$. For all $n,k \geq 1$, we determine the minimum possible number of inclusion-wise maximal distance-$k$ independent sets among all $n$-vertex trees. It equals~$n$ if $n \leq k ...
Added: May 1, 2026
Ovcharenko M., / Series arXiv "math". 2026.
We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in n⩽4 variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We check that it contains Landau--Ginzburg models for various Fano fourfolds which are complete intersections in smooth toric varieties and Grassmannians of planes, ...
Added: April 30, 2026
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
Islentyeva Anna, Discourse and Society 2026 Vol. 37 No. 2 P. 355–358
The review discusses the book that reflects upon a blend of classical and modern studies related to language and masculinities from different cultural contexts and in different languages.The reviewed book provides authors’ own illustrative studies, in which they draw on a range of methods, including conversation analysis, ethnography, visual analysis, (critical) discourse analysis and corpus-linguistic ...
Added: March 9, 2026
Псков: Псковский государственный университет, 2025.
В коллективной монографии обобщается научный опыт отечественных и зарубежных исследователей в области лингвистики, межкультурной коммуникации, современной образовательной парадигмы. Издание может быть полезно научным работ- никам, специалистам-практикам, преподавателям всех уровней образования, интересующимся проблемами развития совре- менной науки и образования. ...
Added: February 11, 2026
Sherbakova O., Myachykov A., Martín-Luengo B. et al., Frontiers in Human Neuroscience 2020 Vol. 14 No. n/a Article 324
Language is a uniquely human cognitive function, which greatly defines and determines our psychological and social traits. Despite the importance of language and speech, they remain among the least understood human cognitive processes, and their neurobiological underpinnings are still poorly understood.
In recent decades, an immense body of diverse data illuminating the neural bases of language ...
Added: March 31, 2025
Перикова Е. И., Блинова Е. Н., Андрющенко Е. А. et al., Физиология человека 2023 Т. 49 № 3 С. 96–105
The primary motor cortex takes part in various stages of language learning accompanied by human motor activity. However, previous studies of causal relationships between the activation of primary motor cortex and efficiency of language tasks reveal contradictory results, likely due to diverging learning environments and specific movement patterns required by different experimental designs. The goal ...
Added: March 3, 2025
Balakina Y. V., Коммуникативные исследования 2025 Т. 12 № 1 С. 121–136
The theory of social representations developed by S. Moskovichi is not in demand in Russian studies of media communication, while abroad, on the contrary, it is productively used by media researchers. Taking into account one of the main provisions of the theory about the formation of social representations in the communication process, as well as ...
Added: February 28, 2025
Алексей Салин, Сафронова Н., HORIZON. Феноменологические исследования 2020 Т. 9 № 1 С. 384–417
The main goal of the book Vitality of Phenomenology/Lebendigkeit der Phänomenologie (ed. by Giovanni Jan Giubilato) is not only to outline the variety of philosophical movements that emerged within the field of phenomenology, but also to demonstrate the “vitality” and relevance of phenomenological ideas in the contemporary philosophy. The underlying assumption of the book is that phenomenology ...
Added: February 26, 2025
Minsk: Беларускі дзяржаўны ўніверсітэт, 2024.
Added: February 19, 2025
Gladkova A., Russian Journal of Linguistics 2022 Vol. 26 No. 1 P. 245–249
The recently published book by Alexey Koshelev addresses the fundamental questions of contemporary linguistic theory on the emergence of concepts and propositions, the nature and structure of human categories and the impact of culture on thought and language. In seeking answers to these questions, the author engages in a stimulating and prolific debate with the ...
Added: February 18, 2025
Shelov-Kovedyaev F. V., Вестник Московского университета. Серия 9: Филология 2024 № 3 С. 148–159
The author publishes the new Ancient Greek lexical forms, found in excavations of Bosporan poleis in the recent years: 1 pl. Aor. II ἀπεστήμεϑα from the verb ἀφίστημι; nom. pl. ἀπολεκταί — female to the adjective known before in masculine, and neuter; ἡ κεράμια; κλαυσεταί — to the adjective κλαυστός, -ή, -όν; personal name Πυρρίη; ...
Added: February 13, 2025