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.


[EDITOR][Journal papers][Books chapters][Lecture notes][Conference papers][Workshop papers][Thesis]

EDITOR

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

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

  3. 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.

  4. 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.

  5. 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.

  6. 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.

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

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

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

  10. 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.

  11. 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.

  12. 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.

  13. 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.

    PUBLICATIONS ON INTERNATIONAL JOURNALS

    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. 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.

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

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

    5. 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.

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

    7. 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.

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

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

    10. 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.

    11. 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.

    12. 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)

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

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

    15. 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)

    16. 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)

    17. 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.

    18. 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.

    19. 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)

    20. 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.

    21. 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)

    22. 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.

    23. 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)

    24. 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.

    25. 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)

    26. 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)

    27. 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)

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

    29. 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)

    30. 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)

      PUBLICATIONS ON BOOKS

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

      2. 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.

      3. 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.

      4. 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.

      5. 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)

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

      7. 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)

      8. 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)

        PUBLICATIONS ON LECTURE NOTES

        1. 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.

        2. 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.

        3. 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.

        4. 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.

        5. 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.

        6. 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.

        7. 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.

        8. 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.

        9. 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.

        10. 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.

        11. 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.

        12. 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.

        13. 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)

        14. 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.

        15. 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.

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

        17. 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.

        18. 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)

        19. 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.

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

        21. 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.

        22. 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.

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

        24. 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)

        25. 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)

        26. 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)

        27. 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)

        28. 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)

        29. 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)

        30. 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)

        31. 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)

        32. 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)

        33. 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)

        34. 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)

          PUBLICATIONS ON CONFERENCES

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

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

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

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

          5. 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.

          6. 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.

          7. 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.

          8. 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.

          9. 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.

          10. 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.

          11. 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.

          12. 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.

          13. 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.

          14. 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.

          15. 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)

          16. 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.

          17. 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)

          18. 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.

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

          20. 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)

          21. 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.

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

          23. 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.

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

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

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

          27. 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.

          28. 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.

          29. 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)

          30. 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)

          31. 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)

          32. 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)

          33. 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)

          34. 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)

          35. 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)

          36. 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)

          37. 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)

          38. 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)

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

          40. 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)

          41. 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)

          42. 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)

          43. 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)

          44. 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)

          45. 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)

          46. 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)

            PUBLICATIONS ON WORKSHOPS

            1. 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.

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

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

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

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

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

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

            8. 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.

            9. 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.

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

            11. 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.

            12. 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.

            13. 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.

            14. 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)

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

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

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

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

            19. 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)

            20. 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)

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

            22. 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)

            23. 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)

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

            25. 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)

            26. 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)

            27. 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)

            28. 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)

            29. 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)

            30. 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)

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

            32. 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)

            33. 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)

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

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

            36. 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)

            37. 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)

            38. 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)

            39. 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)

            40. 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.

              THESIS

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





























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

                Last update: Feb 18, 2000