Научная деятельность
Статьи (27) Подробнее
| 1 |
Penzina U.
, Stukachev A.
Skolem Functions and Generalized Quantifiers for Negative Polarity Items Semantics В сборнике Distributed Computing and Artificial Intelligence, Special Sessions I, 21st International Conference. 2025. – C.123-132. – ISBN 978-3-031-76458-5. DOI: 10.1007/978-3-031-76459-2_11 WOS OpenAlex |
| 2 |
Burnistov A.S.
, Stukachev A.I.
Computable Functionals of Finite Types in Montague Semantics Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2024. V.21. N2. P.1460-1472. DOI: 10.33048/semi.2024.21.093 WOS Scopus |
| 3 |
Stukachev A.I.
Structures on signatures of stuctures В сборнике Model Theory and Algebra 2024: Collection of papers. – НГТУ., 2024. – C.177-178. – ISBN 978-5-7782-5285-1. |
| 4 |
Burnistov A.
, Stukachev A.
Generalized Computable Models and Montague Semantics Studies in Computational Intelligence. 2023. V.1081. P.107-124. DOI: 10.1007/978-3-031-21780-7_5 Scopus OpenAlex |
| 5 |
Burnistov A.S.
, Stukachev A.I.
Inner Constructivizability of Functional Structures Algebra and Logic. 2022. V.61. N1. P.16-29. DOI: 10.1007/s10469-022-09672-0 WOS Scopus РИНЦ OpenAlex |
| 6 |
Бурнистов А.С.
, Стукачев А.И.
О внутренней конструктивизируемости функциональных структур Алгебра и логика. 2022. Т.61. №1. С.23-41. DOI: 10.33048/alglog.2022.61.102 РИНЦ |
| 7 |
Stukachev A.I.
Интервальные расширения порядков и темпоральные аппроксимационные пространства Сибирский математический журнал. 2021. Т.62. №4. С.894-910. DOI: 10.33048/smzh.2021.62.415 РИНЦ OpenAlex |
| 8 |
Stukachev A.
Approximation Spaces of Temporal Processes and Effectiveness of Interval Semantics Advances in Intelligent Systems and Computing. 2021. V.1242. P.53-61. DOI: 10.1007/978-3-030-53829-3_5 Scopus OpenAlex |
| 9 |
Stukachev A.
Interval Extensions of Orders and Temporal Approximation Spaces Siberian Mathematical Journal. 2021. V.62. N4. P.730-741. DOI: 10.1134/s0037446621040157 WOS Scopus OpenAlex |
| 10 |
Stukachev A.
Generalized Hyperarithmetical Computability Over Structures Algebra and Logic. 2017. V.55. N6. P.507-526. DOI: 10.1007/s10469-017-9421-1 WOS Scopus OpenAlex |
| 11 |
Stukachev A.
Processes and Structures on Approximation Spaces Algebra and Logic. 2017. V.56. N1. P.63-74. DOI: 10.1007/s10469-017-9426-9 WOS Scopus OpenAlex |
| 12 |
Stukachev A.
Properties of sΣ-Reducibility Algebra and Logic. 2014. V.53. N5. P.405-417. DOI: 10.1007/s10469-014-9300-y WOS Scopus OpenAlex |
| 13 |
Стукачев А.И.
О квазирегулярных структурах вычислимых сигнатур Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2014. Т.11. С.444-450. |
| 14 |
Stukachev A.
Effective model theory: approach via σ-definability В сборнике Lecture Notes in Logic. – Cambridge University Press., 2013. – Т.41. – C.164-197. – ISBN 9781107014510. DOI: 10.1017/cbo9781139028592.010 OpenAlex |
| 15 |
Stukachev A.
On Processes and Structures Lecture Notes in Computer Science. 2013. V.7921. P.393-402. |
| 16 |
Ershov Y.L.
, Puzarenko V.G.
, Stukachev A.
HF-Computability В сборнике Computability in Context Computation and Logic in the Real World. – World Scientific., 2011. – C.169-242. DOI: 10.1142/9781848162778_0006 Scopus РИНЦ OpenAlex |
| 17 |
Stukachev A.
A jump inversion theorem for the semilattices of sigma-degrees Siberian Advances in Mathematics. 2010. V.20. N1. P.68-74. DOI: 10.3103/s1055134410010037 Scopus OpenAlex |
| 18 |
Stukachev A.
Σ-definability of uncountable models of c-simple theories Siberian Mathematical Journal. 2010. V.51. N3. P.515-524. DOI: 10.1007/s11202-010-0054-z WOS Scopus OpenAlex |
| 19 |
СТУКАЧЕВ А.И.
Теорема об обращении скачка для полурешеток Сигма-степеней Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2009. Т.6. С.181-190. |
| 20 |
Stukachev A.
Degrees of presentability of structures. II Algebra and Logic. 2008. V.47. N1. P.65-74. DOI: 10.1007/s10469-008-0007-9 WOS Scopus OpenAlex |
| 21 |
Stukachev A.
Degrees of presentability of structures. I Algebra and Logic. 2007. V.46. N6. P.419-432. DOI: 10.1007/s10469-007-0041-z WOS Scopus OpenAlex |
| 22 |
Stukachev A.
On mass problems of presentability В сборнике Lecture Notes in Computer Science. 2006. – Т.3959. – C.772-782. DOI: 10.1007/11750321_74 Scopus OpenAlex |
| 23 |
Stukachev A.
Presentations of Structures in Admissible Sets В сборнике Lecture Notes in Computer Science. 2005. – Т.3526. – C.470-478. |
| 24 |
Stukachev A.
Presentations of Structures in Admissible Sets Lecture Notes in Computer Science. 2005. V.3526. P.470-478. |
| 25 |
Stukachev A.
Sigma-Definability in Hereditarily Finite Superstructures and Pairs of Models Algebra and Logic. 2004. V.43. N4. P.258-270. DOI: 10.1023/b:allo.0000035117.75573.2d Scopus OpenAlex |
| 26 |
Stukachyov A.I.
Sigma-admissible families over linear orders Algebra and Logic. 2002. V.41. N2. P.127-139. DOI: 10.1023/a:1015312831772 Scopus OpenAlex |
| 27 |
Stukachev A.
Uniformization property in hereditary finite superstructures Siberian Advances in Mathematics. 1997. V.7. N1. P.123-132. |
Тезисы докладов (1) Подробнее
| 1 |
Stukachev A.
Generalized Computability and Effective Model Theory in Mathematical Linguistics В сборнике Proceedings of the Symposium "Logic and Algorithms in Computational Linguistics 2021" (LACompLing2021). – Stockholm University, 2021, DiVA Portal for Digital Publications., 2021. – C.25. |
Доклады на конференциях (15) Подробнее
| 1 |
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 |
| 2 |
Стукачев А.И.
, Бурнистов А.С.
Алгоритмические аспекты семантики Монтегю Математика в Академгородке 02-04 дек. 2024 |
| 3 |
Стукачев А.И.
Структуры на сигнатурах структур IV Конференция математических центров России, посвященная 300-летию СПбГУ и РАН. 06-11 авг. 2024 |
| 4 |
Stukachev A.I.
Structures on Signatures if Structures XVI международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры» 08-13 Jul 2024 |
| 5 |
Stukachev A.I.
Структуры на сигнатурах структур (Structures on Signatures of Structures) Международная научная конференция «Алгебра и математическая логика: теория и приложения» 27 июн. - 1 июл. 2024 |
| 6 |
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 |
| 7 |
Стукачев А.И.
Вычислимые модели интенсиональной логики Мальцевские чтения : Международная конференция 13-17 нояб. 2023 |
| 8 |
Stukachev A.
Computable models of Montague intensional logic Fifth Workshop on Digitalization and Computable Models 02-06 Oct 2023 |
| 9 |
Stukachev A.I.
Algorithmic aspects of intensional logic XV международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры» 21-28 Jun 2023 |
| 10 |
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 |
| 11 |
Stukachev A.
Generalized Computability and Effective Model Theory in Mathematical Linguistics Logic and Algorithms in Computational Linguistics 2021 15-17 Dec 2021 |
| 12 |
Бурнистов А.С.
, Stukachev A.
Computable Functionals of Finite Types in Montague Semantics Logical Aspects of Computational Linguistics 2021 13-17 Dec 2021 |
| 13 |
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 |
| 14 |
Stukachev A.
Generalized computability in approximation spaces Second Workshop on Digitalization and Computable Models 20-24 Jul 2020 |
| 15 |
Ryzhkov A.
, Stukachev A.
, Stukacheva M.
Interval semantics for natural languages and effective interpretability over the reals Logic Colloquium 2019 11-16 авг. 2019 |
Внешние ссылки
ORCID:
Scopus ID:
РИНЦ ID:
Ученые степени
2003 - Кандидат наук по специальности 01.01.06 - Математическая логика, алгебра и теория чисел
Ученые звания
2012 - Доцент
Награды
| 8 февр. 2024 г. | - |
Юбилейная медаль "300 лет Российской Академии Наук" Медаль, Награды РАН и отделений РАН |
| 31 мая 2022 г. | - |
Грант Благотворительного фонда Владимира Потанина (грантовый конкурс для преподавателей магистратуры, проект ГК22-000733
``Модели языка в математической и компьютерной лингвистике'', 2022-2023 г.) Грант, Региональные награды |
| 1 сент. 2019 г. | - |
Почетная грамота НГУ Почетная грамота, Региональные награды |
| 1 сент. 2005 г. | - |
Грант INTAS для молодых исследователей (проект INTAS YSF 04-83-3310 ``Computability in admissible sets'', 2005-2006 г.) Грант, Награды зарубежных государств и международных организаций |
| 1 июн. 2005 г. | - |
Грант Президента РФ для молодых кандидатов наук (Совет по грантам Президента РФ для поддержки молодых российских ученых и ведущих научных школ, проект МК-1239.2005.1 ``Вычислимость в допустимых множествах'', 2005-2006 г.) Грант, Награды Президента РФ |
| 31 янв. 2001 г. | - |
Медаль Министерства образования РФ ``За лучшую научную студенческую работу'' (2001) Медаль, Награды Федеральных органов исполнительной власти |