Norm compliance of protocols in electronic institutions

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue , 2005, Pages 1373-1374

  Aldewereld, Huib ^a   Vazquez Salceda, Javier ^a   Dignum, Frank ^a   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Formal logic; Normative systems; Protocol verification

Indexed keywords

INTELLIGENT AGENTS; MULTI AGENT SYSTEMS;

NORMATIVE SYSTEMS; PROGRAM VERIFICATION; PROTOCOL VERIFICATION;

NETWORK PROTOCOLS;

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

References (8)

1. H. Aldewereld, J. Vázquez-Salceda, F. Dignum, and J.-J. Meyer. Proving norm compliancy of protocols in electronic institutions. Technical Report UU-CS-2005-010, Institute of Information and Computing Sciences, Utrecht University, 2005.
2. M. Esteva. Electronic Institutions: from specification to development. PhD thesis, Universitat Politèchnica de Catalunya, 2003.
3. D. Grossi, H. Aldewereld, J. Vázquez-Salceda, and F. Dignum. Ontological aspects of the implementation of norms in agent-based electronic institutions. Accepted for the 1st International Symposium on Normative Multiagent Systems (NorMAS2005), 2005.
4. D. Grossi and F. Dignum. From abstract to concrete norms in agent institutions. In Proceedings of FAABS III Workshop, Washington, april, 2004.
5. H.L.A. Hart. The Concept of Law. Clarendon Press, Oxford, 1961.
6. F. Kröger. Temporal Logic of Programs, volume 8 of EACTS monographs on theoretical computer science. Springer-Verlag, 1987.
7. J. Vázquez-Salceda, H. Aldewereld, and F. Dignum. Implementing norms in multiagent systems. In G. Lindemann, J. Denzinger, I. Timm, and R. Unland, editors, Multiagent System Technologies, LNAI 3187, pages 313-327. Springer-Verlag, 2004.
8. J. Vázquez-Salceda and F. Dignum. Modelling electronic organizations. In V. Marik, J. Muller, and M. Pechoucek, editors, Multi-Agent Systems and Applications III, LNAI 2691, pages 584-593. Springer-Verlag, 2003.