Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Искусственный интеллект за автором "Шкільняк, О.С."

Репозиторій DSpace/Manakin

Перегляд Искусственный интеллект за автором "Шкільняк, О.С."

Сортувати за: Порядок: Результатів:

  • Композиційно-номінативні мультимодальні логіки 
    Шкільняк, О.С.; Шкільняк, С.С. (Штучний інтелект, 2011)
    Запропоновано нові класи спеціальних програмно-орієнтованих логік часткових предикатів – композиційно-номінативні мультимодальні логіки. Описано мови і досліджено семантичні властивості таких логік реномінативного і ...
  • Повнота секвенційних числень модальних логік немонотонних часткових предикатів 
    Шкільняк, О.С.; Касьянюк, В.С.; Малютенко, Л.М. (Штучний інтелект, 2016)
    Для чистих першопорядкових композиційно-номінативних модальних логік часткових немонотонних предикатів побудовано числення секвенційного типу. Описано різновиди цих числень, для них вказано базові секвенційні форми та умови ...
  • Секвенційні числення темпоральних і мультимодальних логік часткових предикатів 
    Шкільняк, О.С. (Искусственный интеллект, 2013)
    У статті досліджено транзиційні композиційно-номінативні модальні логіки. Для таких логік розглянуто властивості відношення логічного наслідку для множин специфікованих станами формул. Побудовано секвенційні числення ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис