A Game-Theoretic Approach to Normative Multi-Agent Systems

Dagstuhl Seminar Proceedings

Volumn 7122, Issue , 2007, Pages

  Boella, Guido ^a   Van Der Torre, Leendert ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

deontic logic; input output logic; Normative multiagent systems

Indexed keywords

COMPUTER CIRCUITS; GAME THEORY;

DEONTIC LOGIC; GAME-THEORETIC; INPUT/OUTPUT LOGIC; NORMATIVE MULTIAGENT SYSTEMS; SKETCHINGS;

MULTI AGENT SYSTEMS;

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

References (119)

1. Alchourrón, C., "Philosophical foundations of deontic logic and the logic of defeasible conditionals", in: Meyer, J.-J. and Wieringa, R. (eds.), Deontic Logic in Computer Science: Normative System Specification, John Wiley & Sons, 1993, 43-84.
2. Alchourron, C. and Bulygin, E., Normative Systems, Wien: Springer, 1971.
3. Alexander, J. C., Giesen, B., Munch, R. and Smelser, N. J., The micro-macro link, Berkeley: University of California Press, 1987.
4. Anderson, A., "A reduction of deontic logic to Alethic modal logic", Mind, 67, 1958, 100-103.
5. Anderson, A., "Some nasty problems in the formalization of ethics", Noûs, 1, 1967, 345-360.
6. Aqvist, L., "Deontic Logic", in: Gabbay, D. and Guenthner, F. (eds.), Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, Dordrecht: Reidel, 1984, 605-714.
7. Baldoni, M., Boella, G. and van der Torre, L., "Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages", in: Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005, vol. 3862 of LNCS, Berlin: Springer, 2006, 57-75.
8. Baldoni, M., Boella, G. and van der Torre, L., "I fondamenti ontologici dei linguaggi di programmazione orientati agli oggetti: i casi delle relazioni e dei ruoli", Networks, rivista di filosofia dell'intelligenza artificiale e scienze cognitive, 6, 2006.
9. Baldoni, M., Boella, G. and van der Torre, L., "Modelling the Interaction Between Objects: Roles as Affordances.", in: Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, vol. 4092 of LNCS, Springer, 2006, 42-54.
10. Baldoni, M., Boella, G. and van der Torre, L., "Roles as a Coordination Construct: Introducing powerJava", Electronic Notes in Theoretical Computer Science (ENTCS) Procs. of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005), 150(1), 2006, 9-29.
11. Baldoni, M., Boella, G. and van der Torre, L., "Bridging Agent Theory and Object Orientation: Interaction among Objects", in: Programming Multi-Agent Systems, Fourth International Workshop, ProMAS 2006, vol. 4411 of LNCS, Springer, 2007, 151-166.
12. Baldoni, M., Boella, G. and van der Torre, L., "Interaction between Objects in powerJava", Journal of Object Technology, 6(2), 2007, 7-12.
13. Baldoni, M., Boella, G. and van der Torre, L., "Relationships meet their roles in object oriented programming", in: Procs. of the 2nd International Symposium on Fundamentals of Software Engineering 2007 Theory and Practice (FSEN '07), 2007.
14. Beccaria, C., Dei delitti e delle pene, Livorno, 1764.
15. Boella, G., Damiano, R., Hulstijn, J. and van der Torre, L., "ACL Semantics between Social Commitments and Mental Attitudes", in: International Workshops on Agent Communication, AC 2005 and AC 2006, vol. 3859 of LNAI, Berlin: Springer, 2006, 30-44.
16. Boella, G., Damiano, R., Hulstijn, J. and van der Torre, L., "Role-Based Semantics for Agent Communication: Embedding of the Mental Attitudes and Social Commitments Semantics", in: Procs. of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), New York (NJ): ACM, 2006, 688-690.
17. Boella, G., Damiano, R., Hulstijn, J. and van der Torre, L., "Distinguishing Propositional and Action Commitment in Agent Communication", in: Procs. of the 7th Workshop on Computational Models of Natural Argument (CMNA'07), 2007.
18. Boella, G., Hulstijn, J., Governatori, G., Riveret, R., Rotolo, A. and van der Torre, L., "FIPA Communicative Acts in Defeasible Logic", in: Procs. of the 7th International Workshop on Nonmontonic Reasoning, Action and Change (NRAC'07), 2007.
19. Boella, G., Hulstijn, J., Tan, Y. and van der Torre, L., "Transaction trust in normative multiagent systems", in: Procs. of Trust in Agent Societies Workshop at AAMAS'05, 2005.
20. Boella, G., Hulstijn, J., Tan, Y. and van der Torre, L., "Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation", in: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005, vol. 3913 of LNAI, Berlin: Springer, 2006, 114-126.
21. Boella, G., Hulstijn, J. and van der Torre, L., "Argumentation for Access Control.", in: AI∗IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence, vol. 3673 of LNCS, Berlin: Springer, 2005, 86-97.
22. Boella, G., Hulstijn, J. and van der Torre, L., "Interaction in Normative Multi-Agent Systems.", Electronic Notes in Theoretical Computer Science, Proceedings of the Workshop on the Foundations of Interactive Computation (FInCo 2005), 141(5), 2005, 135-162.
23. Boella, G., Hulstijn, J. and van der Torre, L., "Virtual organizations as normative multiagent systems", in: Procs. of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005.
24. Boella, G., Hulstijn, J. and van der Torre, L., "The Roles of Roles in Agent Communication Languages", in: Procs. of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06), IEEE, 2006, 381-384.
25. Boella, G., Hulstjin, J. and van der Torre, L., "A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages", in: Procs. of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'05), IEEE, 2005, 358-364.
26. Boella, G. and Lesmo, L., "A game theoretic approach to norms", Cognitive Science Quarterly, 2(3-4), 2002, 492-512.
27. Boella, G., Sauro, L. and van der Torre, L., "An Abstraction from Power to Coalition Structures", in: Procs. of the 16th European Conference on Artificial Intelligence (ECAI'04), Amsterdam: IOS, 2004, 965-966.
28. Boella, G., Sauro, L. and van der Torre, L., "Social Viewpoints on Multiagent Systems", in: Procs. of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'04), New York (NJ): ACM, 2004, 1358-1359.
29. Boella, G., Sauro, L. and van der Torre, L., "Reducing Coalition Structures via contracts' representation", in: Procs. of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'05), New York (NJ): ACM, 2005, 1187-1188.
30. Boella, G., Sauro, L. and van der Torre, L., "Strengthening Admissible Coalitions", in: Procs. of the 17th European Conference on Artificial Intelligence (ECAI'06), Amsterdam: IOS, 2006, 195-199.
31. Boella, G., Sauro, L. and van der Torre, L. W. N., "From Social Power to Social Importance", Web Intelligence and Agent Systems Journal (WIAS), 2007.
32. Boella, G. and van der Torre, L., "Attributing mental attitudes to normative systems", in: Procs. of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03), New York (NJ): ACM Press, 2003, 942-943.
33. Boella, G. and van der Torre, L., "Norm Governed Multiagent Systems: The delegation of control to autonomous agents", in: Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT'03), IEEE, 2003, 329-335.
34. Boella, G. and van der Torre, L., "Obligations as Social Constructs", in: AI∗IA 2003 - Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, vol. 2829 of LNAI, Berlin: Springer, 2003, 27-38.
35. Boella, G. and van der Torre, L., "Rational norm creation: Attributing mental attitudes to normative systems, part 2", in: Procs. of the 8th International Conference on Artificial Intelligence and Law (ICAIL'03), New York (NJ): ACM Press, 2003, 81-82.
36. Boella, G. and van der Torre, L., "An agent oriented ontology of social reality", in: Procs. of Formal Ontologies in Information Systems (FOIS'04), Amsterdam: IOS, 2004, 199-209.
37. Boella, G. and van der Torre, L., "Attributing Mental Attitudes to Roles: The Agent Metaphor Applied to Organizational Design", in: Procs. of the 6th International Conference on Electronic Commerce (ICEC'04), New York (NJ): ACM, 2004, 130-137.
38. Boella, G. and van der Torre, L., "The Distribution of Obligations by Negotiation among Autonomous Agents", in: Procs. of the 16th European Conference on Artificial Intelligence (ECAI'04), Amsterdam: IOS, 2004, 13-17.
39. Boella, G. and van der Torre, L., "Game Specification in Normative Multiagent System: the Trias Politica", in: Procs. of IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04), IEEE, 2004, 504-508.
40. Boella, G. and van der Torre, L., "Groups as Agents with Mental Attitudes", in: Procs. of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'04), New York (NJ): ACM, 2004, 964-971.
41. Boella, G. and van der Torre, L., "Local vs Global Policies and Centralized vs Decentralized Control in Virtual Communities of Agents", in: Procs. of IEEE/WIC/ACM International Conference on Web Intelligence (WI'04), IEEE, 2004, 690-693.
42. Boella, G. and van der Torre, L., "Regulative and Constitutive Norms in Normative Multiagent Systems", in: Procs. of the 10th International Conference on the Principles of Knowledge Representation and Reasoning KR'04, Menlo Park (CA): AAAI, 2004, 255-265.
43. Boella, G. and van der Torre, L., "Enforceable social laws", in: Procs. of 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'05), New York (NJ): ACM, 2005, 682-689.
44. Boella, G. and van der Torre, L., "The Evolution of Artificial Social Systems", in: Procs. of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05), Professional Book Center, 2005, 1655-1556.
45. Boella, G. and van der Torre, L., "From the Theory of Mind to the Construction of Social Reality", in: Procs. of the 27th Annual Conference of the Cognitive Science Society (CogSci'05), Mahwah (NJ): Lawrence Erlbaum, 2005, 298-303.
46. Boella, G. and van der Torre, L., "Normative multiagent systems and trust dynamics", in: Trusting Agents for Trusting Electronic Societies, Theory and Applications in HCI and E-Commerce, vol. 3577 of LNAI, Berlin: Springer, 2005, 1-17.
47. Boella, G. and van der Torre, L., "Organizations as Socially Constructed Agents in the Agent Oriented Paradigm", in: Engineering Societies in the Agents World V, 5th International Workshop (ESAW'04), vol. 3451 of LNAI, Berlin: Springer, 2005, 1-13.
48. Boella, G. and van der Torre, L., "Permission and Authorization in Normative Multiagent Systems", in: Procs. of the 10th International Conference on Artificial Intelligence and Law (ICAIL'05), New York (NJ): ACM, 2005, 236-237.
49. Boella, G. and van der Torre, L., "Permission and Authorization in Policies for Virtual Communities of Agents", in: Agents and Peer-to-Peer Computing, Third International Workshop (AP2PC'04), vol. 3601 of LNCS, Berlin: Springer, 2005, 86-97.
50. Boella, G. and van der Torre, L., "Role-based rights in artificial social systems", in: Procs. of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'05), IEEE, 2005, 516-519.
51. Boella, G. and van der Torre, L., "An architecture of a normative system", in: Procs. of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), New York (NJ): ACM, 2006, 229-231.
52. Boella, G. and van der Torre, L., "Constitutive Norms in the Design of Normative Multiagent Systems", in: Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI), vol. 3900 of LNCS, Berlin: Springer, 2006, 303-319
53. Boella, G. and van der Torre, L., "Coordination and Organization: Definitions, Examples and Future Research Directions.", Electronic Notes in Theoretical Computer Science (ENTCS) Procs. of the First International Workshop on Coordination and Organisation (CoOrg 2005), 150(3), 2006, 3-20.
54. Boella, G. and van der Torre, L., "Count-As Conditionals, Classification and Context.", in: Procs. of the 17th European Conference on Artificial Intelligence (ECAI'06), Amsterdam: IOS, 2006, 719-720.
55. Boella, G. and van der Torre, L., "Delegation of Power in Normative Multiagent Systems", in: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science (ΔEON'06), vol. 4048 of LNCS, Berlin: Springer, 2006, 36-52.
56. Boella, G. and van der Torre, L., "Fair Distribution of Collective Obligations.", in: Procs. of the 17th European Conference on Artificial Intelligence(ECAI'06), Amsterdam: IOS, 2006, 721-722.
57. Boella, G. and van der Torre, L., "A Foundational Ontology of Organizations and Roles", in: Declarative Agent Languages and Technologies IV, 4th International Workshop (DALT'06), vol. 4327 of LNCS, 2006, 78-88.
58. Boella, G. and van der Torre, L., "A Game Theoretic Approach to Contracts in Multiagent Systems", IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews, 36(1), 2006, 68-79.
59. Boella, G. and van der Torre, L., "Game-Theoretic Foundations for Norms", in: Procs. of Artificial Intelligence Studies, vol. 3(26), 2006, 39-51.
60. Boella, G. and van der Torre, L., "A Logical Architecture of a Normative System", in: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science (ΔEON'06), vol. 4048 of LNCS, Berlin: Springer, 2006, 24-35.
61. Boella, G. and van der Torre, L., "Organizations in Artificial Social Systems", in: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005, vol. 3913 of LNAI, Berlin: Springer, 2006, 198-210.
62. Boella, G. and van der Torre, L., "Security Policies for Sharing Knowledge in Virtual Communities", IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans, 36(3), 2006, 439-450.
63. Boella, G. and van der Torre, L., "Institutions with a Hierarchy of Authorities in Distributed Dynamic Environments", Artificial Intelligence and Law Journal (AILaw), 2007.
64. Boella, G. and van der Torre, L., "Norm Negotiation in Multiagent Systems", International Journal of cooperative Information Systems (IJCIS) Special Issue: Emergent Agent Societies, 16(2), 2007, 97-122.
65. Boella, G. and van der Torre, L., "The Ontological Properties of Social Roles in Multi-agent Systems: Definitional Dependence, Powers and Roles Playing Roles", Artificial Intelligence and Law Journal (AILaw), 2007.
66. Boella, G. and van der Torre, L., "Power in Norm Negotiation", in: Procs. of the 1st KES Symposium on Agent and Multi-Agent Systems Technologies and Applications (KES-AMSTA'07), LNCS, Berlin: Springer, 2007.
67. Boella, G. and van der Torre, L., "Substantive and Procedural Norms in Normative Multiagent Systems", Journal of Applied Logic, 2008.
68. Boella, G., van der Torre, L. and Verhagen, H., "Introduction to normative multiagent systems", Computation and Mathematical Organizational Theory, Special issue on Normative Multiagent Systems, 12(2-3), 2006, 71-79
69. Bond, A. and Gasser, L., "An Analysis of Problems and Research in DAI", in: Readings in Distributed Artificial Intelligence, San Mateo (CA): Morgan Kaufmann, 1988, 3-35.
70. Brafman, R. and Tennenholtz, M., "On Partially Controlled Multi-Agent Systems.", Journal of Artificial Intelligence Research (JAIR), 4, 1996, 477-507.
71. Bratman, M., Intentions, plans, and practical reason, Harvard (Massachusetts): Harvard University Press, 1987.
72. Broersen, J., Dastani, M., Hulstijn, J. and van der Torre, L., "Goal generation in the BOID architecture", Cognitive Science Quarterly, 2(3-4), 2002, 428-447.
73. Broersen, J., Dastani, M., Hulstijn, J. and van der Torre, L., "Goal generation in the BOID architecture", Cognitive Science Quarterly, 2(3-4), 2002, 428-447.
74. Castelfranchi, C., "Engineering social order", in: Engineering Societies in the Agent World, First International Workshop (ESAW'00), vol. 1972 of LNAI, Berlin: Springer, 2000, 1-18.
75. Castelfranchi, C., "The micro-macro constitution of power", Protosociology, 18, 2003, 208-269.
76. Conte, R., Castelfranchi, C. and Dignum, F., "Autonomous norm-acceptance", in: Intelligent Agents V (ATAL'98), vol. 1555 of LNCS, Berlin: Springer, 1999, 99-112.
77. Ferber, J., Gutknecht, O., Jonker, C., Müller, J. P. and Treur, J., "Organization Models and Behavioural Requirements Specification for Multi-Agent Systems", in: Procs. of Modelling Autonomous Agents in a Multi-Agent World - 10th European Workshop on Multi-Agent Systems (MAAMAW'01), 2002.
78. Ferber, J., Gutknecht, O. and Michel, F., "From Agents to Organizations: an organizational view of multiagent systems", in: Agent-Oriented Software Engineering IV, 4th International Workshop (AOSE'03), vol. 2935 of LNCS, Berlin: Springer, 2003, 214-230.
79. Gilbert, N. and Conte, R., Artificial Societies: The Computer Simulation of Social Life, London: UCL Press, 1995.
80. Gmytrasiewicz, P. J. and Durfee, E. H., "Formalization of recursive modeling", in: Procs. of the 1st International Conference on Multiagent Systems (ICMAS'95), Cambridge (MA): AAAI/MIT Press, 1995, 125-132.
81. Gneezy, U. and Rustichini, A., "A Fine is a Price", The Journal of Legal Studies, 29(1), 2000, 1-18.
82. Goffman, E., Strategic Interaction, Oxford: Basil Blackwell, 1970.
83. Gordijn, J. and Tan, Y.-H., "A Design Methodology for Trust and Value Exchanges in Business Models", in: Procs. of BLED Conference, 2003, 423-432.
84. Grossi, D., Dignum, F. and Meyer, J., "Contextual Terminologies", in: Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI), vol. 3900 of LNCS, Berlin: Springer, 2006, 284-302.
85. Grossi, D., Meyer, J.-J. and Dignum, F., "Counts-as: Classification or Constitution? An Answer Using Modal Logic", in: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science (ΔEON'06), vol. 4048 of LNCS, Berlin: Springer, 2006, 115-130.
86. Hart, H., The Concept of Law, Oxford: Clarendon Press, 1961.
87. Hollis, M., Trust within reason, Cambridge: Cambridge University Press, 1998.
88. Jennings, N. R., "On Agent-Based Software Engineering", Artificial Intelligence, 117(2), 2000, 277-296.
89. Jones, A. and Carmo, J., "Deontic logic and Contrary-to-Duties", in: Gabbay, D. and Guenthner, F. (eds.), Handbook of Philosophical Logic, vol. 3, Dordrecht (NL): Kluwer, 2001, 203-279
90. Jones, A. and Sergot, M., "A Formal Characterisation of Institutionalised Power", Journal of IGPL, 3, 1996, 427-443.
91. Lee, R., "Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures", in: Business Process Management, Models, Techniques, and Empirical Studies, vol. 1806 of LNCS, Berlin: Springer, 2000, 359-375.
92. Levitt, S. D. and Dubner, S. J., Freakonomics : A Rogue Economist Explores the Hidden Side of Everything, New York: William Morrow, 2005.
93. Luck, M., McBurney, P. and Preist, C., Agent Technology: Enabling Next Generation Computing (A Roadmap for Agent Based Computing), AgentLink, 2003.
94. Makinson, D. and van der Torre, L., "Input-output logics", Journal of Philosophical Logic, 29(4), 2000, 383-408.
95. Makinson, D. and van der Torre, L., "Constraints for input-output logics", Journal of Philosophical Logic, 30(2), 2001, 155-185.
96. Makinson, D. and van der Torre, L., "Permissions from an input-output perspective", Journal of Philosophical Logic, 32(4), 2003, 391-416.
97. McCallum, M., Norman, T. and Vasconcelos, W., "A Formal Model of Organisations for Engineering Multi-Agent Systems", in: Procs. of Coordination in Emergent Agent Societies Workshop (CEAS'04), 2004.
98. Merriam-Webster, Dictionary of Law, Merriam-Webster, 1996.
99. Merriam-Webster, On Line Dictionary, Merriam-Webster, 2007.
100. Meyer, J.-J. and Wieringa, R., Deontic Logic in Computer Science: Normative System Specification, Chichester, England: John Wiley & Sons, 1993.
101. Meyer, J. J. C., "A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic", Notre Dame Journal of Formal Logic, 29(1), 1988, 109-136.
102. Newell, A., "The knowledge level", Artificial Intelligence, 18, 1982, 87-127.
103. Ossowski, S., Co-Ordination in Artificial Agent Societies: Social Structures and Its Implications for Autonomous Problem-Solving Agents, Berlin: Springer, 1999.
104. Ruiter, D., "A basic classification of legal institutions", Ratio Juris, 10(4), 1997, 357-371.
105. Searle, J., The Construction of Social Reality, New York: The Free Press, 1995.
106. Shoham, Y. and Tennenholtz, M., "On Social Laws for Artificial Agent Societies: Off-Line Design", Artificial Intelligence, 73(1-2), 1995, 231-252.
107. Shoham, Y. and Tennenholtz, M., "On the Emergence of Social Conventions: Modeling, Analysis and Simulations", Artificial Intelligence, 94(1-2), 1997, 139-166.
108. Tennenholtz, M., "On Stable Social Laws and Qualitative Equilibria", Artificial Intelligence, 102(1), 1998, 1-20.
109. van der Torre, L., "Contextual Deontic Logic: Normative Agents, Violations and Independence", Annals of Mathematics and Artificial Intelligence, 37(1-2), 2003, 33-63.
110. van der Torre, L. and Tan, Y., "Contrary-To-Duty Reasoning with Preference-based Dyadic Obligations", Annals of Mathematics and Artificial Intelligence, 27(1-4), 1999, 49-78.
111. Tuomela, R., Cooperation: A Philosophical Study, Dordrecht: Kluwer, 2000.
112. Verhagen, H., "On the learning of norms", in: Procs. of MultiAgent System Engineering, 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'99), vol. 1647 of LNCS, Berlin: Springer, 1999.
113. Verhagen, H., Norm Autonomous Agents, Ph.D. thesis, Stockholm University, 2000.
114. Verhagen, H. and Smit, R., "Multiagent systems as simulation tools for social theory testing", in: Procs. of International Conference on Computer Simulation and the Social Sciences (ISSC&SS'97), 1997.
115. Wooldridge, M. J. and Jennings, N. R., "Intelligent Agents: Theory and Practice", Knowledge Engineering Review, 10(2), 1995, 115-152.
116. von Wright, G., "Deontic logic - as I see it", in: McNamara, P. and Prakken, H. (eds.), Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, IOS, 1999, 15-25.
117. von Wright, G. H., "Deontic logic", Mind, 60, 1951, 1-15.
118. von Wright, G. H., An Essay in Modal Logic, Amsterdam: North-Holland, 1951.
119. Zambonelli, F., Jennings, N. and Wooldridge, M., "Developing Multiagent Systems: The Gaia Methodology", IEEE Transactions of Software Engineering and Methodology, 12(3), 2003, 317-370.