MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Lógica Epstêmica
-
Lógica Modal
-
Model Checking
-
Representação de Conhecimento
-
Sistemas Distribuídos
-
Sistemas Multi-Agentes
-
Verificacao de Sistemas
Identidade
identificador BrCris
-
76ff9bf54c276e151cd01e236a6e2ca0
identificador Capes
-
20071731001017004P3-Publication