Нікітченко, М.С.; Шкільняк, O.С.; Шкільняк, С.С.
(Штучний інтелект, 2018)
Досліджено новий клас програмно-орієнтованих логічних формалізмів – логіки загальних недетермі-нованих предикатів, або GND-предикатів. Виділено різновиди GND-предикатів, описано їх композиційні алгебри. Показано зв'язок ...