Steven Shapiro, Yves Lespérance, Hector J. Levesque. The cognitive agents specification language and verification environment for multiagent systems. In The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings. pages 19-26, ACM, 2002. [doi]
Abstract is missing.