Валиев, М. К. Системы агентов, управляемых логическими программами: сложность верификации [Текст] / М. К. Валиев, М. И. Дехтярь, А. Я. Диковский> // Программирование. - 2009. - N 5. - С. 37-56. - Библиогр.: с. 54-56 (36 назв. )
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): проблемы верификации -- асинхронные системы -- МА-системы -- многоагентные системы -- агентные системы Аннотация: Рассмотрены проблемы верификации поведения (динамических свойств) систем взаимодействующих интеллектуальных агенств. Доп.точки доступа: Дехтярь, М. И.; Диковский, А. Я. |