|
1
|
Stukachev A.I.
, Liu C.
, Cao Z.
Union, intersection and comparison of linguistic structures
17th International Summer School-Conference “Problems Allied to Model Theory and Universal Algebra”
19-26 Jun 2025
|
|
2
|
Stukachev A.I.
, Strepetova V.
, Chen L.
, Cao Z.
, Zaitseva U.
Interpretability in Mathematics and XAI
The International Conference dedicated to Mathematics in Artificial Intelligence
24-28 Mar 2025
|
|
3
|
Стукачев А.И.
, Бурнистов А.С.
Алгоритмические аспекты семантики Монтегю
Математика в Академгородке
02-04 дек. 2024
|
|
4
|
Стукачев А.И.
Структуры на сигнатурах структур
IV Конференция математических центров России, посвященная 300-летию СПбГУ и РАН.
06-11 авг. 2024
|
|
5
|
Stukachev A.I.
Structures on Signatures if Structures
XVI международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры»
08-13 Jul 2024
|
|
6
|
Stukachev A.I.
Структуры на сигнатурах структур (Structures on Signatures of Structures)
Международная научная конференция «Алгебра и математическая логика: теория и приложения»
27 июн. - 1 июл. 2024
|
|
7
|
Stukachev A.
Skolem Functions and Generalized Quantifiers for Negative Polarity Items Semantics
21th International Conference on Distributed Computing and Artificial Intelligence, Special Session on Computational Linguistics, Information, Reasoning, and AI (DCAI-CLIRAI 2023)
26-28 Jun 2024
|
|
8
|
Стукачев А.И.
Вычислимые модели интенсиональной логики
Мальцевские чтения : Международная конференция
13-17 нояб. 2023
|
|
9
|
Stukachev A.
Computable models of Montague intensional logic
Fifth Workshop on Digitalization and Computable Models
02-06 Oct 2023
|
|
10
|
Stukachev A.I.
Algorithmic aspects of intensional logic
XV международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры»
21-28 Jun 2023
|
|
11
|
Burnistov A.
, Stukachev A.
, Stukacheva M.
Computable functionals in Montague semantics
LOGIC COLLOQUIUM 2023, European Summer Meeting of the Association for Symbolic Logic
05-09 Jun 2023
|
|
12
|
Stukachev A.
Generalized Computability and Effective Model Theory in Mathematical Linguistics
Logic and Algorithms in Computational Linguistics 2021
15-17 Dec 2021
|
|
13
|
Бурнистов А.С.
, Stukachev A.
Computable Functionals of Finite Types in Montague Semantics
Logical Aspects of Computational Linguistics 2021
13-17 Dec 2021
|
|
14
|
RYZHKOV A.
, STUKACHEV A.
, STUKACHEVA M.
Approximation spaces over dense linear orders
2021 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ‘21
19-24 Jul 2021
|
|
15
|
Stukachev A.
Generalized computability in approximation spaces
Second Workshop on Digitalization and Computable Models
20-24 Jul 2020
|
|
16
|
Ryzhkov A.
, Stukachev A.
, Stukacheva M.
Interval semantics for natural languages and effective interpretability over the reals
Logic Colloquium 2019
11-16 авг. 2019
|