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:26 - 6 self