Programming in Martin-Lo¨f's type theory: an introduction
Programming in Martin-Lo¨f's type theory: an introduction
Type theory and functional programming
Type theory and functional programming
Practical Reasoning with Procedural Knowledge
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Multi-Agent-Systems Based on Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
From Agent Theory to Agent Construction: A Case Study
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Holonic Multi-agent Systems to Integrate Independent Multi-sensor Platforms in Complex Surveillance
AVSS '06 Proceedings of the IEEE International Conference on Video and Signal Based Surveillance
ANEMONA: A Multi-agent Methodology for Holonic Manufacturing Systems
ANEMONA: A Multi-agent Methodology for Holonic Manufacturing Systems
A Generic Recursive Multiagent Model to Simplify Large Scale Multi-level Systems Observation
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
| Hi-index | 0.00 |
Nowadays software systems are more and more complex. Such systems are composed of many sub-systems, in which each sub-system exists and interacts with other sub-systems. Since a few years, multi-Agent systems (MAS) propose well considered approaches for these kinds of systems. In this paper, we concentrate on recursive MAS which are well adapted to describe complex systems. Up to now, recursive MAS are only specified by informal languages. This paper proposes the use of type theory to specify recursive MAS. This work constitutes a first theoretical step in the elaboration of a generic software tool for reliable design of recursive MAS.