Specifying and monitoring obligations in open multiagent systems using semantic web technology

Studies in Computational Intelligence

Volumn 344, Issue , 2011, Pages 25-45

  Fornara, Nicoletta ^a  

^a UNIVERSITY OF LUGANO   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79953200465     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-18308-9_2     Document Type: Conference Paper

References (24)

1. Arcos, J.L., Esteva, M., Noriega, P., Rodríguez-Aguilar, J.A., Sierra, C.: Engineering open environments with electronic institutions. Engineering applications of artificial intelligence 18(2), 191-204 (2005) (Pubitemid 40245088)
2. Artikis, A., Sergot, M., Pitt, J.: Animated Specifications of Computational Societies. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), pp. 1053-1061. ACM Press, New York (2002) (Pubitemid 34975342)
3. Boella, G., Noriega, P., Pigozzi, G., Verhagen, H. (eds.): Normative Multi-Agent Systems, Dagstuhl, Germany. Dagstuhl Seminar Proceedings, vol. 09121. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2009)
4. da Silva, V.T.: From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents. Autonomous Agents and Multi-Agent Systems 17(1), 113-155 (2008)
5. Dastani, M., Grossi, D., Meyer, J.-J., Tinnemeier, N.: Normative multi-agent programs and their logics. In: Boella, G., Noriega, P., Pigozzi, G., Verhagen, H. (eds.) Normative Multi-Agent Systems, Dagstuhl, Germany. Dagstuhl Seminar Proceedings, vol. 09121, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2009)
6. Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall PTR, Upper Saddle River (2005)
7. Faci, N., Modgil, S., Oren, N., Meneguzzi, F., Miles, S., Luck, M.: Towards a monitoring framework for agent-based contract systems. In: Klusch, M., Pìchouèek, M., Polleres, A. (eds.) CIA 2008. LNCS (LNAI), vol. 5180, pp. 292-305. Springer, Heidelberg (2008)
8. Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), pp. 535-542. ACM Press, New York (2002) (Pubitemid 34975213)
9. Fornara, N., Colombetti, M.: Specifying Artificial Institutions in the Event Calculus. In: Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, Information science reference, ch. XIV, pp. 335-366. IGI Global (2009)
10. Fornara, N., Colombetti, M.: Ontology and time evolution of obligations and prohibitions using semantic web technology. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol. 5948, pp. 101-118. Springer, Heidelberg (2010)
11. Fornara, N., Viganò, F., Colombetti, M.: Agent communication and artificial institutions. Autonomous Agents and Multi-Agent Systems 14(2), 121-142 (2007)
12. Fornara, N., Viganò, F., Verdicchio, M., Colombetti, M.: Artificial institutions: A model of institutional reality for open multiagent systems. Artificial Intelligence and Law 16(1), 89-105 (2008) (Pubitemid 351664873)
13. García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: Constraint rule-based programming of norms for electronic institutions. Autonomous Agents and Multi-Agent Systems 18(1), 186-217 (2009)
14. Governatori, G., Rotolo, A.: How do agents comply with norms? In: Boella, G., Noriega, P., Pigozzi, G., Verhagen, H. (eds.) Normative Multi-Agent Systems, Dagstuhl, Germany. Dagstuhl Seminar Proceedings, vol. 09121, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2009)
15. Kagal, L., Hendler, J., Berners-Lee, T.: Introduction. In: Web Semantics: Science, Services and Agents on the World Wide Web, vol. 7(1), pp. vii-ix (2009); The Semantic Web and Policy
16. Lomuscio, A., Penczek, W., Solanki, M., Szreter, M.: Runtime monitoring of contract regulated web services (extended abstract). In: Proceedings of the 9th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS 2010), Toronto, Canada, pp. 1449-1450. ACM, New York (2010)
17. Singh, M.P., Chopra, A.K.: Correctness properties for multiagent systems. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol. 5948, pp. 192-207. Springer, Heidelberg (2010)
18. Uszok, A., Bradshaw, J.M., Lott, J., Breedy, M., Bunch, L., Feltovich, P., Johnson, M., Jung, H.: New developments in ontology-based policy management: Increasing the practicality and comprehensiveness of KAoS. In: IEEE International Workshop on Policies for Distributed Systems and Networks, vol. 0, pp. 145-152 (2008)
19. van der Torre, G.E.L., Boella, G., Verhagen, H. (eds.): Special Issue on Normative Multiagent Systems. Autonomous Agents and Multi-Agent Systems, vol. 17. Springer, Netherlands (August 2008)
20. Vázquez-Salceda, J., Dignum, V., Dignum, F.: Organizing multiagent systems. Autonomous Agents and Multi-Agent Systems 11(3), 307-360 (2005) (Pubitemid 41425092)
21. Weske, M.: Business. In: Process Management Concepts, Languages, Architectures. Springer, Heidelberg (2008)
22. Wooldridge, M.: Verifiable semantics for agent communication languages. In: Demazeau, Y. (ed.) Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998), Washington, DC, USA. IEEE Computer Society, Los Alamitos (1998)
23. Xu, L.: A Framework for E-markets: Monitoring Contract Fulfillment. In: Bussler, C.J., Fensel, D., Orlowska, M.E., Yang, J. (eds.) WES 2003. LNCS, vol. 3095, pp. 51-61. Springer, Heidelberg (2004)
24. Yolum, P., Singh, M.: Reasoning about commitment in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence 42, 227-253 (2004) (Pubitemid 39046783)