TY - THES AU - Molinero Brizuela, Carlos A3 - Núñez García, Manuel PY - 2009 UR - https://hdl.handle.net/20.500.14352/54578 AB - Este trabajo presenta una aproximación formal para crear especificaciones de sistemas de agentes jerarquizados. El funcionamiento permite una automatización de las tareas, a las que el usuario del sistema accederá a través de peticiones. De manera... LA - eng KW - Agentes KW - Sistemas multi-agente KW - Jerarquización KW - Automatización KW - Agents KW - Multi-agent systems KW - Hierarchy KW - Automatization. TI - A formal approach to the specification of hierarchical multi-agent systems M3 - master thesis ER -