Tibor Bosse, Catholijn M. Jonker, Lourens van der Meij, Alexei Sharpanskykh, Jan Treur. Specification and Verification of Dynamics in Cognitive Agent Models. In Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006. pages 247-254, IEEE Computer Society, 2006. [doi]
Abstract is missing.