1. de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.J.C.: A verification framework for agent programming with declarative goals. J. Appl. Log. 5(2), 277–302 (2007)
2. Bond, A.H., Gasser, L. (eds.): Readings in Distributed Artificial Intelligence. Kaufmann, Los Altos (1988)
3. Lecture Notes in Artificial Intelligence;R.H. Bordini,2003
4. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model checking rational agents. IEEE Intell. Syst. 19(5), 46–52 (2004)
5. Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin (2005a)