Information Technology Reference
In-Depth Information
12. Gateau, B., Boissier, O., Khadraoui, D., Dubois, E.: Moise
Inst
: An organizational model for
specifying rights and duties of autonomous agents. In: Proc. EUMAS, pp. 484-485 (2005)
13. Haesevoets, R., Weyns, D., Holvoet, T., Joosen, W.: A formal model for self-adaptive and
self-healing organizations (2009)
14. da Rocha Costa, A., Dimuro, G.: Semantical Concepts for a Formal Structural Dynamics of
Situated Multiagent Systems. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.)
COIN 2007. LNCS (LNAI), vol. 4870, pp. 139-154. Springer, Heidelberg (2008)
15. Jonker, C.M., Sharpanskykh, A., Treur, J., Yolum, P.I.: A framework for formal modeling
and analysis of organizations. Appl. Intell. 27(1), 49-66 (2007)
16. Ricci, A., Viroli, M., Omicini, A.: Give agents their artifacts: the A&A approach for engi-
neering working environments in MAS. In: Proc. AAMAS, p. 150 (2007)
17. Criado, N., Argente, E., Botti, V.: Rational Strategies for Norm Compliance in the n-BDI Pro-
posal. In: De Vos, M., Fornara, N., Pitt, J.V., Vouros, G. (eds.) COIN 2010. LNCS, vol. 6541,
pp. 1-20. Springer, Heidelberg (2011)
18. Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of
Computer Science, pp. 46-57. IEEE (1977)
19. Nardini, E., Molesini, A., Omicini, A., Denti, E.: SPEM on test: the SODA case study. In:
Proc. of the 2008 ACM Symposium on Applied Computing, pp. 700-706. ACM (2008)
20. Argente, E., Botti, V., Carrascosa, C., Giret, A., Julian, V., Rebollo, M.: An Abstract Ar-
chitecture for Virtual Organizations: The THOMAS approach. Knowledge and Information
Systems, 1-35 (2011)
