Нікітченко, М.С.; Шкільняк, С.С.
(Штучний інтелект, 2016)
Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Вони є синтезом класичних першопорядкових логік та композиційно-номінативних логік ...