Pierangelo Dell Acqua, Luís Moniz Pereira. A Logical Framework for Modelling eMAS. In Verónica Dahl, Philip Wadler, editors, Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings. Volume 2562 of Lecture Notes in Computer Science, pages 241-255, Springer, 2003. [doi]
Abstract is missing.