Kosovskaya Tatiana Matveevna

Publications in Math-Net.Ru

1. Algorithm for extraction common properties of objects described in the predicate calculus language with a single predicate symbol
   
   Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 11:4 (2024),  733–743
2. Extraction of common properties of objects for creation of a logic ontology
   
   Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 18:1 (2022),  37–51
3. Isomorphism of predicate formulas in artificil intelligence problems
   
   Zap. Nauchn. Sem. POMI, 499 (2021),  38–52
4. Extraction of a maximal common sub-formula of predicate formulas for the solving of some artificial intelligence problems
   
   Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 13:3 (2017),  250–263
5. Self-training Network with the Sells Implementing Predicate Formulas
   
   Tr. SPIIRAN, 43 (2015),  94–113
6. Application of Ant algorithms to the solving of some artificial intelligence problems
   
   Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 2015, no. 3,  67–82
7. An Approach to the Construction of a Level Description of Classes by Means of a Predicate Calculus Language
   
   Tr. SPIIRAN, 34 (2014),  204–217
8. Neural Methods for Complex Images Logic Description and Recognition
   
   Tr. SPIIRAN, 27 (2013),  144–155
9. The use of Prolog language family for image recognition
   
   Tr. SPIIRAN, 25 (2013),  277–293
10. Display screne image recognition and bounds of number of steps of an algorithm in the frameworks of logic-objective recognition system
    
    Tr. SPIIRAN, 19 (2011),  159–175
11. Some artificial intelligence problems permitting formalization by means of predicate calculus language and upper bounds of their solution steps
    
    Tr. SPIIRAN, 14 (2010),  58–75