The cognitive agents specification language and verification environment for multiagent systems (2002)

by S Shapiro, Y Lespérance, H J Levesque
Venue:In Proc. AAMAS 2002