Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher. A Formal Semantics for Brahms. In João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre, editors, Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Volume 6814 of Lecture Notes in Computer Science, pages 259-274, Springer, 2011. [doi]
Abstract is missing.