21 - 30 out of 110Page size: 10
  1. 2020

  2. Isomorphism of predicate formulas as the base of logic ontology construction

    Kosovskaya, T., 2020, In: International Journal "Information Theories and Applications". 27, 3, p. 248-255

    Research output: Contribution to journal › Article › peer-review

  3. Выделение изоморфных подформул как средство для создания логической онтологии

    Косовская, Т. М., 2020, 12-я Российская Мультиконференция по Проблемам Управления. Материалы конференции «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УПРАВЛЕНИИ» (ИТУ-2020) 7 – 8 Октября 2020 г., Санкт-Петербург, Гнц Рф Ао «КОНЦЕРН «ЦНИИ «ЭЛЕКТРОПРИБОР», 2020, с. 84 – 86.. СПб.: ЦНИИ «Электроприбор», p. 84-86 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  4. 2019

  5. Implementation of Formula Partial Sequence for Rough Solution of AI Problems in the Framework of the Logic-Predicate Approach

    Kosovskaya, T., Sep 2019, 12th International Conference on Computer Science and Information Technologies, CSIT 2019. Shoukourian, S. (ed.). Yerevan: Institute of Electrical and Electronics Engineers Inc., p. 65-68 4 p. 8895153. (12th International Conference on Computer Science and Information Technologies, CSIT 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  6. Polynomial Equivalence of the Problems Predicate Formulas Isomorphism and Graph Isomorphis

    Kosovskaya, T. M. & Kosovskii, N. N., Sep 2019, In: Vestnik St. Petersburg University: Mathematics. 52, 3, p. 286–292

    Research output: Contribution to journal › Article › peer-review

  7. ISOMORPHISM OF PREDICATE FORMULAS IN ARTIFICIAL INTELLIGENCE PROBLEMS

    Kosovskaya, T., Jun 2019, In: International Journal on Information Theory and Applications. 26, 3, p. 221–230

    Research output: Contribution to journal › Article › peer-review

  8. ПОЛИНОМИАЛЬНАЯ ЭКВИВАЛЕНТНОСТЬ ЗАДАЧ ИЗОМОРФИЗМ ПРЕДИКАТНЫХ ФОРМУЛ И ИЗОМОРФИЗМ ГРАФОВ

    Косовская, Т. М. & Косовский, Н. Н., May 2019, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ. 6 (64), 3, p. 430–439

    Research output: Contribution to journal › Article › peer-review

  9. Дискретная постановка задачи о сложности вычисления расстояния между Хаусдорфовыми пространствами

    Косовская, Т. М. & Косовский, Н. Н., 2019, Материалы XIII Международного семинара «ДИСКРЕТНАЯ МАТЕМАТИКА И ЕЕ ПРИЛОЖЕНИЯ» имени академика О. Б. ЛУПАНОВА. Москва, p. 126-129

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  10. ОБУЧЕНИЕ СТУДЕНТОВ ИСПОЛЬЗОВАНИЮ МЕТОДА ГАУССА ДЛЯ ЦЕЛОЧИСЛЕННЫХ МАТРИЦ ПРИ РЕАЛИЗАЦИИ НА КОМПЬЮТЕРЕ

    Косовская, Т. М., 2019, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 3, p. 90-95 6 p.

    Research output: Contribution to journal › Article › peer-review

  11. 2018

  12. Построение многоуровневой базы для уменьшения вычислительной сложности решения задачи конъюнктивный булевский запрос

    Косовская, Т. М., Oct 2018, 11-я Российская Мультиконференция по Проблемам Управления. Материалы конференции «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УПРАВЛЕНИИ» (ИТУ-2018) . ЦНИИ «Электроприбор», p. 33-38 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  13. Predicate Calculus as a Tool for AI Problems Solution: Algorithms and Their Complexity

    Косовская, Т. М., 29 Aug 2018, Intelligent System. Wongchoosuk, C. (ed.). InTech, p. 1 - 20 20 p. (Open access peer-reviewed Edited volume.).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

Previous 1 2 3 4 5 6 7 8 ...11 Next

ID: 217600