Model Checking Knowledge in Multi-Agent Systems
Autores
|
1514 |
273,573,636,637,638
|
|
|
1515 |
273,573,636,637,638
|
|
|
1516 |
Carlos G. Lopez Pombo
|
273,573,636,637,638
|
|
1517 |
273,573,636,637,638
|
|
|
1518 |
273,573,636,637,638
|
Informações:
Publicações do PESC
Título
Model Checking Knowledge in Multi-Agent Systems
Linha de pesquisa
Inteligência Artificial
Tipo de publicação
Relatório Técnico
Número de registro
ES-653/4
Data
7/2004
Resumo
Abstract
Arquivo