The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems. Shapiro, S., Lespérance, Y., Levesque, H. J., Castelfranchi, C., & Johnson, W. L. In Proc. of the First Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), pages 19--26. 2002.
The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems [pdf]Paper  bibtex   

Downloads: 0