Science activity
Articles (25) More info
| 1 |
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 |
| 2 |
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 |
| 3 |
Nechesov A.
, Goncharov S.
Functional Variant of Polynomial Analogue of Gandy’s Fixed Point Theorem Mathematics. 2024. V.12. N21. 3429 . DOI: 10.3390/math12213429 WOS Scopus РИНЦ OpenAlex |
| 4 |
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 |
| 5 |
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 |
| 6 |
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 |
| 7 |
Goncharov S.
, Nechesov A.
Axiomatization of Blockchain Theory Mathematics. 2023. V.11. N13. 2966 :1-16. DOI: 10.3390/math11132966 WOS Scopus РИНЦ OpenAlex |
| 8 |
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 |
| 9 |
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 |
| 10 |
Goncharov S.
, Nechesov A.
Solution of the Problem P = L Mathematics. 2022. V.10. N1. 113 . DOI: 10.3390/math10010113 WOS Scopus РИНЦ OpenAlex |
| 11 |
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 |
| 12 |
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 |
| 13 |
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 |
| 14 |
Goncharov S.S.
, Harizanov V.
, Miller R.
On Decidable Categoricity and Almost Prime Models Siberian Advances in Mathematics. 2020. V.30. N3. P.200-212. DOI: 10.3103/S1055134420030050 Scopus OpenAlex |
| 15 |
Goncharov S.
, Ospichev S.
, Ponomaryov D.
, Sviridenko D.
The expressiveness of looping terms in the semantic programming Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2020. V.17. 024 :1-15. DOI: 10.33048/SEMI.2020.17.024 WOS Scopus OpenAlex |
| 16 |
Bazhenov N.
, Goncharov S.
, Melnikov A.
Decompositions of decidable abelian groups International Journal of Algebra and Computation. 2020. V.30. N1. P.49-90. DOI: 10.1142/S0218196719500644 WOS Scopus OpenAlex |
| 17 |
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 |
| 18 |
Goncharov S.S.
, Sviridenko D.I.
, Vityaev E.E.
Task Approach to Artificial Intelligence CEUR Workshop Proceedings. 2020. V.2642. P.1-6. Scopus |
| 19 |
Goncharov S.S.
, Sviridenko D.I.
Logical Language of Description of Polynomial Computing Doklady Mathematics. 2019. V.99. N2. P.121-124. DOI: 10.1134/S1064562419020030 WOS Scopus OpenAlex |
| 20 |
Goncharov S.S.
, Miller R.
, Harizanov V.
Turing Degrees of Complete Formulas of Almost Prime Models Algebra and Logic. 2019. V.58. N3. P.282-287. DOI: 10.1007/s10469-019-09546-y WOS Scopus OpenAlex |
| 21 |
Goncharov S.S.
, Sviridenko D.I.
Recursive Terms in Semantic Programming Siberian Mathematical Journal. 2018. V.59. N6. P.1014-1023. DOI: 10.1134/s0037446618060058 WOS Scopus OpenAlex |
| 22 |
Goncharov S.S.
, Knight J.F.
, Souldatos I.
Hanf number for Scott sentences of computable structures Archive for Mathematical Logic. 2018. V.57. N7-8. P.889-907. DOI: 10.1007/s00153-018-0615-6 WOS Scopus OpenAlex |
| 23 |
Goncharov S.S.
Conditional terms in semantic programming Siberian Mathematical Journal. 2017. V.58. N5. P.794-800. DOI: 10.1134/S0037446617050068 WOS Scopus OpenAlex |
| 24 |
Goncharov S.S.
, Bazhenov N.A.
, Marchuk M.I.
The index set of the groups autostable relative to strong constructivizations Siberian Mathematical Journal. 2017. V.58. N1. P.72-77. DOI: 10.1134/S0037446617010104 WOS Scopus OpenAlex |
| 25 |
Goncharov S.S.
, Bazhenov N.A.
, Marchuk M.I.
Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations Journal of Mathematical Sciences (United States). 2017. V.221. N6. P.840-848. DOI: 10.1007/s10958-017-3272-0 Scopus OpenAlex |
Conference attendances (15) More info
| 1 |
Goncharov S.
, Nechesov A.
, Sviridenko D.
Programming Methodology in Turing-complete languages. 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Novosibirsk, Russian Federation, 2024 30 Sep - 2 Oct 2024 |
| 2 |
Goncharov S.
, Nechesov A.
, Sviridenko D.
Programming Methodology for Trusted Artificial Intelligence 14-я Международная мультиконференция «Биоинформатика Геномной Регуляции и Структурной/Системной Биологии» / 14th International Multiconference on “Bioinformatics of Genome Regulation and Structure / Systems Biology” – BGRS/SB-2024 05-10 Aug 2024 |
| 3 |
Goncharov S.S.
, Нечёсов А.В.
, Sviridenko D.I.
Hybrid Artificial Intelligence Международная конференция «Математика в созвездии наук». К юбилею ректора МГУ академика Виктора Антоновича Садовничего 01-02 Apr 2024 |
| 4 |
Goncharov S.
, Nechesov A.
AI-Driven Digital Twins for Smart Cities 10th International Electronic Conference on Sensors and Applications session Sensors and Artificial Intelligence 15-30 Nov 2023 |
| 5 |
Goncharov S.
, Nechesov A.
Task approach and semantic programming for AI Program Semantics, Specification and Verification: Theory and Applications November 3-4, 2023, in hybrid mode (at Innopolis and online) 03-04 Nov 2023 |
| 6 |
Nechesov A.
, Goncharov S.
Semantic Programming for AI and Robotics. IEEE International Multi-Conference on Engineering, Computer and Information Sciences 11-13 Nov 2022 |
| 7 |
Goncharov S.S.
, Nechesov A.V.
Logic programming language Delta in AI and Robotics. Current State and Development Perspectives of Digital Technologies and Artificial Intelligence 27-28 Oct 2022 |
| 8 |
Goncharov S.S.
«Computable models and Semantic Modeling in AI» Lake Baikal Summit 2022 Beyond The Future of ICT Science and Technology 08-10 Aug 2022 |
| 9 |
Goncharov S.S.
“Computability over models and applications” International school-seminar "Syntax and semantics of logical systems" 01-05 Aug 2022 |
| 10 |
Goncharov S.S.
Computability and polynomial computability over models Algorithmic Presentations in Mathematics 08-12 Nov 2021 |
| 11 |
Goncharov S.S.
Computable numberings on the approach by Sorbi and Goncharov "Equivalences, Numberings, Reducibilities" (Satellite Event of the 8th European Congress of Mathematics) 16-18 Jun 2021 |
| 12 |
Goncharov S.S.
Some questions and results for classical algebraic structures Joint Mathematics Meetings 16-19 Jan 2019 |
| 13 |
Goncharov S.S.
The computability via definability in semantic modeling Logical Pespectives 2018 14-18 May 2018 |
| 14 |
Goncharov S.S.
Rogers Semilattices of Generalized computable numberings Computability Theory 06-13 Jan 2018 |
| 15 |
Goncharov S.S.
Computable numberings Computability Theory 19-24 Feb 2017 |
Identifiers
ORCID:
0000-0003-2954-0900
ResearcherID:
J-7221-2013
Scopus ID:
56377536800
Elibrary ID:
5347
Degrees
1982 - Dr.Sc.
1975 - Ph.D.
Academic titles
1985 - Professor