17 found
Sort by:
Disambiguations:
Guido Boella [15]G. Boella [2]
  1. Gabriella Pigozzi, G. Boella, C. Costa Pereirdaa, A. Tettamanzi & and Leon van der Torre, Choosing Your Beliefs.
    This paper presents and discusses a novel approach to indeterministic belief revision. An indeterministic belief revision operator assumes that, when an agent is confronted with a new piece of information, it can revise its belief sets in more than one way. We define a rational agent not only in terms of what it believes but also of what it desires and wants to achieve. Hence, we propose that the agent’s goals play a role in the choice of (possibly) one of (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Marija Slavkovik & Guido Boella (2012). Recognition-Primed Group Decisions Via Judgement Aggregation. Synthese 189 (S1):51-65.
    We introduce a conceptual model for reaching group decisions. Our model extends a well-known, single-agent cognitive model, the recognition-primed decision (RPD) model. The RPD model includes a recognition phase and an evaluation phase. Group extensions of the RPD model, applicable to a group of RPD agents, have been considered in the literature, however the proposed models do not formalize how distributed and possibly inconsistent information can be combined in either phase. We show how such information can be utilized by aggregating (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Guillaume Aucher, Guido Boella & Leendert Torre (2011). A Dynamic Logic for Privacy Compliance. Artificial Intelligence and Law 19 (2-3):187-231.
    Knowledge based privacy policies are more declarative than traditional action based ones, because they specify only what is permitted or forbidden to know, and leave the derivation of the permitted actions to a security monitor. This inference problem is already non trivial with a static privacy policy, and becomes challenging when privacy policies can change over time. We therefore introduce a dynamic modal logic that permits not only to reason about permitted and forbidden knowledge to derive the permitted actions, but (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Guillaume Aucher, Guido Boella & Leendert van der Torre (2011). A Dynamic Logic for Privacy Compliance. Artificial Intelligence and Law 19 (2-3):187-231.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Steve Barker, Guido Boella, Dov M. Gabbay & Valerio Genovese (2009). A Meta-Model of Access Control in a Fibred Security Language. Studia Logica 92 (3):437 - 477.
    The issue of representing access control requirements continues to demand significant attention. The focus of researchers has traditionally been on developing particular access control models and policy specification languages for particular applications. However, this approach has resulted in an unnecessary surfeit of models and languages. In contrast, we describe a general access control model and a logic-based specification language from which both existing and novel access control models may be derived as particular cases and from which several approaches can be (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. G. Boella, D. M. Gabbay, L. van der Torre & S. Villata (2009). Argumentation Modelling of the Toulmin Scheme. Studia Logica 93 (2-3):297-354.
     
    My bibliography  
     
    Export citation  
  7. Guido Boella, Dov M. Gabbay, Valerio Genovese & Leendert Van Der Torre (2009). Fibred Security Language. Studia Logica 92 (3):395 - 436.
    We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language (both for classical and intuitionistic fragment), we then prove that in order (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Guido Boella, Dov M. Gabbay, Valerio Genovese & Leendert van der Torre (2009). Fibred Security Language. Studia Logica 92 (3):395-436.
    We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language both for classical and intuitionistic fragment), we then prove that in order (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Guido Boella, Dov M. Gabbay, Leendert van der Torre & Serena Villata (2009). Meta-Argumentation Modelling I: Methodology and Techniques. Studia Logica 93 (2/3):297 - 355.
    In this paper, we introduce the methodology and techniques of metaargumentation to model argumentation. The methodology of meta-argumentation instantiates Dung's abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung's basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung's theory of abstract argumentation to itself, by instantiating Dung's abstract arguments with meta-arguments using a technique called flattening. (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Guido Boella, Dov M. Gabbay, Leendert van der Torre & Serena Villata (2009). Meta-Argumentation Modelling I: Methodology and Techniques. [REVIEW] Studia Logica 93 (2-3):297-355.
    In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Guido Boella & Leendert van der Torre (2008). Institutions with a Hierarchy of Authorities in Distributed Dynamic Environments. Artificial Intelligence and Law 16 (1):53-71.
    A single global authority is not sufficient to regulate heterogenous agents in multiagent systems based on distributed architectures, due to idiosyncratic local situations and to the need to regulate new issues as soon as they arise. On the one hand institutions should be structured as normative systems with a hierarchy of authorities able to cope with the dynamics of local situations, but on the other hand higher authorities should be able to delimit the autonomy of lower authorities to issue valid (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. Guido Boella, Rossana Damiano, Joris Hulstijn & Leendert van der Torre (2007). A Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments Using Roles. Applied Ontology 2 (3):217-265.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Guido Boella & Leendert van der Torre (2007). The Ontological Properties of Social Roles in Multi-Agent Systems: Definitional Dependence, Powers and Roles Playing Roles. [REVIEW] Artificial Intelligence and Law 15 (3):201-221.
    In this paper we address the problem of defining social roles in multi-agent systems. Social roles provide the basic structure of social institutions and organizations. We start from the properties attributed to roles both in the multi-agent systems and the Object Oriented community, and we use them in an ontological analysis of the notion of social role. We identify three main properties of social roles. First, they are definitionally dependent on the institution they belong to, i.e. the definition of a (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  14. Guido Boella, Leendert van der Torre & Harko Verhagen (2007). Roles, an Interdisciplinary Perspective. Applied Ontology 2 (2):81-88.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Guido Boella, Rossana Damianoa, Joris Hulstijn & Leendert van der Torre (2006). A Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments. Applied Ontology 3:1-3.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Guido Boella, Leonardo Lesmo & Rossana Damiano (2004). On the Ontological Status of Plans and Norms. Artificial Intelligence and Law 12 (4):317-357.
    This article describes an ontological model of norms. The basic assumption is that a substantial part of a legal system is grounded on the concept of agency. Since a legal system aims at regulating a society, then its goal can be achieved only by affecting the behaviour of the members of the society. We assume that a society is made up of agents (which can be individuals, institutions, software programs, etc.), that agents have beliefs, goals and preferences, and that they (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  17. Guido Boella & Leonardo Lesmo (2001). An Approach to Anaphora Based on Mental Models. In. In P. Bouquet V. Akman (ed.), Modeling and Using Context. Springer. 413--416.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation