Science activity
Articles (23) More info
| 1 |
Penzina U.
, Stukachev A.
Skolem Functions and Generalized Quantifiers for Negative Polarity Items Semantics In compilation "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 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 In compilation 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 |
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 |
| 7 |
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 |
| 8 |
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 |
| 9 |
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 |
| 10 |
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 |
| 11 |
Stukachev A.
Effective model theory: approach via σ-definability In compilation Lecture Notes in Logic. – Cambridge University Press., 2013. – Т.41. – C.164-197. – ISBN 9781107014510. DOI: 10.1017/cbo9781139028592.010 OpenAlex |
| 12 |
Stukachev A.
On Processes and Structures Lecture Notes in Computer Science. 2013. V.7921. P.393-402. |
| 13 |
Ershov Y.L.
, Puzarenko V.G.
, Stukachev A.
HF-Computability In compilation Computability in Context Computation and Logic in the Real World. – World Scientific., 2011. – C.169-242. DOI: 10.1142/9781848162778_0006 Scopus РИНЦ OpenAlex |
| 14 |
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 |
| 15 |
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 |
| 16 |
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 |
| 17 |
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 |
| 18 |
Stukachev A.
On mass problems of presentability In compilation Lecture Notes in Computer Science. 2006. – Т.3959. – C.772-782. DOI: 10.1007/11750321_74 Scopus OpenAlex |
| 19 |
Stukachev A.
Presentations of Structures in Admissible Sets In compilation Lecture Notes in Computer Science. 2005. – Т.3526. – C.470-478. |
| 20 |
Stukachev A.
Presentations of Structures in Admissible Sets Lecture Notes in Computer Science. 2005. V.3526. P.470-478. |
| 21 |
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 |
| 22 |
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 |
| 23 |
Stukachev A.
Uniformization property in hereditary finite superstructures Siberian Advances in Mathematics. 1997. V.7. N1. P.123-132. |
Conference theses (1) More info
| 1 |
Stukachev A.
Generalized Computability and Effective Model Theory in Mathematical Linguistics In compilation Proceedings of the Symposium "Logic and Algorithms in Computational Linguistics 2021" (LACompLing2021). – Stockholm University, 2021, DiVA Portal for Digital Publications., 2021. – C.25. |
Conference attendances (10) More info
| 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 |
Stukachev A.I.
Structures on Signatures if Structures XVI международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры» 08-13 Jul 2024 |
| 3 |
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 |
| 4 |
Stukachev A.
Computable models of Montague intensional logic Fifth Workshop on Digitalization and Computable Models 02-06 Oct 2023 |
| 5 |
Stukachev A.I.
Algorithmic aspects of intensional logic XV международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры» 21-28 Jun 2023 |
| 6 |
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 |
| 7 |
Stukachev A.
Generalized Computability and Effective Model Theory in Mathematical Linguistics Logic and Algorithms in Computational Linguistics 2021 15-17 Dec 2021 |
| 8 |
Бурнистов А.С.
, Stukachev A.
Computable Functionals of Finite Types in Montague Semantics Logical Aspects of Computational Linguistics 2021 13-17 Dec 2021 |
| 9 |
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 |
| 10 |
Stukachev A.
Generalized computability in approximation spaces Second Workshop on Digitalization and Computable Models 20-24 Jul 2020 |
Identifiers
ORCID:
Scopus ID:
Elibrary ID:
Degrees
2003 - Ph.D.
Academic titles
2012 - Associate professor