Verification of resource requirements of distributed reasoning agents
(2008)
Presentation / Conference
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008, March). Verification of resource requirements of distributed reasoning agents. Paper presented at Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), Budapest, Hungary
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 Verification of resource requirements of distributed reasoning agents.