Косовская Татьяна Матвеевна

Публикации в базе данных Math-Net.Ru

1. Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом
   
   Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, 11:4 (2024),  733–743
2. Выделение общих свойств объектов для создания логических онтологий
   
   Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 18:1 (2022),  37–51
3. Изоморфизм формул исчисления предикатов в задачах Искусственного Интеллекта
   
   Зап. научн. сем. ПОМИ, 499 (2021),  38–52
4. Выделение наибольшей общей подформулы предикатных формул для решения ряда задач искусственного интеллекта
   
   Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 13:3 (2017),  250–263
5. Самообучающаяся сеть с ячейками, реализующими предикатные формулы
   
   Тр. СПИИРАН, 43 (2015),  94–113
6. Применение тактик муравьиных алгоритмов для решения некоторых задач искусственного интеллекта
   
   Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2015, № 3,  67–82
7. Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов
   
   Тр. СПИИРАН, 34 (2014),  204–217
8. Нейросетевые методы логического описания и распознавания сложных образов
   
   Тр. СПИИРАН, 27 (2013),  144–155
9. Использование языков семейства Prolog для распознавания изображений
   
   Тр. СПИИРАН, 25 (2013),  277–293
10. Распознавание изображений на экране дисплея и оценки числа шагов алгоритмов в рамках логико-предметной распознающей системы
    
    Тр. СПИИРАН, 19 (2011),  159–175
11. Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения
    
    Тр. СПИИРАН, 14 (2010),  58–75