Статьи
Кулик Б.А. Система поиска слов в произвольном тексте //
Программирование. - 1987. No 1. C. 49-50.
Кулик Б.А., Рахов Э.В. Программное обеспечение некоторых классов
нечисловых задач на основе матричного представления. // Программирование. -
1988. No 2. C. 216- 31.
Кулик Б. А. Система логического программирования на основе алгебры
кортежей // Изв. РАН. Техн. кибернетика. - 1993. - No 3. - С. 226-239.
Kulik B.A. A Logic Programming System Based on Cortege Algebra. -
Journal of Computer and Systems Sciences International, 1995, Vol.33, No.2,
pp.159-170.
Кулик Б. А. Новые классы КНФ с полиномиально распознаваемым свойством
выполнимости // Автоматика и телемеханика. - 1995. - No 2. - С. 111-124.
Kulik B.A. New Classes of Conjunctive Normal Forms with a Polynomially
Recognizable Property of Satisfiability. - Automation and Remote Control,
1995, Vol.56, No.2 Pt2, pp.245-255.
Кулик Б. А. Представление логических систем в вероятностном
пространстве на основе алгебры кортежей. 1. Основы алгебры
кортежей//Автоматика и телемеханика. - 1997 - No 1. - С. 126-136.
Кулик Б. А., Наумов М. В. Представление логических систем в
вероятностном пространстве на основе алгебры кортежей. 2. Измеримые логические
системы//Автоматика и телемеханика. - 1997. - No 2. - С. 169-179.
Kulik B.A. Representation of Logical Systems in a Probabilistic Space
in Terms of Cortege Algebra. 1 Elements of cortege algebra.// Automation and
Remote Control, 1997, Vol.58, No.1 Pt2, pp.102-114.
Kulik B.A., Naumov M.V. Representation of Logical Systems in a
Probabilistic Space in Terms of Cortege Algebra. 2.Measurable logical systems.
// Automation and Remote Control, 1997, Vol.58, No.2 Pt2, pp.290-298.
Кулик Б.А. Анализ надежности систем с многими состояниями
на основе алгебры кортежей // Автоматика и телемеханика,
2003, No 7. С. 13-18.
С чем идет современная логика в XXI век?
Кулик Б. А. Вероятностная логика на основе алгебры кортежей // Изв. РАН.
Теория и системы управления. 2007. No 1. С. 118-127.
Что такое дедукция?
На персональную
страницу