1. 2026
  2. IS TASK-BASED AI THE MISSING LINK BETWEEN HUMAN AND MACHINE REASONING?

    Goncharov, S., Vityaev, E., Sviridenko, D. & Nechesov, A., 10 Jan 2026, In: Journal of Mathematical Sciences. 295, p. 4-14 11 p.

    Research output: Contribution to journalArticlepeer-review

  3. 2025
  4. Isomorphism of Atomless Boolean Algebras with Distinguished Ideals

    Goncharov, S. S. & Xiang, J., 29 Apr 2025, In: Algebra and Logic. 63, 3, p. 179–185 7 p.

    Research output: Contribution to journalArticlepeer-review

  5. The Task-Based Approach: A New Paradigm for Building Trustworthy Artificial Intelligence

    Nechesov, A. V., Vityaev, E. E., Goncharov, S. S. & Sviridenko, D. I., 2025, In: Bulletin of Irkutsk State University, Series Mathematics. 54, p. 96-112 17 p., 7.

    Research output: Contribution to journalArticlepeer-review

  6. 2024
  7. Functional Variant of Polynomial Analogue of Gandy’s Fixed Point Theorem

    Nechesov, A. & Goncharov, S., Nov 2024, In: Mathematics. 12, 21, 3429.

    Research output: Contribution to journalArticlepeer-review

  8. Computable Boolean Algebras and Complexity of the Fréchet Ideal

    Goncharov, S. S., Sept 2024, In: Journal of Mathematical Sciences (United States). 284, 1, p. 72-82 11 p.

    Research output: Contribution to journalArticlepeer-review

  9. VICTOR DANILOVICH MAZUROV (ON HIS 80-TH BIRTHDAY)

    Ershov, Y. L., Goncharov, S. S., Vasil’ev, A. V., Grechkoseeva, M. A., Kolesnikov, P. S., Romanovskii, N. S., Ryaskin, A. N. & Khukhro, E. I., 24 Apr 2024, In: Siberian Electronic Mathematical Reports. 21, 1, p. 266-270 5 p.

    Research output: Contribution to journalArticlepeer-review

  10. 2023
  11. Task-driven approach to artificial intelligence

    Vityaev, E. E., Goncharov, S. S. & Sviridenko, D. I., Sept 2023, In: Cognitive Systems Research. 81, p. 50-56 7 p.

    Research output: Contribution to journalArticlepeer-review

  12. 2021
  13. The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas

    Goncharov, S. S. & Marchuk, M. I., Jul 2021, In: Algebra and Logic. 60, 3, p. 200-206 7 p.

    Research output: Contribution to journalArticlepeer-review

  14. 2020
  15. On Decidable Categoricity and Almost Prime Models

    Goncharov, S. S., Harizanov, V. & Miller, R., 1 Jul 2020, In: Siberian Advances in Mathematics. 30, 3, p. 200-212 13 p.

    Research output: Contribution to journalArticlepeer-review

  16. Decompositions of decidable abelian groups

    Bazhenov, N., Goncharov, S. & Melnikov, A., 1 Feb 2020, In: International Journal of Algebra and Computation. 30, 1, p. 49-90 42 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 Next

ID: 3434674