The cognitive agents specification language and verification environment for multi-agent systems (2002)

by S Shapiro, Y Lespérance, H J Levesque
Venue:In Proc. of the 1 st Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS-02), ACM