|
1
|
Badaev S.
, Bazhenov N.
, Goncharov S.
, Kalmurzayev B.
, Melnikov A.
A non-computable c.e. closed subset of [0,1]
Journal of Logic and Computation. 2025.
V.35. N6. exaf043
:1-19. DOI: 10.1093/logcom/exaf043
WOS
Scopus
OpenAlex
|
|
2
|
Goncharov S.S.
Computable Boolean Algebras and Complexity of the Fréchet Ideal
Journal of Mathematical Sciences (United States). 2024.
V.284. N1. P.72–82. DOI: 10.1007/s10958-024-07328-1
Scopus
РИНЦ
OpenAlex
|
|
3
|
Goncharov S.
, Nechesov A.
, Sviridenko D.
Programming Methodology in Turing-Complete Languages
In compilation
Proceedings 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Novosibirsk, Russian Federation, 2024.
– IEEE.,
2024.
– C.272-276. – ISBN 979-8-3315-3202-4. DOI: 10.1109/sibircon63777.2024.10758446
Scopus
OpenAlex
|
|
4
|
Nechesov A.
, Goncharov S.
Functional Variant of Polynomial Analogue of Gandy’s Fixed Point Theorem
Mathematics. 2024.
V.12. N21. 3429
:1-14. DOI: 10.3390/math12213429
WOS
Scopus
РИНЦ
OpenAlex
|
|
5
|
Goncharov S.S.
, Xiang J.
Isomorphism of Atomless Boolean Algebras with Distinguished Ideals
Algebra and Logic. 2024.
V.63. N3. P.179–185. DOI: 10.1007/s10469-025-09781-6
WOS
Scopus
OpenAlex
|
|
6
|
Гончаров С.С.
, Сян Ц.
Изоморфизм безатомных булевых алгебр с выделенным идеалом
Алгебра и логика. 2024.
Т.63. №3. С.271–279. DOI: 10.33048/alglog.2024.63.303
|
|
7
|
Vityaev E.E.
, Goncharov S.S.
, Sviridenko D.I.
Task-driven approach to artificial intelligence
Cognitive Systems Research. 2023.
V.81. P.50-56. DOI: 10.1016/j.cogsys.2023.05.001
WOS
Scopus
РИНЦ
OpenAlex
|
|
8
|
Goncharov S.
, Nechesov A.
Polynomial-Computable Representation of Neural Networks in Semantic Programming
J — Multidisciplinary Scientific Journal. 2023.
V.6. N1. P.48-57. DOI: 10.3390/j6010004
РИНЦ
OpenAlex
|
|
9
|
Goncharov S.
, Nechesov A.
Semantic programming for AI and Robotics
In compilation
2022 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON).
– IEEE.,
2023.
– C.810-815. – ISBN 9781665464802. DOI: 10.1109/sibircon56155.2022.10017077
Scopus
OpenAlex
|
|
10
|
Goncharov S.
, Nechesov A.
Axiomatization of Blockchain Theory
Mathematics. 2023.
V.11. N13. 2966
:1-16. DOI: 10.3390/math11132966
WOS
Scopus
РИНЦ
OpenAlex
|
|
11
|
Vityaev E.E.
, Goncharov S.S.
, Gumirov V.S.
, Mantsivoda A.V.
, Nechesov A.V.
, Sviridenko D.I.
Task approach: on the way to trusting
artificial intelligence
In compilation
ИЗБРАННЫЕ ТРУДЫ. Всемирный конгресс. Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения (26–30 июня 2023 г., Москва)..
2023.
– ISBN 978-5-91291-065-4. DOI: 10.18699/sblai2023-41
OpenAlex
|
|
12
|
Goncharov S.
, Nechesov A.
AI-Driven Digital Twins for Smart Cities
In compilation
Proceedings of the 10th International Electronic Conference on Sensors and Applications, 15–30 November 2023, MDPI: Basel, Switzerland.
2023.
– C.1-7. DOI: 10.3390/ecsa-10-16223
Scopus
OpenAlex
|
|
13
|
Витяев Е.Е.
, Гончаров С.С.
, Гумиров В.Ш.
, Манцивода А.В.
, Нечесов А.В.
, Свириденко Д.И.
Задачный подход: на пути к доверительному искусственному интеллекту
In compilation
ИЗБРАННЫЕ ТРУДЫ. Всемирный конгресс. Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения (26–30 июня 2023 г., Москва)..
2023.
– C.199-243. – ISBN 978-5-91291-065-4.
|
|
14
|
Goncharov S.
, Nechesov A.
Solution of the Problem P = L
Mathematics. 2022.
V.10. N1. 113
. DOI: 10.3390/math10010113
WOS
Scopus
РИНЦ
OpenAlex
|
|
15
|
Бадаев С.А.
, Гончаров С.С.
Полурешетки Роджерса с наименьшим и наибольшим элементом в иерархии Ершова
Алгебра и логика. 2022.
Т.61. №3. DOI: 10.33048/alglog.2022.61.304
РИНЦ
|
|
16
|
Гончаров С.С.
, Нечесов А.В.
Объектно-ориентированный логический язык программирования
для искусственного интеллекта и робототехники.
In compilation
Математическая логика и компьютерные науки. Труды Международной научной конференции 7-8 октября 2022 г., Астана, Казахстан.
– ЕНУ.,
2022.
– C.191-195. – ISBN 978-601-337-776-6.
|
|
17
|
Badaev S.A.
, Goncharov S.S.
Rogers Semilattices with Least and Greatest Elements in the Ershov Hierarchy
Algebra and Logic. 2022.
V.61. N3. P.334-340. DOI: 10.1007/s10469-022-09690-y
WOS
Scopus
РИНЦ
OpenAlex
|
|
18
|
Goncharov S.
, Nechesov A.
Polynomial analogue of gandy’s fixed point theorem
Mathematics. 2021.
V.9. N17. 2102
. DOI: 10.3390/math9172102
WOS
Scopus
OpenAlex
|
|
19
|
Goncharov S.S.
, Marchuk M.I.
The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas
Algebra and Logic. 2021.
V.60. N3. P.200-206. DOI: 10.1007/s10469-021-09642-y
WOS
Scopus
OpenAlex
|
|
20
|
Goncharov S.
, Sviridenko D.
Semantic Modeling and Hybrid Models
In compilation
SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings.
2020.
– C.987-990. – ISBN 978-172814401-6. DOI: 10.1109/sibircon48586.2019.8958196
Scopus
OpenAlex
|