Verifying time, memory and communication bounds in systems of reasoning agents
(2008)
Presentation / Conference
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008, May). Verifying time, memory and communication bounds in systems of reasoning agents. Paper presented at Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal
We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory a... Read More about Verifying time, memory and communication bounds in systems of reasoning agents.