Normative Multi-Agent Programs and Their Logics

Dagstuhl Seminar Proceedings

Volumn 9121, Issue , 2009, Pages

  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

COMPUTER PROGRAMMING LANGUAGES; SEMANTICS;

INDIVIDUAL AGENT; MULTI-AGENT PROGRAMS; OPERATIONAL SEMANTICS; PROPERTY;

MULTI AGENT SYSTEMS;

EID: 85174583849     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. N. Alechina, M. Dastani, B. Logan, and J.-J.Ch Meyer. A logic of agent programs. In Proc. AAAI 2007, 2007.
2. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, Cambridge, 2001.
3. C. Castelfranchi. Formalizing the informal?: Dynamic social order, bottom-up social control, and spontaneous normative relations. JAL, 1(1-2):47-92, 2004.
4. M. Dastani. 2apl: a practical agent programming language. International Journal of Autonomous Agents and Multi-Agent Systems, 16(3):214-248, 2008.
5. M. Dastani and J.-J. Meyer. A practical agent programming language. In In Proc. of ProMAS'07, 2008.
6. V. Dignum. A Model for Organizational Interaction. PhD thesis, Utrecht University, SIKS, 2003.
7. M. Esteva, J.A. Rodríguez-Aguilar, B. Rosell, and J.L. Arcos. Ameli: An agentbased middleware for electronic institutions. In Proc. of AAMAS 2004, New York, US, July 2004.
8. D. Grossi. Designing Invisible Handcuffs. PhD thesis, Utrecht University, SIKS, 2007.
9. J. F. HÄubner, J. S. Sichman, and O. Boissier. Moise+: Towards a structural functional and deontic model for mas organization. In Proc. of AAMAS 2002. ACM, July 2002.
10. A. J. I. Jones and M. Sergot. On the characterization of law and computer systems. In Deontic Logic in Computer Science. 1993.
11. Rosine Kitio, Olivier Boissier, Jomi Fred Hbner, and Alessandro Ricci. Organisational artifacts and agents for open multi-agent organisations: giving the power back to the agents. In Coordination, Organizations, Institutions, and Norms in Agent Systems III, volume 4870, pages 171-186. Springer, 2007.
12. A. Ricci, M. Viroli, and A. Omicini. "Give agents their artifacts": The A&A approach for engineering working environments in MAS. In In proc. of AAMAS 2007, Honolulu, Hawai'i, USA, 2007.
13. J. Searle. The Construction of Social Reality. Free, 1995.
14. F. Zambonelli, N. Jennings, and M. Wooldridge. Developing multiagent systems: the GAIA methodology. ACM Transactions on Software Engineering and Methodology, 12(3):317-370, 2003.