Towards the Specification of Recursive Multi-agent Systems Using Type Theory
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Combined logics of knowledge, time, and actions for reasoning about multi-agent systems
KONT'07/KPP'07 Proceedings of the First international conference on Knowledge processing and data analysis
Ambient intelligence through agile agents
Ambient Intelligence for Scientific Discovery
Hi-index | 0.00 |