Hustadt, Dixon, Schmidt, Fisher, Meyer and van der Hoek (2002)

Verification within the KARO Agent Theory

Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J.-J. and van der Hoek, W. (2001)

In Rash, J. L., Rouff, C. A., Truszkowski, W., Gordon, D. and Hinchey, M. G. (eds), Formal Approaches to Agent-Based Systems. Lecture Notes in Artificial Intelligence 1871, Springer, 33-47. BiBTeX. (Copyright © Springer).

This paper proposes two new methods for realising automated reasoning within agent-based systems. We concentrate on a core of the KARO framework, which is a specification framework for modelling intelligent agent behaviour. We discuss the advantages of each approach and suggest ways to extend each variant to cover more of the KARO framework.

Last modified: 01 Mar 04