Specification and verification of institutions through status functions

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

Volumn 4386 LNAI, Issue , 2007, Pages 115-129

  Viganò, Francesco ^a   Colombetti, Marco ^a,b  

^a UNIVERSITY OF LUGANO   (Switzerland)

^b POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AGENTS; ARTIFICIAL INTELLIGENCE; LINGUISTICS; MODEL CHECKING; ONTOLOGY; SPECIFICATIONS;

AGENT SYSTEMS; EUROPEAN; INTERACTION SYSTEMS; INTERNATIONAL WORKSHOPS; META MODELLING; SPECIFICATION AND VERIFICATION; SPIN MODELS;

SOCIETIES AND INSTITUTIONS;

EID: 36849047897     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74459-7_8     Document Type: Conference Paper

References (24)

1. Boella. G., van der Torre, L.: The Ontological Properties of Social Roles: Definitional Dependence. Powers and Roles Playing Roles. In: Proceedings of the ICAIL05 Workshop on Legal Ontologies and Artificial Intelligence Techniques (2005)
2. Clarke. E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambrige, MA (1999)
3. Cliffe, O., Padget, J.: A Framework For Checking Interactions Within Agent Institutions. In: Proceedings of the ECAI Workshop on Model Checking and Artificial Intelligence (MoChart I) (2002)
4. Cliffe, O., Vos, M.D., Padget, J.: Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman. J.S., Vázquez-Salceda, J. (eds.) Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. LNCS (LNAI). vol. 3913, pp. 99-113. Springer, Heidelberg (2006)
5. Endriss, U.: Temporal Logics for Representing Agent Communication Protocols. In: Dignum, E. van Eijk, R.M., Flores, R. (eds.) AC 2005. LNCS (LNAI), vol. 3859, Springer, Heidelberg (2006)
6. Esteva, M., Rodríguez-Aguilar, J.A., Roseli, B., Arcos, J.L.: AMELI: An Agent-based Middleware for Electronic Institutions. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pp. 236-243. ACM Press, New York (2004)
7. 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.) Agent Mediated Electronic Commerce. LNCS (LNAI), vol. 1991, pp. 126-147. Springer, Heidelberg (2001)
8. Farrell, A.D.H., Sergot. M.J., Sallé, M., Bartolini, C.: Using the Event Calculus for Tracking the Normative State of Contracts. Journal of Cooperative Information Systems 14(2-3). 99-129 (2005)
9. Fornara, N., Viganò, F., Colombetti. M.: Agent Communication and Institutional Reality. In: van Eijk, R.M., Huget. M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS (LNAI), vol. 3396, pp. 1-17. Springer, Heidelberg (2005)
10. Garcia-Camino, A., Noriega, P., Rodríguez-Aguilar, J.A.: Implementing norms in electronic institutions. In: Proceedings of the 4th International Joint Conference on Autonomous agents and Multi-Agent Systems (AAMAS 2005), pp. 667-673. ACM Press. New York (2005)
11. García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos. W.W.: A distributed architecture for norm-aware agent societies. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 89-105. Springer, Heidelberg (2006)
12. Holzmann. G.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)
13. Huget. M.-P., Esteva, M., Phelps. S., Sierra, C. Wooldridge, M.: Model Checking Electronic Institutions. In: Proceedings of the ECAI Workshop on Model Checking and Artificial Intelligence (MoChArt I) (2002)
14. Jones. A., Sergot, M.J.: A formal characterisation of institutionalised power. Journal of the IGPL 4(3), 429-445(1996)
15. Kowalski, R.A., Sergot. M.J.: A Logic-based Calculus of Events. New Generation Computing 4, 67-95 (1986)
16. Masolo, C., Vieu. L., Bottazzi, E., Catenacci, C. Ferrario, R., Gangemi. A., Guarino, N.: Social Roles and their Descriptions. In: Dubois, D., Welty, C., Williams. M. (eds.) Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), pp. 267-277 (2004)
17. North, D.: Institutions, Institutional Change and Economics Performance. Cambridge University Press, Cambridge, United Kingdom (1990)
18. Ostroff, J.S.: Modelling, specifying and verifying real-time temporal interval logic. In: Proceedings of the IEEE Symposium on Real-Time Systems, New York, IEEE Press, Los Alamitos(1987)
19. Peled, D.: Software reliability methods. Texts in Computer Science. Springer, New York, NJ USA (2001)
20. Pitt, J., Kamara. L., Sergot, M., Artikis. A.: Formalization of a voting protocol for virtual organizations. In: Proceedings of the 4th International Joint Conference on Autonomous agents and Multi-Agent Systems (AAMAS 2005), pp. 373-380. ACM Press, New York, USA (2005)
21. Searle, J.R.: The construction of social reality. Free Press, New York, USA (1995)
22. Sergot. M.J.: Modelling unreliable and untrustworthy agent behaviour. In: Dunin-Keplicz. B., Jankowski, A., Skowron, A., Szczuka, M. (eds.) Monitoring, Security, and Rescue Techniques in Multiagent Systems. Advances in Soft Computing, pp. 161-178. Springer, Heidelberg (2005)
23. Viganò, F.: FIEVeL, a Language for the Specification and Verification of Institutions. Technical Report 3, Institute for Communication Technologies, Universita della Svizzera Italiana (2006)
24. Viganò, F., Fornara, N., Colombetti, M.: An Event Driven Approach to Norms in Artificial Institutions. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda. J. (eds.) Coordination. Organizations, Institutions, and Norms in Multi-Agent Systems. LNCS (LNAI), vol. 3913, pp. 142-154. Springer, Heidelberg (2006)