A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
A Modal Logic for Network Topologies
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Generalised Object-Oriented Concepts for Inter-agent Communication
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A fully abstract model for the exchange of information in multi-agent systems
Theoretical Computer Science
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Hi-index | 0.00 |