@incollection{ shapiro02, author = {Steven Shapiro and Yves Lespérance and Hector J. Levesque and Christiano Castelfranchi and W. L. Johnson}, title = {The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems}, booktitle = {Proc. of the First Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02)}, key = {CogRobo}, pages = {19--26}, url = {aamas02.pdf} , year = {2002} }