U. Hustadt, C. Dixon, R. A. Schmidt, M. Fisher, J-J. Meyer and W. van der Hoek (2005): Verification within the KARO Agent Theory

U. Hustadt, C. Dixon, R. Schmidt, M. Fisher, J.-J. Ch. Meyer, and W. van der Hoek (2005): ``Verification Within the KARO Agent Theory.'' In C. Rouff, M. Hinchey, J. Rash, W. Truszkowski, and D. Gordon-Spears, editors, Agent Technology from a Formal Perspective. Springer, 2005.
Abstract, BibTeX, PDF.

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