Normative multi-agent programs and their logics

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

Volumn 5605 LNAI, Issue , 2009, Pages 16-31

  Dastani, Mehdi ^a   Grossi, Davide ^b   Meyer, John Jules Ch ^a   Tinnemeier, Nick ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

INDIVIDUAL AGENT; MULTI-AGENT PROGRAMS; OPERATIONAL SEMANTICS; PROGRAMMING LANGUAGE;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; KNOWLEDGE REPRESENTATION; LINGUISTICS;

MULTI AGENT SYSTEMS;

EID: 71549154667     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-05301-6_2     Document Type: Conference Paper

References (19)

1. Alechina, N., Dastani, M., Logan, B., Meyer, J.-J.Ch.: A logic of agent programs. In: Proc. AAAI 2007 (2007)
2. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
3. Castelfranchi, C.: Formalizing the informal?: Dynamic social order, bottom-up social control, and spontaneous normative relations. JAL 1(1-2), 47-92 (2004)
4. Dastani, M.: 2apl: a practical agent programming language. International Journal of Autonomous Agents and Multi-Agent Systems 16(3), 214-248 (2008)
5. Dastani, M., Meyer, J.-J.C.: A practical agent programming language. In: Dastani, M.M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908, pp. 107-123. Springer, Heidelberg (2008)
6. Dignum, V.: A Model for Organizational Interaction. PhD thesis, Utrecht University, SIKS (2003)
7. Esteva, M., Rodríguez-Aguilar, J.A., Rosell, B., Arcos, J.L.: Ameli: An agent-based middleware for electronic institutions. In: Proc. of AAMAS 2004, New York, US (July 2004)
8. Esteva, M., Rodríguez-Aguilar, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the formal specification of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 126-147. Springer, Heidelberg (2001)
9. Garcia-Camino, A., Noriega, P., Rodriguez-Aguilar, J.A.: Implementing norms in electronic institutions. In: Proc. of AAMAS 2005, pp. 667-673. ACM, New York (2005)
10. Grossi, D.: Designing Invisible Handcuffs. PhD thesis, Utrecht University, SIKS (2007)
11. Hübner, J.F., Sichman, J.S., Boissier, O.: Moise+: Towards a structural functional and deontic model for mas organization. In: Proc. of AAMAS 2002. ACM, New York (2002)
12. Hubner, J.F., Sichman, J.S., Boissier, O.: Developing organised multiagent systems using the moise+ model: programming issues at the system and agent levels. Int. J. Agent-Oriented Softw. Eng. 1(3/4), 370-395 (2007)
13. Jones, A.J.I., Sergot, M.: On the characterization of law and computer systems. In: Deontic Logic in Computer Science (1993)
14. Kitio, R., Boissier, O., Hübner, J.F., Ricci, A.: Organisational artifacts and agents for open multi-agent organisations: "giving the power back to the agents". In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.) COIN 2007. LNCS (LNAI), vol. 4870, pp. 171-186. Springer, Heidelberg (2008)
15. Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)
16. Ricci, A., Viroli, M., Omicini, A.: "Give agents their artifacts": The A&A approach for engineering working environments in MAS. In: Proc. of AAMAS 2007, Honolulu, Hawai'i, USA (2007)
17. Searle, J.: The Construction of Social Reality. Free (1995)
18. Silva, V.T.: From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents. JAAMAS 17(1), 113-155 (2008)
19. Zambonelli, F., Jennings, N., Wooldridge, M.: Developing multiagent systems: the GAIA methodology. ACM Transactions on Software Engineering and Methodology 12(3), 317-370 (2003)