Repositório Institucional da PUC-RIO (Projeto Maxwell) 2 Biblioteca Digital de Teses e Dissertações da UFRGS 1 Biblioteca Digital de Teses e Dissertações da USP 1

FRANCISCO JOSE PLACIDO DA CUNHA 2 Souza, Marlo Vieira dos Santos e 1 Stabile Junior, Márcio Fernando 1

Moreira, Alvaro Freitas 1

Tese 4

Inglês 2 Português 2

[en] BDI AGENTS 2 [pt] AGENTES BDI 2 Agent profiling 1 Agentes BDI 1 Agentes autônomos 1 Agentes inteligentes 1 Mais ... Algoritmos anytime 1 Anytime algorithms 1 Autonomous agents 1 BDI agents 1 Profiling de agentes 1 Programacao orientada : Agentes 1 Semântica formal 1 [en] MODEL BASED TESTING 1 [en] NORMATIVE AGENTS 1 [en] TESTING AGENT 1 [en] TESTING IN MULTIAGENT SYSTEMS 1 [en] VERIFICATION AUTONOMOUS SYSTEM 1 [pt] AGENTES NORMATIVOS 1 [pt] TESTE BASEADO EM MODELOS 1 [pt] TESTE DE AGENTES 1 [pt] TESTE EM SISTEMAS MULTIAGENTE 1 [pt] VERIFICACAO DE SISTEMAS AUTONOMOS 1 Ver todos ... menos ...

Agent programming 1 BDI agents 1 Belief change 1 Dynamic epistemic logic 1 Formal semantics 1 Goal change 1