1. Ågotnes, T., van der Hoek, W., Tennenholtz, M., Wooldridge, M.: Power in normative systems. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, vol. 1, pp. 145–152. IFAAMAS (2009)
2. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the
$\mathcal{S}$
CIFF framework. ACM Transactions on Computational Logic 9(4), 29:1–29:43 (2008)
3. Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence 20(2), 133–157 (2006)
4. Aldewereld, H., Álvarez-Napagao, S., Dignum, F., Vázquez-Salceda, J.: Making norms concrete. In: Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems, pp. 807–814. IFAAMAS (2010)
5. Artikis, A., Sergot, M.: Executable specification of open multi-agent systems. Logic Journal of the IGPL 18(1), 31–65 (2010)