Outputs (3)

Verifying resource requirements for distributed rule-based systems (2008)
Presentation / Conference Contribution

Rule-based systems are rapidly becoming an important component of ‘mainstream’ computing technologies, for example in business process modelling, the semantic web, sensor networks etc. However, while rules provide a flexible way of implementing such... Read More about Verifying resource requirements for distributed rule-based systems.

Verifying time, memory and communication bounds in systems of 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 Verifying time, memory and communication bounds in systems of reasoning agents.

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.