Verification of resource requirements of distributed reasoning agents
(2008)
Presentation / Conference Contribution
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.