Marc Esteva, Julian A. Padget, Carles Sierra. Formalizing a Language for Institutions and Norms. In John-Jules Ch. Meyer, Milind Tambe, editors, Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers. Volume 2333 of Lecture Notes in Computer Science, pages 348-366, Springer, 2001. [doi]
Abstract is missing.