Нікітченко, М.С.; Шкільняк, O.С.; Шкільняк, С.С.
(Штучний інтелект, 2017)
Запропоновано та досліджено новий клас програмно-орієнтованих логічних формалізмів – логіки загальних недетермінованих квазіарних предикатів (GND-предикатів). Такі предикати є узагальненням часткових неоднозначних предикатів ...