Specification and Verification of Dynamics in Cognitive Agent Models (0)

by T Bosse, C M Jonker, L van der Meij, A Sharpanskykh, J Treur
Venue:in: Proceedings of the Sixth International Conference on Intelligent Agent Technology, IAT’06