26 found
Order:
Disambiguations:
Guido Boella [24]G. Boella [2]
  1. 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.
     
    Export citation  
     
    My bibliography   5 citations  
  2.  4
    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 (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  3.  24
    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)  
     
    Export citation  
     
    My bibliography   3 citations  
  4.  14
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  5.  1
    Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi & Leendert van der Torre (2010). The Role of Goals in Belief Selection. Logic Journal of the IGPL 18 (4):559-578.
    In this paper we consider the relation between beliefs and goals in agent theory. Beliefs play three roles in reasoning about goals: they play a role in the generation of unconditional desires from conditional ones, they play a role in adoption of desires as goals, and they play a role in the selection of plans to achieve goals. In this paper we consider the role of goals in reasoning about beliefs. Though we assume that goals do not play a role (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  29
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7.  15
    Guido Boella, Leendert van der Torre & Harko Verhagen (2007). Roles, an Interdisciplinary Perspective. Applied Ontology 2 (2):81-88.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  47
    Guillaume Aucher, Guido Boella & Leendert van der Torre (2011). A Dynamic Logic for Privacy Compliance. Artificial Intelligence and Law 19 (2-3):187-231.
  9.  48
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  13
    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 (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  2
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 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.
     
    Export citation  
     
    My bibliography   1 citation  
  13.  22
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  14.  28
    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)  
     
    Export citation  
     
    My bibliography  
  15.  1
    Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Piercarlo Rossi & Leendert van der Torre (forthcoming). Eunomos, a Legal Document and Knowledge Management System for the Web to Provide Relevant, Reliable and Up-to-Date Information on the Law. Artificial Intelligence and Law.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  28
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  5
    Guido Boella & Leonardo Lesmo (2001). An Approach to Anaphora Based on Mental Models. In P. Bouquet V. Akman (ed.), Modeling and Using Context. Springer 413--416.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  6
    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)  
     
    Export citation  
     
    My bibliography  
  19.  9
    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)  
     
    Export citation  
     
    My bibliography  
  20.  1
    Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo & Leendert van der Torre (2011). Time and Defeasibility in Fipa Acl Semantics. Journal of Applied Logic 9 (4):274-288.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  3
    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 (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  1
    Guido Boella, Luigi Sauro & Leendert van der Torre (2009). Algorithms for Finding Coalitions Exploiting a New Reciprocity Condition. Logic Journal of the IGPL 17 (3):273-297.
    We introduce a reciprocity criterion for coalition formation among goal-directed agents, which we call the indecomposable do-ut-des property. It refines an older reciprocity property, called the do-ut-des or give-to-get property by considering the fact that agents prefer to form coalitions whose components cannot be formed independently. A formal description of this property is provided as well as an analysis of algorithms and their complexity. We provide an algorithm to decide whether a coalition has the desired property, and we show that (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  23.  1
    Guido Boella, Gabriella Pigozzi & Munindar Singh (2010). Normative Multiagent Systems: Guest Editors’ Introduction. Logic Journal of the IGPL 18 (1):1-3.
    Direct download  
     
    Export citation  
     
    My bibliography  
  24. Guido Boella, Gabriella Pigozzi & Leendert van der Torre (2016). AGM Contraction and Revision of Rules. Journal of Logic, Language and Information 25 (3-4):273-297.
    In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of theories, and we replace the classical consequence operator Cn by an input/output logic. The results in this paper suggest that, in general, results from belief base dynamics can be transferred to rule base dynamics, but that a similar transfer of AGM theory change to (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. Guido Boella (1995). Paul Grice: dati sensoriali e uso comunicativo del linguaggio. Rivista di Filosofia 86 (3):493.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  26. Guido Boella & Leendert van der Torre (2008). Substantive and Procedural Norms in Normative Multiagent Systems. Journal of Applied Logic 6 (2):152-171.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography