The cognitive agent specification language and verification environment for multiagent systems

by Steven Shapiro , Yves Lespérance , Hector J. Levesque
Venue:In Proc. of AAMAS’02
Citations:27 - 7 self