Towards the Specification of Recursive Multi-agent Systems Using Type Theory.

Thi-Thanh-Ha Hoang Michel Occello

Published in: IAT (2009)

Keyphrases

multi agent systems
information theory
multi agent
theoretical framework
general theory
theoretical basis
neural network
asynchronous circuits
cooperative
computational model
complex systems
user defined
high level
information retrieval
formal methods
machine learning
database