2010/01: M. Winikoff. Assurance of agent systems: What role should formal verification play?. Abstract | Download (296 KB)

2010/02: S.-P. Yong and J. D. Deng and M. K. Purvis. Modelling semantic context for novelty detection in wildlife scenes. Abstract | Download (3.2 MB)

2010/03: B. T. R. Savarimuthu and S. Cranefield and M. A. Purvis and M. K. Purvis. Norm identification in multi-agent societies. Abstract | Download (562 KB)