DIPARTIMENTO   DI   INFORMATICA
Università di Torino

Publications of author `Boella'

Search performed on http://www.di.unito.it/~gull/biblio/bibliography1.html.

This page is by Guido Boella.


  1. G. Boella, J. Hulstijn, G. Governatori, R. Riveret, N. Rotolo, and L. van der Torre. Time and defeasibility in fipa acl semantics. Journal of Applied Logic, 2010.

  2. M. Baldoni, G. Boella, and L. van der Torre. The interplay between relationships, roles and objects. In Lecture Notes in Computer Science - Proceedings of the International Symposium on Fundamentals of Software Engineering (FSEN 2009), Berlin, 2009. Springer.

  3. Steve Barker, Guido Boella, Dov.M. Gabbay, and Valerio Genovese. A meta-model of access control in a fibred security language. Studia Logica, 92, 2009.

  4. Guido Boella. Affordance sociali e diritto. In R. Caterina, editor, La dimensione tacita del diritto, pages 97-106. Edizioni Scientifiche Italiane, 2009.

  5. G. Boella, J. Hulstijn, and L. van der Torre. Social network semantics for agent communication. In Procs. of AAMAS'09, 2009.

  6. G. Boella, S. Kaci, and L. van der Torre. Dynamics in argumentation with single extensions. In Procs. of AAMAS'09, 2009.

  7. G. Boella, G. Pigozzi, and L. van der Torre. Normative framework for normative system change. In Procs. of AAMAS'09, 2009.

  8. G. Boella, L. van der Torre, and S. Villata. Analyzing cooperation in iterative social network design. Journal of Universal Computer Science, 2009.

  9. Guido Boella, Dov.M. Gabbay, Valerio Genovese, and Leendert W. N. van der Torre. Fibred security language. Studia Logica, 92, 2009.

  10. Guido Boella, Joris Hulstijn, and Leendert van der Torre. Social network semantics for agent communication. In AAMAS (2), pages 1215-1216, 2009.

  11. Guido Boella, Souhila Kaci, and Leendert van der Torre. Dynamics in argumentation with single extensions: Abstraction principles and the grounded extension. In Sossai and Chemello [Sossai and Chemello, 2009], pages 107-118.

  12. Guido Boella, Souhila Kaci, and Leendert van der Torre. Dynamics in argumentation with single extensions: attack refinement and the grounded extension. In AAMAS (2), pages 1213-1214, 2009.

  13. Guido Boella, Gabriella Pigozzi, and Leendert van der Torre. Normative framework for normative system change. In Sierra et al. [Sierra et al., 2009], pages 169-176.

  14. Guido Boella, Marco Remondino, and Gianluca Tornese. Simulating the human factor in reputation management systems for p2p networks - an agent based model. In Filipe and Cordeiro [Filipe and Cordeiro, 2009], pages 5-12.

  15. Guido Boella, Luigi Sauro, and Leendert W. N. van der Torre. Algorithms for finding coalitions exploiting a new reciprocity condition. Logic Journal of the IGPL, 17(3):273-297, 2009.

  16. M. Baldoni, G. Boella, M. Dorni, A. Mugnaini, and R. Grenna. powerjade: Organizations and roles as primitives in the jade framework. In In Proceedings of WOA2008, 2008.

  17. Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, and Leendert van der Torre. How to Program Organizations and Roles in the JADE Framework. In Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings, volume 5244 of LNCS, pages 25-36, 2008.

  18. Guido Boella. La metafora, nel linguaggio giuridico e alle basi del diritto. In R. Caterina, editor, I fondamenti cognitivi del diritto: Percezioni, rappresentazioni, comportamenti, pages 177-190. Bruno Mondadori, 2008.

  19. G. Boella and R. Damiano. A replanning algorithm for decision theoretic hierarchical planning: Principles and empirical evaluation. Applied Artificial Intelligence, 2008.

  20. G. Boella and L. van der Torre. Institutions with a hierarchy of authorities in distributed dynamic environments. Artificial Intelligence and Law Journal (AILaw), pages 53-71, 2008.

  21. G. Boella and L. van der Torre. Substantive and procedural norms in normative multiagent systems. Journal of Applied Logic, 6(2):152-171, 2008.

  22. G. Boella, P. Caire, and L. van der Torre. Norm negotiation in online multi-player games. Knowledge and Information Systems, 2008.

  23. G. Boella, C. da Costa Pereira, G. Pigozzi, A. Tettamanzi, and L. van der Torre. Making others believe what they want. In Artificial Intelligence in Theory and Practice II: Procs. of International Federation for Information Processing IFIP World Computer Congress, pages 215-224, 2008.

  24. G. Boella, G. Pigozzi, M. Singh, and H. Verhagen, editors. Proceedings of Normative Multiagent Systems, NorMAS'08, 2008.

  25. G. Boella, G. Pigozzi, M. Singh, and H. Verhagen, editors. Special Issue on Normative Multiagent Systems of Logic J. of IGPL, 2008.

  26. G. Boella, L. van der Torre, and S. Villata. Attack relations among dynamic coalitions. In BNAIC 2008, 2008.

  27. G. Boella, L. van der Torre, and S. Villata. Changing institutional goals and beliefs of autonomous agents. In Proceedings of PRIMA 2008, pages 78-85, 2008.

  28. G. Boella, L. van der Torre, and S. Villata. Institutional social networks for ambient intelligence. In Symposium on Intelligent Agents and Services for Smart Environments at AISB, volume 8, pages 1-6, 2008.

  29. G. Boella, L. van der Torre, and S. Villata. Self adaptive coalitions in multiagent systems. In SASO 2008, pages 461-462. IEEE Computer Society, 2008.

  30. G. Boella, L. van der Torre, and S. Villata. Social viewpoints for arguing about coalitions. In Proceedings of PRIMA 2008, volume 5357 of Lecture Notes in Computer Science, pages 66-77. Springer, 2008.

  31. G. Boella, H. Verhagen, and L. van der Torre. Introduction to the special issue on normative multiagent systems. Journal of Autonomous Agents and Multi Agent Systems, pages 1-10, 2008.

  32. G. Boella, H. Verhagen, and L. van der Torre, editors. Special Issue on Normative Multiagent Systems of Autonomous Agents and Multi Agent Systems. Springer, 2008.

  33. Guido Boella, G. Ajani, L. Lesmo, A. Mazzei, D. Radicioni, and P. Rossi. European law taxonomy syllabus: Handling multilevel legal ontologies. In Proceedings of Language Technologies Conference Langtech'08, 2008. (PDF)

  34. Guido Boella, Jan Broersen, and Leendert van der Torre. Reasoning about constitutive norms, counts-as conditionals, institutions, deadlines and violations. In Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings, volume 5357 of Lecture Notes in Computer Science, pages 86-97. Springer, 2008.

  35. Guido Boella, C. da Costa Pereira, G. Pigozzi, A. Tettamanzi, and Leendert van der Torre. The role of goals in belief selection. Logic Journal of IGPL, pages 215-224, 2008.

  36. Guido Boella, Célia da Costa Pereira, Andrea Tettamanzi, and Leendert van der Torre. Making others believe what they want. In Bramer [Bramer, 2008], pages 215-224.

  37. Guido Boella, Gabriella Pigozzi, Munindar P. Singh, and Harko Verhagen, editors. Third International Workshop on Normative Multiagent Systems - NorMAS 2008, Luxembourg, July 15-16, 2008. Proceedings, 2008.

  38. P. Caire, S. Villata, G. Boella, and L. van der Torre. Conviviality masks in multiagent systems. In 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, pages 1265-1268, 2008.

  39. G. Ajani, L. Lesmo, G. Boella, A. Mazzei, and P. Rossi. Multilingual ontological analysis of european directives. In Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics ACL'07, pages 21-24, 2007.

  40. G. Ajani, L. Lesmo, G. Boella, A. Mazzei, and P. Rossi. Terminological and ontological analysis of european directives: Multilinguism in law. In ICAIL 2007, pages 43-48, 2007. (PDF)

  41. E. Arnaudo, M. Baldoni, G. Boella, V. Genovese, and R. Grenna. An implementation of roles as affordances: powerjava. In Proceedings of WOA2007, 2007.

  42. M. Baldoni, G. Boella, V. Genovese, R. Grenna, and E. Arnaudo. An implemetation of roles as affordances: powerjava. In Proceedings of WOA07, 2007.

  43. M. Baldoni, G. Boella, and L. van der Torre. Adding roles to relationship patterns. In Proceedings of WOA07, 2007.

  44. M. Baldoni, G. Boella, and L. van der Torre. 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, 2007. (PDF)

  45. M. Baldoni, G. Boella, and L. van der Torre. Interaction between objects in powerjava. Journal of Object Technology, 6(2):7-12, 2007.

  46. M. Baldoni, G. Boella, and L. van der Torre. Relationships meet their roles in object oriented programming. In Farhad Arbab and Marjan Sirjani, editors, Lecture Notes in Computer Science - Proceedings of the International Symposium on Fundamentals of Software Engineering (FSEN 2007), pages 440-448, Berlin, 2007. Springer.

  47. G. Boella and F. Steimann. Roles and relationships in object-oriented programming, multiagent systems and ontologies. In Report on the 2nd Workshop on Roles and Relationships at ECOOP 2007, 2007.

  48. G. Boella and L. van der Torre. An attacker model for normative multi-agent systems. In Burkhard, Lindemann, Verbrugge, and Varga, editors, Lecture Notes in Computer Science - Proceedings of the 5th International Central and Eastern European Conference on Multi-agent Systems (CEEMAS 2007), pages 42-51, Berlin, 2007. Springer.

  49. G. Boella and L. van der Torre. A game-theoretic approach to normative multi-agent systems. In Normative Multiagent Systems 2007, 2007.

  50. G. Boella and L. van der Torre. A game theoretic model of third-party agents for enforcing obligations in transaction, legal institutions in multiagent systems: the case of contracts. In Agenti Software e Commercio Elettronico. Profili giuridici, tecnologici e psico-sociali. GEDIT, Bologna, 2007.

  51. G. Boella and L. van der Torre. Institutions with a hierarchy of authorities in distributed dynamic environments. Artificial Intelligence and Law Journal (AILaw), 2007.

  52. G. Boella and L. van der Torre. Legal institutions in mas: the case of contracts. In Giovanni Sartor, Claudia Cevenini, and Gioacchino Quadri di Cardano, editors, Agenti Software e Commercio Elettronico. Profili giuridici, tecnologici e psico-sociali. GEDIT, Bologna, 2007.

  53. G. Boella and L. van der Torre. Norm negotiation in multiagent systems. International Journal of Cooperative Information Systems (IJCIS) Special Issue: Emergent Agent Societies, 16(2), 2007. (PDF)

  54. G. Boella and L. van der Torre. The ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles. Artificial Intelligence and Law Journal (AILaw), 2007. (PDF)

  55. G. Boella and L. van der Torre. Power in norm negotiation. In Nguyen, Grzech, Howlett, and Jain, editors, Lecture Notes in Computer Science - Proceedings of the First KES International Symposium (KES-AMSTA 2007), pages 436-446, Berlin, 2007. Springer.

  56. G. Boella, M. Baldoni, and L. van der Torre. Relationships define roles, objects offer them. In Proceedings of the 2nd Workshop on Roles and Relationships in Object Oriented Programming, Multiagent Systems, and Ontologies (Roles 2007), 2007.

  57. G. Boella, C. da Costa Pereira, G. Pigozzi, A. Tettamanzi, and L. van der Torre. Choosing your beliefs. In Normative Multiagent Systems 2007, 2007.

  58. G. Boella, C. da Costa Pereira, G. Pigozzi, A. Tettamanzi, and L. van der Torre. What you should believe. In Dastani and de Jong, editors, Proceedings of the 19th Belgian-Dutch Conference of Artificial Intelligence (BNAIC 2007), Utrecht, 2007.

  59. G. Boella, C. da Costa Periera, G. Pigozzi, A. Tettamanzi, and L. van der Torre. What you should believe: Obligations and beliefs. In Proceedings of KI07-Workshop on Dynamics of Knowledge and Belief, 2007.

  60. G. Boella, R. Damiano, J. Hulstijn, and L. van der Torre. A common ontology of agent communication languages: Modelling mental attitudes and social commitments using roles. Applied Ontology, 2007.

  61. G. Boella, R. Damiano, J. Hulstijn, and L. van der Torre. Distinguishing propositional and action commitment in agent communication. In Proceedings of CMNA07, 2007.

  62. G. Boella, M. Dastani, A. Omicini, L. van der Torre, I. Cerna, and I. Linden, editors. Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), 2007.

  63. G. Boella, M. Dastani, A. Omicini, L. van der Torre, I. Cerna, and I. Linden. Preface. Electronic Notes in Theoretical Computer Science (ENTCS), 181:1-3, 2007.

  64. G. Boella, V. Genovese, R. Grenna, and L.van der Torre. Roles in coordination and in agent deliberation: A merger of concepts. In In Proceedings of Agents, Web-Services, and Ontologies – Integrated Methodologies Workshop (Awesome'07), 2007.

  65. G. Boella, V. Genovese, R. Grenna, and L. van der Torre. Merging roles in coordination and in agent deliberation. In Proceedings of PRIMA 2007. Lecture Notes in Computer Science. Springer, 2007.

  66. G. Boella, J. Gerbrandy, and J. Hulstijn. A flexible mechanism for dialogue design. In Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2007, pages 160-168, 2007.

  67. G. Boella, J. Hulstijn, G. Governatori, R. Riveret, N. Rotolo, and L. van der Torre. Fipa communicative acts in defeasible logic. In Proceedings of NRAC07, 2007.

  68. G. Boella, J. Hulstijn, G. Governatori, R. Riveret, N. Rotolo, and L. van der Torre. Fipa communicative acts in defeasible logic. In Proceedings of NRAC07, 2007.

  69. G. Boella, L. Sauro, and L. van der Torre. From social power to social importance. Web Intelligence and Agent Systems Journal (WIAS), 5(4):393-404, 2007. (PDF)

  70. G. Boella, F. Steimann, S. Zschaler, and M. Cebulla, editors. Proceedings of the 2nd Workshop on Roles and Relationships in Object Oriented Programming, Multiagent Systems, and Ontologies (Roles 2007), 2007.

  71. G. Boella, L. van der Torre, and H. Verhagen. Introduction to normative multi-agent systems. In Normative Multiagent Systems 2007, 2007.

  72. G. Boella, L. van der Torre, and H. Verhagen. Normative multi-agent systems. In Internationales Begegnungs und Porschungszentrum fur Informatik (IBFI), 2007.

  73. G. Boella, L. van der Torre, and H. Verhagen. Roles, an interdisciplinary perspective. Journal of Applied Ontology - Special issue with selected papers of the AAAI symposium on Roles, an Interdisciplinary Perspective, 2:81-88, 2007.

  74. G. Boella, L. van der Torre, and H. Verhagen, editors. Special Issue on Normative Multiagent Systems, 2007.

  75. Pablo Noriega, Javier Vázquez-Salceda, G. Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, and Eric Matson, editors. COIN II. Coordination, Organizations, Institutions and Norms in Multi-Agent Systems. Revised Selected papers form the COIN workshops held in AAMAS 2006 (in Hakodate, Japan, on May 9) and in ECAI 2006 (in Riva del Garda, Italy, on August 28), volume 4386 of LNCS, 2007.

  76. G. Ajani, G. Boella, L. Lesmo, M. Martin, A. Mazzei, and P. Rossi. A development tool for multilingual ontology-based conceptual dictionaries. In Proc. of 5th International Conference on Language Resources and Evaluation, LREC06, pages 1-6, Genoa, May 2006. European Press Academic Publishing. (PDF)

  77. G. Ajani, G. Boella, L. Lesmo, A. Mazzei, and P. Rossi. Multilingual conceptual dictionaries based on ontologies. In Proc. of V Legislative XML Workshop, pages 1-14, Florence, June 2006. European Press Academic Publishing. (PDF)

  78. M. Baldoni, G. Boella, and L. van der Torre. Bridging agent theory and object orientation: Interaction among objects. In Procs. of PROMAS'06 workshop at AAMAS'06, 2006.

  79. M. Baldoni, G. Boella, and L. van der Torre. Interaction among objects via roles: sessions and affordances in powerjava. In Procs. of PPPJ '06, pages 188-193, New York (NY), 2006. ACM.

  80. M. Baldoni, G. Boella, and L. van der Torre. Modelling the interaction between objects: Roles as affordances. In Jerome Lang, Fangzhen Lin, and Ju Wang, editors, Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings, volume 4092 of Lecture Notes in Computer Science, pages 42-54. Springer, 2006. (PDF)

  81. M. Baldoni, G. Boella, and L. van der Torre. powerjava: ontologically founded roles in object oriented programming languages. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), track OOPS, Dijon, France, April 23-27, 2006, pages 1414-1418. ACM, 2006.

  82. M. Baldoni, G. Boella, and L. van der Torre. Roles as a coordination construct: Introducing powerjava. Electronic Notes in Theoretical Computer Science (ENTCS) Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005), 150(1):9-29, 2006. (PDF)

  83. G. Boella and L. van der Torre. An architecture of a normative system. In Procs of AAMAS'06, 2006. (PDF)

  84. G. Boella and L. van der Torre. Constitutive norms in the design of normative multiagent systems. In Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, volume 3900 of LNCS, pages 303-319, Berlin, 2006. Springer.

  85. G. Boella and L. van der Torre. Coordination and organization: Definitions, examples and future research directions. Electronic Notes in Theoretical Computer Science (ENTCS) Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005), 150(3):3-20, 2006.

  86. G. Boella and L. van der Torre. Count-as conditionals, classification and context. In Procs. of ECAI'06, pages 719-720, 2006.

  87. G. Boella and L. van der Torre. Delegation of power in normative multiagent systems. In Lou Goble and John-Jules Ch. Meyer, editors, Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, Lecture Notes in Computer Science, pages 36-52. Springer, 2006.

  88. G. Boella and L. van der Torre. Fair distribution of collective obligations. In Procs. of ECAI'06, pages 721-722, 2006.

  89. G. Boella and L. van der Torre. A foundational ontology of organizations and roles. In Procs. of DALT'06 workshop at AAMAS'06, 2006.

  90. G. Boella and L. van der Torre. A game theoretic approach to contracts in multiagent systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C, 36(1):68-79, 2006.
    Abstract:
    In this paper we address the problem of how autonomous agents acting on behalf of their users reason about contracts inside virtual organizations. Contracts are modelled as legal institutions: systems of legal rules which allow to change the regulative and constitutive rules of an organization. The methodology we use is to attribute to organizations mental attitudes, like beliefs, desires and goals. Agents reason about the effect of contracts in the interaction with other agents by means of game theoretic techniques
    . (PDF)

  91. G. Boella and L. van der Torre. Game-theoretic foundations for norms. In Proceedings of Artificial Intelligence Studies (Polish AI06), volume 3(26), pages 39-51, 2006.

  92. G. Boella and L. van der Torre. A logical architecture of a normative system. In Lou Goble and John-Jules Ch. Meyer, editors, Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, Lecture Notes in Computer Science, pages 24-35, Berlin, 2006. Springer.

  93. G. Boella and L. van der Torre. Norm negotiation power. In Proceedings of BNAIC06, 2006.

  94. G. Boella and L. van der Torre. Preface. Electronic Notes in Theoretical Computer Science (ENTCS) Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005), 150(3):1-2, 2006.

  95. G. Boella and L. van der Torre. Security policies for sharing knowledge in virtual communities. IEEE Transactions on Systems, Man and Cybernetics - Part A, 36(3):439-450, 2006. (PDF)

  96. G. Boella, R. Damiano, J. Hulstijn, and L. van der Torre. Acl semantics between social commitments and mental attitudes. In Procs. of Workshop on Agent Communication, 2006, 2006. (PDF)

  97. G. Boella, R. Damiano, J. Hulstijn, and L. van der Torre. Role-based semantics for agent communication: Embedding of the ‘mental attitudes’ and ‘social commitments’ semantics. In Procs of AAMAS'06, 2006. (PDF)

  98. G. Boella, J. Hulstijn, and L. van der Torre. The roles of roles in agent communication languages. In Procs. of IAT'06, Hong Kong, 2006.

  99. G. Boella, L. Sauro, and L. van der Torre. Strengthening admissible coalitions. In Procs. of ECAI'06, Riva del Garda, 2006. (PDF)

  100. G. Boella, L. van der Torre, and H. Verhagen. Introduction to normative multiagent systems. Computational & Mathematical Organization Theory, 12(2-3)(2-3):71-79, 2006. (PDF)

  101. G. Boella, L. van der Torre, and H. Verhagen, editors. Special Issue on Normative MultiAgent Systems, volume 12(2-3) of Computational and Mathematical Organization Theory, 2006.

  102. L. Lesmo, , G. Boella, A. Mazzei, and P. Rossi. Multilingual conceptual dictionaries based on ontologies: Analytical tools and case studies. In Proc. of Conference Approaching the Multilanguage Complexity of European Law: Methodologies in Comparison, pages 1-14, Florence, November 2006. ITTIG. (PDF)

  103. M. Baldoni, G. Boella, and L. van der Torre. Bridging agent theory and object orientation: Importing social roles in object oriented languages. In LNCS 3862: Procs. of PROMAS'05 workshop at AAMAS'05, pages 57-75, Berlin, 2005. Springer.

  104. M. Baldoni, G. Boella, and L. van der Torre. Coordination and roles in powerjava. In Poster presentation at Coordination05, 2005.

  105. M. Baldoni, G. Boella, and L. van der Torre. Social roles, from agents back to objects. In Procs. of From Objects to Agents Workshop (WOA'05), Bologna, 2005. Pitagora.

  106. G. Boella and L. van der Torre. Enforceable social laws. In Procs. of 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, New York (NJ), 2005. ACM.

  107. G. Boella and L. van der Torre. The evolution of artificial social systems. In Procs. of IJCAI'05, pages 1655-1556. Professional Book Center, 2005.

  108. G. Boella and L. van der Torre. From the theory of mind to the construction of social reality. In Procs. of Annual Conference on the Cognitive Science Society, pages 298-303, Mahwah (NJ), 2005. Lawrence Erlbaum.

  109. G. Boella and L. van der Torre. Introduction to coordination and organization. In Procs. of CoOrg workshop at Coordination'05, 2005.

  110. G. Boella and L. van der Torre. The non-monotonic logic of preference. In Procs. of IJCAI'05, 2005.

  111. G. Boella and L. van der Torre. The ontological properties of social roles: Definitional dependence, powers and roles playing roles. In Procs. of LOAIT workshop at ICAIL'05, 2005.

  112. G. Boella and L. van der Torre. Organizations in artificial social systems. In Procs. of OOOP workshop at AAMAS'05, 2005.

  113. G. Boella and L. van der Torre. Permission and authorization in normative multiagent systems. In Procs. of ICAIL'05, 2005.

  114. G. Boella and L. van der Torre, editors. Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005), volume 150(3) of Electronic Notes in Theoretical Computer Science (ENTCS), 2005.

  115. G. Boella and L. van der Torre. Role-based rights in artificial social systems. In Procs. of IAT'05. IEEE Press, 2005.

  116. G. Boella, J. Hulstijn, Y.H. Tan, and L. van der Torre. Applying normative multiagent systems: A case study. In Procs. of ANI@REM Workshop at AAMAS'05, 2005.

  117. G. Boella, J. Hulstijn, Y.H. Tan, and L. van der Torre. Transaction trust in normative multiagent systems. In Procs. of Trust in Agent Societies Workshop at AAMAS'05, 2005.

  118. G. Boella, J. Hulstijn, and L. van der Torre. Coordination in normative multiagent systems. In Procs. of FInCo'05, 2005.

  119. G. Boella, J. Hulstijn, and L. van der Torre. Decision-theoretic deliberation in resource bounded self-aware agents. In Procs. of Commonsense'05, 2005.

  120. G. Boella, J. Hulstijn, and L. van der Torre. 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):135-162, 2005. (PDF)

  121. G. Boella, J. Hulstijn, and L. van der Torre. A logic of abstract argumentation. In Procs. of ARGMAS workshop at AAMAS'05, 2005.

  122. G. Boella, J. Hulstijn, and L. van der Torre. A synthesis between mental attitudes and social commitments in agent communication languages. In Procs. of IAT'05. IEEE Press, 2005.

  123. G. Boella, J. Hulstijn, and L. van der Torre. Virtual organizations as normative multiagent systems. In Procs. of HICSS'05, 2005. (PDF)

  124. G. Boella, L. Lesmo, and R. Damiano. On the ontological status of norms. In R. Bejamins, M.Casanovas, J. Breuker, and A. Gangemi, editors, LNCS n. 3369: Law and the Semantic Web, pages 129-141. Springer Verlag, Berlin, 2005. (PDF)

  125. G. Boella, L. Lesmo, and R. Damiano. On the ontological status of plans and norms. Artificial Intelligence and Law Journal, 2005. (PDF)

  126. G. Boella, James Odell, L. van der Torre, and H. Verhagen, editors. AAAI 2005 Fall Symposium on Roles, an interdisciplinary perspective , Arlington, VA, 03/11/05-06/11/05, volume FS-05-08 of AAAI Technical Report, 2005.

  127. G. Boella, L. Sauro, and L. van der Torre. Admissible agreements among goal-directed agents. In Procs. of IAT'05, Compiegne, 2005. (PDF)

  128. G. Boella, L. Sauro, and L. van der Torre. Reducing coalition structures via agreement specification. In Procs. of 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pages 1187-1188. ACM, 2005.

  129. G. Boella, L. Sauro, and L. van der Torre. Reducing coalition structures via contracts' representation. In Procs. of 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, New York, 2005. ACM Press.

  130. G. Boella, L. van der Torre, and H. Verhagen. Introduction to normative multiagent systems. In Procs. of NorMas Symposium at AISB'05, 2005.

  131. L. Lesmo, M. Graziadei, G. Boella, A. Mazzei, and P. Rossi. The next eur-lex: What should be done for the needs of lawyers belonging to different national legal systems? In Proc. of JURIX EU-Info Workshop, in JURIX 2005, pages 1-13, Brussels, 2005. (PDF)

  132. G. Boella and L. van der Torre. An agent oriented ontology of social reality. In Procs. of FOIS'04, pages 199-209, Amsterdam, 2004. IOS Press.
    Abstract:
    In this paper we introduce an ontology based on the notion of agent to represent and reason about social reality. We model social constructions as agents, for example, groups, organizations, normative systems, and roles, and we attribute mental attitudes to them. Roughly, we define obligations or regulative norms as goals of the normative system, constitutive norms as beliefs of the normative system, joint, shared, mutual and social beliefs, desires and goal as beliefs, desires and goals of group, responsibilities of an agent as goals of the role he plays, and the required expertise of an agent as beliefs and actions of the role he plays. In this way, we achieve a uniform framework for a large variety of concepts using a small vocabulary, and, in particular, basing it on notions, like mental attitudes, which are commonly used in agent theories. The proposed ontology is modelled using a description logic.
    . (PDF)

  133. G. Boella and L. van der Torre. Attributing mental attitudes to roles: The agent metaphor applied to organizational design. In Procs. of ICEC'04. IEEE Press, 2004.
    Abstract:
    In this paper we address the problem of defining roles in organizations like e-trade ones. The methodology we use is to model roles according to the agent metaphor: we attribute to roles mental attitudes, like beliefs, desires and goals, we relate them to the agents required expertise and responsibilities, and we model role behavior in game theoretic terms. Analogously, the organization is modelled as an agent which acts as a normative system: it imposes obligations to roles and to the agents playing the roles
    . (PDF)

  134. G. Boella and L. van der Torre. Attributing mental attitudes to social entities: Constitutive rules are beliefs, regulative rules are goals. In Procs. of Conference on Collective Intentionality IV, Pontignano, 2004. (PDF)

  135. G. Boella and L. van der Torre. Contracts as legal institutions in organizations of autonomous agents. In Procs. of AAMAS'04, pages 948-955, New York (NJ), 2004. ACM. (PostScript)
  136. G. Boella and L. van der Torre. delta : The social delegation cycle. In Deontic Logic: 7th International Workshop on Deontic Logic in Computer Science ( DeltaEON '04), volume 3065 of LNCS, pages 29-42, Berlin, 2004. Springer. (PostScript)

  137. G. Boella and L. van der Torre. Delta: The social delegation cycle. In Procs. of CEAS Workshop at ECAI'04, Valencia, 2004.

  138. G. Boella and L. van der Torre. The distribution of obligations by negotiation among autonomous agents. In Procs. of ECAI'04, pages 13-17, Amsterdam, 2004. IOS Press. (PDF)

  139. G. Boella and L. van der Torre. Fulfilling or violating obligations in normative multiagent systems. In Procs. of IAT'04, Beijing, 2004.
    Abstract:
    A theory of rational decision making in normative multiagent systems has to distinguish among the many reasons why agents fulfill or violate obligations. We propose a classification of such reasons for single cognitive agent decision making in a single normative system, based on the increasing complexity of this agent. In the first class we only consider the agents motivations, in the second class we consider also its abilities, in the third class we consider also its beliefs, and finally we consider also sensing actions to observe the environment. We sketch how the reasons can be formalized in a normative multiagent system with increasingly complex cognitive agents.
    . (PDF)

  140. G. Boella and L. van der Torre. Game specification in normative multiagent system: the trias politica. In Procs. of IAT'04, pages 504-508, Beijing, 2004. IEEE Press.
    Abstract:
    In this paper we formalize the specification of games in the trias politica using Rao and Georgeff's specification language BDICTL*. In particular, we generalize Rao and Georgeff's specification of single agent decision trees to multiagent games, for which we introduce observations and recursive modelling, in this setting we formalize obligations, and we characterize four kinds of agents, called legislators, judges, policemen and citizens. Legislators are characterized by their power to create and revise obligations, judges are characterized by their power to count behavior of citizens as violations, and policemen are characterized by their ability to sanction behavior.
    . (PDF)

  141. G. Boella and L. van der Torre. Groups as agents with mental attitudes. In Procs. of AAMAS'04, pages 964-971, New York, 2004.
    Abstract:
    We discuss a model of cooperation among autonomous agents, based on the attribution of mental attitudes to groups: these attitudes represent the shared beliefs and objectives and the wish to reduce the costs for the members. When agents take a decision they have to recursively model what their partners are expected to do under the assumption that they are cooperative, and they have to adopt the goals and desires attributed to the group: otherwise, the other members consider them uncooperative and thus liable.
    . (PDF)

  142. G. Boella and L. van der Torre. Local vs global policies and centralized vs decentralized control in virtual communities of agents. In Procs. of WI'04, Beijing, 2004. (PDF)

  143. G. Boella and L. van der Torre. Normative multiagent systems. In Procs. of Trust in Agent Societies Workshop at AAMAS'04, pages 1-17, Berlin, 2004. Springer.
    Abstract:
    We are interested in the design of policies for virtual communities of agents based on the grid infrastructure. In a virtual community agents can play both the role of resource consumers and the role of resource providers, and they remain in control of their resources. We argue that this requirement imposes a distinction between the authorization to access a resource given by the virtual community and the permission to do so issued by the resource providers. Our model is based on a logical multiagent framework that distinguishes the three roles of resource consumption, provision, and of authorization.
    . (PDF)

  144. G. Boella and L. van der Torre. Organizations as socially constructed agents in the agent oriented paradigm. In Engineering Societies in the Agents World V, 5th International Workshop (ESAW'04), volume 3451 of LNCS, pages 1-13, Berlin, 2004. Springer. (PDF)

  145. G. Boella and L. van der Torre. Permission and authorization in policies for virtual communities of agents. In Procs. of Agents and P2P Computing Workshop at AAMAS'04, pages 86-97, Berlin, 2004. Springer.
    Abstract:
    We are interested in the design of policies for virtual communities of agents based on the grid infrastructure. In a virtual community agents can play both the role of resource consumers and the role of resource providers, and they remain in control of their resources. We argue that this requirement imposes a distinction between the authorization to access a resource given by the virtual community and the permission to do so issued by the resource providers. Our model is based on a logical multiagent framework that distinguishes the three roles of resource consumption, provision, and of authorization.
    . (PDF)

  146. G. Boella and L. van der Torre. Regulative and constitutive norms in normative multiagent systems. In Procs. of 10th International Conference on the Principles of Knowledge Representation and Reasoning KR'04, pages 255-265, Menlo Park (CA), 2004. AAAI Press. (PDF)

  147. G. Boella and L. van der Torre. Your wish is my command. Technical report, CWI, 2004.

  148. G. Boella and H. Verhagen. Normative multiagent ststems: An introduction to social theory for mas researchers. In Slides from the Tutorial at IEEE/WIC IAT/WI Conference, 2004. (PDF)

  149. G. Boella, J. Hulstijn, and L. van der Torre. Decision-theoretic deliberation under bounded resources. In Procs. of LOFT'04, Leipzig, 2004.
    Abstract:
    Agent theory proposes to model the behavior of complex software systems in terms of mental attitudes like belief, desires, goals, intentions and obligations, ranging from, e.g., the PRS system [7] to the more recent BOID architecture [3]. Decision-theoretic deliberation captures concepts and reasoning mechanisms from agent theory in standard decision-theoretic terms. This is an ambitious enterprise, as it has the objective to bridge the worlds of decision theory and agent theory. Thus far, several partial results on the decision-theoretic characterization have been obtained. The relation between beliefs (as well as defaults) and probabilistic techniques has been studied for some time, there are characterizations of desires and goals in decision-theoretic terms [6], there are various interpretations of obligations and norms, for example as social laws [8], and there are preliminary results on intention [1]. See our comparison paper [4] for an overview. The most problematic issue in decision-theoretic deliberation is the characterization of intention. Roughly, whereas beliefs have been related to probabilities, desires to utilities, and obligations to social laws, intentions do not seem to have an obvious counterpart in classical game and decision theory. However, most discussions on the popular BDI model have focussed on the role of intention in deliberation [2]. Consequently, we believe that intention is the benchmark example of decision-theoretic deliberation.
    . (PDF)

  150. G. Boella, J. Hulstijn, and L. van der Torre. Persuasion strategies in dialogue. In Procs. of CMNA Workshop at ECAI'04, Valencia, 2004.
    Abstract:
    In this abstract we consider dialogues that have a normative aspect. A dialogue is regulated by norms, but can also establish new norms. Certain utterances count as a particular dialogue move in some dialogue game, which creates obligations and permissions for the participants. But norms do not operate in isolation; we study their relation to mental attitudes of participants, in particular beliefs (information), desires, goals or intentions.
    . (PDF)

  151. G. Boella, L. Sauro, and L. van der Torre. An abstraction from power to coalition structures. In Procs. of ECAI'04, Valencia, 2004.
    Abstract:
    The concept of power plays an important role in the social sciences and Castelfranchi [2, 3] emphasizes the importance of this concept for multiagent systems. In [1] we build upon this work by distinguishing four viewpoints on multiagent systems: a mind structure, a power structure, a dependence structure and a coalition structure. These viewpoints are increasingly abstract conceptualizations of systems as collections of autonomous cognitive agents. In this paper we formally define one kind of power and coalition structures, and an abstraction from this power to its coalition structure.
    . (PDF)

  152. G. Boella, L. Sauro, and L. van der Torre. Power and dependence in multiagent systems. In Procs. of CEAS Workshop at ECAI'04, Valencia, 2004.
    Abstract:
    An important aim in the field of Multiagent Systems is to study emergent social structures, such as groups and collectives. The relevance of social structures in Distributed Artificial Intelligence, Artificial Life, Sociology necessitates a well motivated definition of their characteristics. The research question of this paper is to formalize the results obtained by Castelfranchi that try to bridge the gap between the BDI model and the macro-level of Multiagent Systems. We presented in (AAMAS04)general social viewpoints on Multiagent Systems and in (ECAI04) we have detailed a derivation of coalition structures from power structures. In this paper we continue the research, and we define power in terms of cognitive (or mind) view, i.e., starting from the characteristics of the single agents as their goals and skills. Properties of collectives, as mutual dependence or cooperation, are also hierarchically defined by means of the definition of power. It is shown that upper levels of this hierarchy need mental model of the agents more and more complex.
    . (PostScript)

  153. G. Boella, L. Sauro, and L. van der Torre. Power and dependence relations in groups of agents. In Procs. of IAT'04, Beijing, 2004.
    Abstract:
    In this paper we present a formal model of Multiagent Systems to analyze the relations of power and dependence underlying group behaviors such as cooperation. Inspired by the work of Castelfranchi we define these relations by means of a description of goals and skills of single agents. We show how our framework can be used to describe social and organizational structures as emergent properties of a collection of individuals.
    . (PDF)

  154. G. Boella, L. Sauro, and L. van der Torre. Social viewpoints on multiagent systems. In Procs. of AAMAS'04, pages 1358-1359, New York, 2004. (PostScript)

  155. G. Boella and R. Damiano. Empirical evaluation of a replanning algorithm. In Procs. of ICAPS Workshop on plan execution, 2003. (PDF)

  156. G. Boella and L. van der Torre. Access control in virtual communities: Prohibition, permission, authorization and delegation of power in the grid. In Procs. of Knowledge Grid and Grid Intelligence workshop at WI/IAT'03 (KGGI'03), 2003. (PDF)

  157. G. Boella and L. van der Torre. Attributing mental attitudes to groups: Cooperation in a qualitative game theory. In Procs. of Collaboration Agents: Autonomous Agents for Collaborative Environments at WI/IAT'03 (COLA'03), 2003. (PDF)

  158. G. Boella and L. van der Torre. Attributing mental attitudes to normative systems. In Procs. of AAMAS'03, Melbourne, 2003. ACM Press. (PDF)

  159. G. Boella and L. van der Torre. Bdi and boid argumentation: Some examples and ideas for formalization. In Procs. of IJCAI Workshop on Computational Models of Natural Argument, Acapulco, 2003. (PDF)

  160. G. Boella and L. van der Torre. Decentralized control: Obligations and permissions in virtual communities of agents. In Procs. of ISMIS Conference, Maebashi, 2003. (PDF)

  161. G. Boella and L. van der Torre. Division of powers in mas control. In Procs. of AAMAS Workshop on Autonomy, Delegation and Control, Melbourne, 2003. (PDF)

  162. G. Boella and L. van der Torre. Local policies for the control of virtual communities. In Procs. of IEEE/WIC Web Intelligence Conference, pages 161-167. IEEE Press, 2003. (PDF)

  163. G. Boella and L. van der Torre. 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 Press, 2003. (PostScript)

  164. G. Boella and L. van der Torre. Obligations and permissions as mental entities. In Procs. of IJCAI Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions, Acapulco, 2003. (PDF)

  165. G. Boella and L. van der Torre. Obligations as social constructs. In LNAI n. 2829: AI*IA 2003 - Advances in Artificial Intelligence, pages 27-38, Berlin, 2003. Springer. (PDF)

  166. G. Boella and L. van der Torre. Permissions and obligations in hierarchical normative systems. In Proceedings of the Eighth International Conference on Artificial Intelligence and Law (ICAIL'03), pages 109-118, Edimburgh, 2003. ACM Press. (PDF)

  167. G. Boella and L. van der Torre. Permissions and undercutters. In Procs. of IJCAI Workshop on Non Monotonic Reasoning, Actions and Causality, Acapulco, 2003. (PDF)

  168. G. Boella and L. van der Torre. Policy management for virtual communities of agents. In Procs. of WOA'03 Workshop, 2003. (PDF)

  169. G. Boella and L. van der Torre. Rational norm creation. In Proceedings of the Eighth International Conference on Artificial Intelligence and Law (ICAIL'03), pages 81-82, Edimburgh, 2003. ACM Press. (PDF)

  170. G. Boella and L. van der Torre. Your wish is my command: Sanction-based obligations in a qualitative decision theory. 2003. (PostScript)

  171. G. Boella. Decision theoretic planning and the bounded rationality of bdi agents. In Procs. of GTDT 2002 workshop. Technical report WS-02-06, pages 1-10, Menlo Park (CA), 2002. AAAI Press.
    Abstract:
    We reconsider the BDI agents model by exploiting a it decision theoretic planning framework together with a proposal for bounded rationality. In particular, we show how the interplay between a planner based on an it anytime algorithm and a it meta-deliberation module for dealing with bounded resources sheds light on the notion of it intention as proposed by Michael Bratman.
    . (PostScript)

  172. G. Boella. Intentions: choice first, commitment follows. In Proc. of AAMAS Conference, pages 1165-1166. ACM Press, 2002.
    Abstract:
    Using a decision theoretic planner and it bounded rationality reasoning, we reconsider the analysis of intentions proposed by Michael Bratman. Intentions are defined as predominant desires that can be achieved; but identifying which desire is the predominant one is a costly effort: the it information produced during the planning phase is exploited when it meta-deliberating about the reconsideration of the current intentions, giving them stability.
    . (PostScript)

  173. G. Boella. Norms and cooperation: Two sides of social rationality. In H. Hexmoor and R. Falcone, editors, Agent Autonomy. Kluwer, in press, 2002. (PDF)

  174. G. Boella and R. Damiano. An architecture for normative reactive agents. In K. Kawabara and J. Lee, editors, Intelligent Agents and Multi-Agent Systems, LNAI 2413, pages 1-17. Springer Verlag, 2002.
    Abstract:
    We present a reactive agent architecture which incorporates decision-theoretic notions to drive the deliberation and meta-deliberation process, and illustrate how this architecture can be exploited to model an agent who reacts to contextually instantiated norms by monitoring for norm instantiation and replanning its current intentions.
    . (PostScript)

  175. G. Boella and R. Damiano. A game-theoretic model of third-party agents for enforcing obligations in transactions. In Procs. of LEA 2002 workshop, 2002. (PDF)

  176. G. Boella and R. Damiano. Obligations for dealing with agents' conflicts. In Procs. of RCSIA track of MASHO 2002 workshop, 2002. (PostScript)

  177. G. Boella and R. Damiano. Piani e norme: una prospettiva ontologica. In I incontro dell'Associazione Italiana di Scienze Cognitive, Rovereto, 2002.

  178. G. Boella and R. Damiano. Playing it safe: obligations for enforcing trust among agents. In Procs. of RASTA 2002 workshop, 2002.
    Abstract:
    In some strategic situations, which can be represented as 2x2 matrix games in the it prisoner dilemma style, an agent prefers to enter the interaction only in case he or the other player are subject to some obligations which incentives them to stay it committed to a cooperative behavior. Obligations presuppose the existence of a third agent who is in charge of sanctioning the misbehaving agents and/or rewarding the agents who stick to their commitments. In this paper, we propose a model of game situations where we introduce an explicit it third party agent who has the role of enforcing these obligations.
    . (PostScript)

  179. G. Boella and R. Damiano. A replanning algorithm for a reactive agent architecture. In D. Scott, editor, Artificial Intelligence: Methodology, Systems, and Applications, LNCS 2443, pages 183-192. Springer, 2002.
    Abstract:
    We present an algorithm for replanning in a reactive agent architecture which incorporates decision-theoretic notions to drive the planning and metadeliberation process. The deliberation component relies on a refinement planner which produces plans with optimal expected utility. The replanning algorithm we propose exploits the planner’s ability to provide an approximate evaluation of partial plans: it starts from a fully refined plan and makes it more partial until it finds a more partial plan which subsumes more promising refinements; at that point, the planning process is restarted from the current partial plan.
    . (PostScript)

  180. G. Boella and L. Lesmo. A game theoretic approach to norms. Cognitive Science Quarterly, pages 492-512, 2002.
    Abstract:
    In recent years, multi-agent systems have become one of the most promising approaches for organizing software. However, the demand for capabilities of autonomous decision making poses some requirements on agent architectures. It is necessary, in fact, that the behavior of an agent be suitably constrained to make it socially compatible with the community of agents. In this paper, we propose a model for obligations and rules which is inspired to E. Goffman's work in sociology, and which can be integrated in existing BDI (Belief, Desire, Intention) agent architectures. We show that it Decision Theory and it Anticipatory Coordination can be the basic building blocks for an agent model where obligations are associated with sanctions (and with another agent, the it normative agent, who takes care of making the obligation respected). Anticipatory Coordination is required to foresee the normative agent reactions, while Decision Theory enables an agent to choose in a rational way the most promising line of action.
    . (PDF)

  181. G. Boella and L. Lesmo. Mental models theory and anaphora. In Procs. of Cognitive Science Conference 2002, 2002.
    Abstract:
    We argue that anaphora cannot be resolved at the level of the formal language representing meaning, but, rather, by making direct reference to the it extension of the sentences. Johnson-Laird's mental models theory provide the tool for coping with extensional representations in a cognitively plausible way.
    . (PDF)

  182. G. Boella and L. van der Torre. Normative multi agent systems: Sanction-based obligations in a qualitative decision theory. In Slides from the invited presentation to the Dagstuhl seminar Programming Multi Agent Systems based on Logic, 2002. (PDF)

  183. G. Boella. Social rationality and cooperation. In N. Zhong, J. Liu, S. Ohsuga, and J. Bradshaw, editors, Procs. of 2nd International Conference on Intelligent Agents Technology (IAT-2001), pages 64-68, Singapore, 2001. World Scientific. (PostScript)

  184. G. Boella and L. Lesmo. An approach to anaphora based on mental models. In P. Bouquet, editor, CONTEXT'01: Third International Conference on Modeling and Using Context LNAI 2116, pages 413-416. Springer Verlag, Berlin, 2001. (PostScript)

  185. G. Boella and L. Lesmo. Deliberate normative agents. In R. Conte and C. Dellarocas, editors, Social order in MAS, pages 85-112. Kluwer, 2001.
    Abstract:
    Agent theories have developed concepts and methodologies that can be a pplied for having a better understanding of reasoning about obligations. This work proposes an agent-based framework for modeling obligations and norms: agents are able to deal with norms and to decide autonomously whether to respect them or not. The key idea is that the addressee of the norm explicitly models the agent who watches on the norms and who can sanction him.
    . (PostScript)

  186. G. Boella and L. Lesmo. Socially rational agents and collective intentionality. In Proc. of In Proc. of Seventh International Colloquium on Cognitive Science (ICCS-01), Donostia (ES), 2001. (PostScript)

  187. G. Boella, R. Damiano, M. Danieli, and L. Lesmo. Using xml for representing domain dependent knowledge in dialogos. In Proc. International Conference on Text, Speech and Dialog (TSD), Zelezna Ruda (CZ), 2001. (PostScript)

  188. G. Boella, L. Favali, and L. Lesmo. An action-based ontology of legal relations. In Proc. of Eighth International Conference on Artificial Intelligence and Law (ICAIL), pages 227-228, St. Louis (MO), 2001. ACM. (PostScript)

  189. G. Boella, L. Lesmo, and L. Favali. The definition of legal relations in a bdi multiagent framework. In F. Esposito, editor, AI*IA 2001: Advances in Artificial Intelligence, LNAI 2175, pages 225-236. Springer Verlag, Berlin, 2001. (PDF)

  190. L. Ardissono, G. Boella, and L. Lesmo. A plan based agent architecture for interpreting natural language dialogue. International Journal of Human-Computer Studies, (52):583-636, 2000.
    Abstract:
    This paper describes a plan-based agent architecture for modeling NL cooperative dialogue; in particular, the paper focuses on the interpretation dialogue and explanation of its coherence by means of the recognition of the speakers' underlying intentions. The approach we propose makes it possible to analyze and explain in a uniform way several apparently unrelated linguistic phenomena, which have been often studied separately and treated via ad-hoc methods in the models of dialogue presented in the literature. Our model of linguistic interaction is based on the idea that dialogue can be seen as any other interaction among agents: therefore, domain-level and linguistic actions are treated in a similar way. Our agent architecture is based on a two-level representation of the knowledge about acting: at the metalevel, the Agent Modeling plans describe the recipes for plan formation and execution (they are a declarative representation of a reactive planner); at the object level, the domain and communicative actions are defined. The Agent Modeling plans are used to identify the goals underlying the actions performed by an observed agent; the recognized plans constitute the dialogue context, where the intentions of all participants are stored in a structured way, in order to be used in the interpretation of the subsequent dialogue turns.
    . (PostScript)

  191. G. Boella. Cooperation among economically rational agents. PhD thesis, Università di Torino, 2000. (PostScript)

  192. G. Boella and R. Damiano. Communication and cooperation among agents. In Proc. of Gotalog 2000, Goteborg, 2000.
    Abstract:
    In this paper we consider the consequences for dialog modeling of a ne w proposal of cooperation based on the concepts of group utility, goal adoption and anticipatory coordination. On the one hand, the model accounts for the contextual occurrence of communicative acts during cooperative activity; on the other hand, it models grounding phenomena in dialog, seen as a cooperative activity, without explicitly prescribing them.
    . (PostScript)

  193. G. Boella and R. Damiano. Integrating pragmatics in the analysis of tense and aspect. In Procs. of the 3rd International Conference on Cognitive Modeling, pages 283-284, Groningen (NL), 2000. (PostScript)

  194. G. Boella and L. Lesmo. Communication and cooperation among agents. In Proc. of Autonomous Agents 2000 Workshop on Norms and Institutions., Barcelona, 2000.
    Abstract:
    Agent theories have developed concepts and methodologies that can be applied for having a better understanding of reasoning about obligations. This work proposes an agent-based framework for modeling obligations and norms: agents are able to deal with norms and to decide autonomously whether to respect them or not. The key idea is that the addressee of the norm explicitly models the agent who watches on the norms and who can sanction him.
    . (PostScript)

  195. G. Boella, R. Damiano, and L. Lesmo. Cooperation and group utility. In N. R. Jennings and Y. Lespérance, editors, Intelligent Agents VI --- Proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL-99, Orlando), volume 1757 of LNAI, pages 319-333, Berlin, jul 2000. Springer.
    Abstract:
    In this paper, we propose an definition of cooperation to shared plans that takes into account the benefit of the whole group, where the group's benefit is computed by considering also the consequences of an agent's choice in terms of the actions that the other members of the group will do. In addition, the members of a group consider whether to adopt the goals of their partners: an agent should adopt these goals only when the adoption results in an increase of the group's benefit.
    . (PostScript)

  196. G. Boella, R. Damiano, and L. Lesmo. Social goals in conversational cooperation. In Proc. of Sigdial Workshop, Honk Kong, 2000.
    Abstract:
    We propose a model where dialog obligations arise from the interplay of social goals and intentions of the participants: when an agent is addressed with a request, the agent's decision to commit to the requester's linguistic and domain goals is motivated by a trade-off between the preference for preventing a negative reaction of the requester and the cost of the actions needed to satisfy the goals.
    . (PostScript)

  197. L. Ardissono, G. Boella, and L. Lesmo. The role of social goals in planning polite speech acts. In Workshop on Attitude, Personality and Emotions in User-Adapted Interaction at UM'99 Conference, pages 41-55, Banff, 1999.
    Abstract:
    In this paper, we propose a logical description of the mechanisms which cause a speech act to be impolite, and of how the indirect expressions may prevent speakers from offending their partners. We specifically focus on conventional indirect speech acts, providing a formal framework to recognize the beliefs underlying them and the way how the possible offenses produced by communicative actions may be blocked by using politeness techniques.
    . (PostScript)

  198. G. Boella and R. Damiano. Plan-based event representations for the analysis of tense and aspect. In Proc. of 6th Congress of AI*IA, Submitted to conference review, 1999.
    Abstract:
    In this paper, a representation formalism based on actions and hierarchical plans is proposed to model the aspectual and temporal composition of sentences. Action verbs are interpreted as instances of action schemata that include a plan body; the other linguistic elements, like tense and adverbs, are evaluated by means of rules that add constraints to event representations.
    . (PostScript)

  199. G. Boella, R. Damiano, and L. Lesmo. Beating a donkey: a mental model approach to complex anaphorical phenomena. In Proc. of European Congress of Cognitive Science of ECCS'99, Pontignano, 1999.
    Abstract:
    In this paper, we want to show that it mental models provide the adequate level for explaining complex anaphoric phenomena, like donkey sentences. The key idea is that anaphors can be more easily resolved by referring to an extensional representation of the meaning of sentences, like the one provided by mental models.
    . (PostScript)

  200. G. Boella, R. Damiano, and L. Lesmo. Dialog modeling and reported speech in narrative. In Proc. of AAAI Workshop on Mixed Initiative Intelligence at AAAI'99 Conference, Orlando (FL), 1999. (PostScript)

  201. G. Boella, R. Damiano, and L. Lesmo. Mental models and pragmatics: the case of presuppositions. In Proc. of the 21rst Annual Meeting of the Cognitive Science Society, pages 78-83, Vancouver (BC), 1999.
    Abstract:
    We claim mental models are a framework that allow to shed light on the phenomenon of presuppositions. A plan-based lexical representation for verbs, together with the effect of conversational implicatures that discharge possible mental models, are the key f eatures of this proposal.
    . (PostScript)

  202. G. Boella, R. Damiano, and L. Lesmo. Understanding narrative is like observing agents. In Proc. of AAAI Fall Symposium on Narrative Intelligence, Cape Cod, 1999.
    Abstract:
    In this paper, we suggest that AI techniques, especially the ones developed in the field of agent modeling and intelligent interfaces, can be exploited both to build systems for narrative understanding and to allow agents to describe their own behavior in a narrative style. In particular, we will show how it is possible to exploit a model of dialog interpretation for building a system that understands stories and produces a representation of the characters' plans and intentions.
    . (PostScript)

  203. G. Boella, R. Damiano, and L. Lesmo. A utility based approach to cooperation among agents. In Proc. of Workshop on Collective Agent Based Systems at ESSLLI'99, Utrecht, 1999. (PostScript)

  204. G. Boella, R. Damiano, L. Lesmo, and L. Ardissono. Conversational cooperation: the leading role of intentions. In Amstelogue'99 Workshop on Dialogue, Amsterdam, 1999.
    Abstract:
    We will consider the role played by the notion of agent intentions in dialog and, particularly, in explaining conversational cooperation. The decision to cooperate towards the success of the communication accounts for grounding, requests of repair, repairs to misunderstandings, and other related phenomena. In the model, intentions arise from goals on the basis of two factors: the relevance of a goal, and the cost of the actions needed to achieve it. The adoption of the intention of cooperating at the conversational level is motivated by the fact that the refusal to do low-cost actions, in case they are supported by low-relevance goals, is usually interpreted as an offense to the requester of the action.
    . (PostScript)

  205. L. Ardissono and G. Boella. An agent model for nl dialog interfaces. In Lecture Notes in Artificial Intelligence n. 1480: Artificial Intelligence: Methodology, Systems and Applications, pages 14-27. Springer Verlag, Berlin, 1998.
    Abstract:
    Agent theories take as their paradigm human intentional behavior; however, as far as agent interaction is concerned, they have not yet satisfactorily taken into account the requirements raised by studies on human Natural Language communication, the most developed means of interaction. The fundamental missing point is the role of intention recognition, which is the basis of human dialog interactions. In this paper, we describe a declarative agent architecture for modeling social agent behavior, with particular attention to Natural Language dialog. The architecture can be used both to recognize a speaker's intentions and generate intention-driven behavior in agent interactions; therefore, it is suited to interface agents for HCI, which require a friendly interaction with users.
    . (PostScript)

  206. L. Ardissono, G. Boella, and R. Damiano. A plan-based model of misunderstandings in cooperative dialogue. International Journal of Human-Computer Studies, 48:649-679, 1998.
    Abstract:
    We describe a plan-based agent architecture that models misunderstandings in cooperative NL agent communication; it exploits a notion of coherence in dialogue based on the idea that the explicit and implicit goals which can be identified by interpreting a conversational turn can be related with the previous explicit / implicit goals of the interactants. Misunderstandings are hypothesized when the coherence of the interaction is lost (i.e. an unrelated utterance comes). The processes of analysis (and treatment) of a misunderstanding are modeled as rational behaviors caused by the acquisition of a supplementary goal, when an incoherent turn comes: the agent detecting the incoherence commits to restore the intersubjectivity in the dialogue; so, he restructures his own contextual interpretation, or he induces the partner to restructure his (according to who seems to have made the mistake). This commitment leads him to produce a repair turn, which initiates a subdialogue aimed at restoring the common interpretation ground. Since we model speech acts uniformly with respect to the other actions (the domain level actions), our model is general and covers misunderstandings occurring at the linguistic level as well as at the underlying domain activities of the interactants.
    . (PostScript)

  207. L. Ardissono, G. Boella, and L. Lesmo. An agent architecture for nl dialog modeling. In Proc. Second Workshop on Human-Computer Conversation, Bellagio, Italy, 1998. (PostScript)

  208. L. Ardissono, G. Boella, and L. Lesmo. Plan based agent architecture for interpreting natural language dialogue. Technical Report, 1998. (PostScript)

  209. G. Boella and L. Lesmo. Automatic refinement of linguistic rules for tagging. In Proc. 1rst International Conference on Language Resources and Evaluation LREC'98, pages 923-930, Granada, 1998.
    Abstract:
    This paper describes an approach to POS tagging based on the automatic refinement of manually written linguistic tagging rules. The refinement was carried out by means of a learning algorithm based on decision trees. The tagging rules work on ambiguity classes: each input word undergoes a morphological analysis and a set of possible tags is returned. The set of tags determines the ambiguity class: the suitable subset of tagging rules is applied and a single tag is returned. This method can be applied both with the original set of manual rules and with the set of refined rules. The experiments have been performed on the Italian language. The results show that the refined set reduces the tagging error of about 17%. The noticeable feature of the approach is that the original set of rules is not modified, so that they retain their linguistic value, but new rules are added to handle problematic cases.
    . (PostScript)

  210. L. Ardissono, G. Boella, and R. Damiano. A computational model of misunderstandings in agent communication. In Lecture Notes in Artificial Intelligence n. 1321: Advances in Artificial Intelligence, pages 48-59. Springer Verlag, Berlin, 1997. (PostScript)

  211. L. Ardissono, G. Boella, and L. Lesmo. A plan-based formalism to express knowledge about actions. In Proc. 4th ModelAge Workshop: Formal Models of Agents, pages 255-268, Pontignano, Italy, 1997. (PostScript)

  212. L. Ardissono, C. Barbero, G. Boella, A. Goy, L. Lesmo, V. Lombardo, P. Rizzo, and D. Sestero. Verso una ``comprensione'' del linguaggio. In Proc. 5th Convegno AI*IA, pages 9-13, Napoli, 1996.

  213. L. Ardissono, G. Boella, L. Lesmo, P. Rizzo, and D. Sestero. Piani per un'architettura di agente bdi. In Proc. 5th Convegno AI*IA, pages 273-276, Napoli, 1996. (PostScript)

  214. L. Ardissono, G. Boella, and D. Sestero. A plan-based agent architecture for a flexible interpretation of dialogue phenomena: the case of pre-requests. In Proc. AMLaP-96 Conference: Architectures and Mechanisms for Language Processing, page 44, Torino, Italy, 1996. (PostScript)

  215. L. Ardissono, G. Boella, and D. Sestero. Using problem-solving plans in plan and goal recognition. In Secondo Workshop sulle Interfacce Intelligenti, Roma, Italy, 1996.

  216. L. Ardissono, G. Boella, and D. Sestero. Uso di piani di problem-solving nel riconoscimento di piani e obiettivi. Numero Speciale AIIA Notizie su Interfacce Intelligenti, (3):157-160, 1996. (PostScript)

  217. G. Boella. Paul grice: dati sensoriali e uso comunicativo del linguaggio. Rivista di Filosofia, 86(3):493-501, 1996.

  218. G. Boella, L. Ardissono, and L. Lesmo. Recognition of problem-solving plans in dialogue interpretation. In Proc. 5th Int. Conf. on User Modeling, pages 195-197, Kailua-Kona, Hawaii, 1996. (PostScript)

  219. L. Ardissono, G. Boella, and L. Lesmo. Indirect speech acts and politeness: A computational approach. In Proc. 17th Cognitive Science Conference, pages 316-321, Pittsburgh, 1995.
    Abstract:
    This paper describes a framework for the representation and interpretation of indirect speech acts, relating them to the politeness phenomenon, with particular attention to the case of requests. The speech acts are represented as actions of a plan library and are activated on the basis of the presence of syntactic and semantic information in the linguistic form of the input utterance. The speech act analyzer receives in input the semantic representation of the input sentence and uses the politeness indicators to climb up the decomposition and generalization hierarchies of acts encoded in the library. During this process, it eliminates the indicators and collects the negated presuppositions (represented as effects of the indirect speech act) that characterize the politeness forms. Some cyclic paths in the hierarchy allow the system to cope with complex sentences including nested politeness indicators. In the proper places of the hierarchy the semantic representation of the input sentence is converted into a domain action in order to start-up, when needed, the domain-level plan recognition process.
    . (PostScript)

  220. L. Ardissono, G. Boella, and D. Sestero. Recognizing preliminary sentences in dialogue interpretation. In Lecture Notes in Artificial Intelligence n. 992: Topics in Artificial Intelligence, pages 139-144. Springer, Berlin, 1995. (PostScript)





























    [Group's HOME] [Department's HOME]

    Last update: Feb 18, 2000