Программирование (РАН) №1 2018 (605,40 руб.)

Стр.1

Стр.2

СОДЕРЖАНИЕ Номер 1, 2018 ПЕРСПЕКТИВЫ СИСТЕМ ИНФОРМАТИКИ Генерация тестов на абстракциях систем событий для покрытия их состояний и переходов Ж. Жюллиан, О. Кушнаренко, П.-А. Массон, Г. Вуарон Использование онтологии предметной области для автоматизации процессов в сфере научных исследований и образования Д.А. Шачнев, Д.С. Карпенко Мульти-агентный подход к разрешению кореференции на основе многофакторного сходства при пополнении онтологий Н.О. Гаранина, Е.А. Сидорова, А.С. Серый Система автоматического доказательства теорем интуиционистской логики на основе обратного метода В.А. Павлов, В.Г. Пак PosDB: обзор архитектуры Г.А. Чернышев, В.А. Галактионов, В.Д. Григорьев, Е.С. Ключиков, К.К. Смирнов 46 60 _________________________________________________________________________________________________________________________ Авторский указатель статей, опубликованных в 2017 году 77 _________________________________________________________________________________________________________________________ 31 21 3

Стр.1

CONTENTS No. 1, 2018 PERSPECTIVES OF SYSTEMS INFORMATICS Test Generation from Event System Abstractions to Cover Their States and Transitions J. Julliand, O. Kouchnarenko, P.A. Masson, G. Voiron Using Subject Area Ontology for Automating Processes in Sphere of Scientific Investigation and Education D.A. Shachnev, D.S. Karpenko Multiagent Approach to Coreference Resolution Based on the Multifactor Similarity in Ontology Population N.O. Garanina, E.A. Sidorova, A.S. Seryi Theorem Prover for Intuitionistic Logic Based on the Inverse Method V.A. Pavlov, V.G. Pak PosDB: An Architecture Overview G.A. Chernishev, V.A. Galaktionov, V.D. Grigorev, E.S. Klyuchikov, K.K. Smirnov 60 _________________________________________________________________________________ Index of Authors of Articles Published in 2017 ________________________________________________________________________________ 77 31 46 21 3

Стр.2