A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
1 005 012

Репозиториев:
30

Авторов:
596 024

расширенный поиск

A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents

Rybakov, Vladimir V., V.Babenyshev, Sergej V.

Дата публикации: 2008-11

Дата публикации в реестре: 2020-03-03T17:11:54Z

Аннотация:

Ключевые слова:
multi-agent logics, tense logics, knowledge representation, satisfiability, decidability, inference

Тип: Journal Article

Связанные документы (рекомендация CORE)