Norm-oriented programming of electronic institutions: A rule-based approach

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

Volumn 4386 LNAI, Issue , 2007, Pages 177-193

  García Camino, Andrés ^a   Rodríguez Aguilar, Juan Antonio ^a   Sierra, Carles ^a   Vasconcelos, Wamberto ^b  

^a ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

^b UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AGENTS; ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; LINGUISTICS; PROGRAM INTERPRETERS; QUERY LANGUAGES;

AGENT SYSTEMS; COORDINATION MECHANISMS; ELECTRONIC INSTITUTIONS; EUROPEAN; HETEROGENEOUS AGENTS; INTERNATIONAL WORKSHOPS; NORMATIVE POSITIONS; RULE-BASED; RULE-BASED APPROACHES;

SOCIETIES AND INSTITUTIONS;

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

References (23)

1. Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons, Chichester, UK (2002)
2. Dignum, F.: Autonomous Agents with Norms. Artificial Intelligence and Law 7(1), 69-79 (1999)
3. López y López, F.: Social Power and Norms: Impact on agent behaviour. PhD thesis, Univ. of Southampton (2003)
4. Sergot, M.: A Computational Theory of Normative Positions. ACM Trans. Comput. Logic 2(4), 581-622 (2001)
5. Shoham, Y., Tennenholtz, M.: On Social Laws for Artificial Agent Societies: Off-line Design. Artificial Intelligence 73(1-2), 231-252 (1995)
6. Artikis, A., Kamara, L., Pitt, J., Sergot, M.: A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, Springer, Heidelberg (2005)
7. Cranefield, S.: A Rule Language for Modelling and Monitoring Social Expectations in Multi-Agent Systems. Technical Report 2005/01, Univ. of Otago (2005)
8. Fornara, N., Viganò, F., Colombetti, M.: An Event Driven Approach to Norms in Artificial Institutions. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Maison, 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)
9. García-Camino, A., Noriega, P., Rodríguez-Aguilar, J.A.: Implementing Norms in Electronic Institutions. In: Procs. 4th AAMAS (2005)
10. García-Camino, A., Rodriguez-Aguilar, J.A., Sierra, C., Vasconcelos, 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, Springer, Heidelberg (2006)
11. Searle, J.: Speech Acts, An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
12. Esteva, M.: Electronic Institutions: from Specification to Development. PhD thesis, Universitat Politècnica de Catalunya, (UPC), IIIA monography vol. 19 (2003)
13. Jaffar, J., Maher, M. J.: Constraint Logic Programming: A Survey. Journal of Logic Progr. 19/20, 503-581 (1994)
14. Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York, USA (1990)
15. Noriega, P.: Agent-Mediated Auctions: The Fishmarket Metaphor. PhD thesis, Universitat Autònoma de Barcelona (UAB), IIIA monography vol. 8 (1997)
16. Vázquez-Salceda, J., Aldewereld, H., Dignum, F.: Implementing Norms in Multi-agent Systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, Springer, Heidelberg (2004)
17. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and Verification of Agent Interactions using Integrity Social Constraints. Technical Report DEIS-LIA-006-03, University of Bologna (2003)
18. Cliffe, O., De Vos, M., 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)
19. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, Cambridge (2003)
20. Lopes Cardoso, H., Oliveira, E.: Towards an Institutional Environment using Norms for Contract Performance. LNCS (LNAI). Springer, Heidelberg (in press)
21. Forgy, C.: Rete: a fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19(1), 17-37 (1982)
22. Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming 17, 301-321 (1993)
23. Vasconcelos, W.W.: Norm Verification and Analysis of Electronic Institutions. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, P. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, Springer, Heidelberg (2005)