Designing protocols for agent institutions

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue , 2007, Pages 138-140

  Aldewereld, Huib ^a   Dignum, Frank ^a   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Electronic institutions; Normative systems; Norms

Indexed keywords

EID: 60349096156     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1329125.1329163     Document Type: Conference Paper

References (10)

1. H. Aldewereld. Autonomy vs. Conformity: an Institutional Perspective on Norms and Protocols. PhD thesis, Universiteit Utrecht, 2007.
2. H. Aldewereld, F. Dignum, J.-J. Meyer, and J. Vázquez-Salceda. Proving norm compliancy of protocols in electronic institutions. Technical Report UU-CS-2005-010, Utrecht University, 2005.
3. H. Aldewereld, D. Grossi, J. Vázquez-Salceda, and F. Dignum. Designing normative behaviour via landmarks. In O. Bossier, et.al., editor, Coordination, Organisation, Institutions and Norms in Agent Systems I, pages 150-162. Springer-Verlag, 2006.
4. N. Belnap and M. Perloff. Seeing to it that: a canonical form for agentives. Theoria, 54:175-199, 1988.
5. V. Dignum. A Model for Organizational Interaction: Based on Agents, Founded in Logic. PhD thesis, Universiteit Utrecht, The Netherlands, 2004.
6. G. Holzmann. The model checker spin. IEEE Transactions On Software Engineering, 23(5):279, 1997.
7. S. Kumar, M. J. Huber, P. R. Cohen, and D. McGee. Toward a formalism for conversation protocols using joint intention theory. Computational Intelligence, 18(2):174-228, 2002.
8. F. López y Lopez, M. Luck, and M. d'Inverno. A framework for norm-based inter-agent dependence. In Proceedings of the 3rd Mexican International Conference on Computer Science, pages 31-40. SMCC-INEGI, 2001.
9. J. Rodriguez. On the Design and Construction of Agent-mediated Electronic Institutions. PhD thesis, Inst, d'Investigado en Intel, ligència Artificial, 2001.
10. P. Wolper. Constructing automata from temporal logic formulas: A tutorial. In Lectures on Formal Methods and Performance Analysis, number 2090 in LNCS, pages 261-277. Springer-Verlag, New York, 2002.