Formalizing a language for institutions and norms (2001)

by M Esteva, J Padget, C Sierra
Venue:In J.-J. Meyer & M. Tambe (Eds.), Pre-proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001