From organisation specification to normative programming in multi-agent organisations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6245 LNAI, Issue , 2010, Pages 117-134

  Hübner, Jomi F ^a   Boissier, Olivier ^b   Bordini, Rafael H ^c  

^a FEDERAL UNIVERSITY OF SANTA CATARINA   (Brazil)

^b ECOLE DES MINES DE SAINT ETIENNE   (France)

^c FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SEMANTICS; MANAGEMENT INFRASTRUCTURE; MODELLING LANGUAGE; MULTI-AGENT; ORGANISATIONAL MODELLING; PROGRAMMING LANGUAGE;

C (PROGRAMMING LANGUAGE); FORMAL METHODS; LINGUISTICS; LOGIC PROGRAMMING; PROGRAM INTERPRETERS; SEMANTICS; SPECIFICATIONS; TRANSLATION (LANGUAGES);

MULTI AGENT SYSTEMS;

EID: 77956525307     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14977-1_11     Document Type: Conference Paper

References (20)

1. Bordini, R.H., Ḧubner, J.F., Wooldrige, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley Series in Agent Technology. John Wiley & Sons, Chichester (2007)
2. da Silva, V.T.: From the specification to the implementation of norms: an automatic approach to generate rules from norm to govern the behaviour of agents. Journal of Autonomous Agents and Multi-Agent Systems 17(1), 113-155 (2008)
3. Dignum, V. (ed.): Handbook of Research on Multi-agent Systems: Semantics and Dynamics of Organizational Models. Information Science Reference (2009)
4. Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: an electronic institutions editor. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2002). LNCS (LNAI), vol.1191, pp. 1045-1052. Springer, Heidelberg (2002)
5. Ferber, J., Gutknecht, O.: A meta-model for the analysis and design of organizations in multiagents systems. In: Demazeau, Y. (ed.) Proceedings of the 3rd International Conference on Multi-Agent Systems (ICMAS 1998), pp. 128-135. IEEE Press, Los Alamitos (1998)
6. Fornara, N., Colombetti, M.: Specifying and enforcing norms in artificial institutions. In: Omicini, A., Dunin-Keplicz, B., Padget, J. (eds.) Proceedings of the 4th European Workshop on Multi-Agent Systems (EUMAS 2006) (2006)
7. Garća-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: Constraining rulebased programming norms for electronic institutions. Journal of Autonomous Agents and Multi-Agent Systems 18(1), 186-217 (2009)
8. Grossi, D., Aldewered, H., Dignum, F.: Ubi Lex, Ibi Poena: Designing norm enforcement in e-institutions. In: Noriega, P., V́azquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N.,Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol.4386, pp. 101-114. Springer, Heidelberg (2007)
9. Ḧubner, J.F., Boissier, O., Bordini, R.H.: A normative organisation programming language for organisation management infrastructures. In: Padget, J., et al. (eds.) COIN 2009. LNCS (LNAI), vol.6069, pp. 114-129. Springer, Heidelberg (2010)
10. Ḧubner, J.F., Boissier, O., Kitio, R., Ricci, A.: Instrumenting multi-agent organisations with organisational artifacts and agents: "giving the organisational power back to the agents". Journal of Autonomous Agents and Multi-Agent Systems 20(3), 369-400 (2010)
11. Ḧubner, J.F., Sichman, J.S., Boissier, O.: Developing organised multi-agent systems using the MOISE+ model: Programming issues at the system and agent levels. International Journal of Agent-Oriented Software Engineering 1(3/4), 370-395 (2007)
12. Jones, A.J.I., Sergot,M.: On the characterization of law and computer systems: the normative systems perspective. In: Deontic logic in computer science: normative system specification, pp. 275-307. John Wiley and Sons Ltd., Chichester (1993)
13. Omicini, A., Ricci, A., Viroli,M.: Artifacts in the A&A meta-model for multi-agent systems. Journal of Autonomous Agents and Multi-Agent Systems 17(3), 432-456 (2008)
14. Piunti, M., Ricci, A., Boissier, O., Ḧubner, J.F.: Embodying organisations in multi-agent work environments. In: Proceedings of International Joint Conferences on Web Intelligence and Intelligent Agent Technologies (WI-IAT 2009), pp. 511-518. IEEE/WIC/ACM (2009)
15. Pynadath, D.V., Tambe, M.: An automated teamwork infrastructure for heterogeneous software agents and humans. Autonomous Agents and Multi-Agent Systems 7(1-2), 71-100 (2003)
16. Ricci, A., Piunti, M., Viroli, M., Omicini, A.: Environment programming in CArtAgO. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Tools and Applications, ch. 8, pp. 259-288. Springer, Heidelberg (2009)
17. Tinnemeier, N., Dastani,M., Meyer, J.-J.: Roles and norms for programming agent organizations. In: Sichman, J., Decker, K., Sierra, C., Castelfranchi, C. (eds.) Proc. of AAMAS 2009, pp. 121-128 (2009)
18. van Riemsdijk, B., Hindriks, K., Jonker, C.M., Sierhuis, M.: Formal organizational constraints: A semantic approach. In: Hoek, Kaminka, Lesperance, Luck, Sen (eds.) Proc. of 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 823-830 (2010)
19. V́azquez-Salceda, J., Aldewereld, H., Dignum, F.: Norms in multiagent systems: some implementation guidelines. In: Proceedings of the Second European Workshop on Multi-Agent Systems, EUMAS 2004 (2004), http://people.cs.uu.nl/dignum/papers/eumas04.PDF
20. Ĺopez y Ĺopez, F., Luck, M.: Constraining autonomy through norms. In: Luck, M., d'Inverno, M. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 674-681. ACM Press, New York (2002)