Bokov Grigoriy Vladimirovich

Publications in Math-Net.Ru

1. Automation of artificial neural network architectures search
   
   Intelligent systems. Theory and applications, 27:4 (2023),  5–27
2. On the complexity of a linear ordering of weighted directed acyclic graphs
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2021, no. 1,  55–57
3. Artificial intelligence: problems and prospects
   
   Intelligent systems. Theory and applications, 24:4 (2020),  33–44
4. Criterion of neural generation of automaton functions with time delay
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2020, no. 6,  54–55
5. On irreduceability of Boolean functions with respect to commutative associative operation
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2020, no. 4,  51–53
6. Graph based extended resolution for Boolean formulas
   
   Intelligent systems. Theory and applications, 23:3 (2019),  35–40
7. On the finite representation of logical systems
   
   Intelligent systems. Theory and applications, 23:1 (2019),  57–80
8. From Boolean circuits to theorem proving
   
   Intelligent systems. Theory and applications, 22:1 (2018),  123–130
9. Undecidable iterative propositional calculus
   
   Algebra Logika, 55:4 (2016),  419–431
10. Пропозициональные исчисления как средство задания логических процессов
    
    Intelligent systems. Theory and applications, 20:3 (2016),  24–36
11. On some Frege system
    
    Intelligent systems. Theory and applications, 19:4 (2015),  155–168
12. Undecidable three-variables superintuitionistic propositional calculus
    
    Intelligent systems. Theory and applications, 19:3 (2015),  95–100
13. Criterion for propositional calculi to be finitely generated
    
    Diskr. Mat., 25:3 (2013),  38–63
14. Pontryagin's maximum principle of optimal control problems with time-delay
    
    Fundam. Prikl. Mat., 15:5 (2009),  3–19


15. Opportunities for the implementation of automatic learning system
    
    Intelligent systems. Theory and applications, 26:4 (2022),  5–19