29 found
Order:
  1.  5
    Eunomos, a Legal Document and Knowledge Management System for the Web to Provide Relevant, Reliable and Up-to-Date Information on the Law.Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Piercarlo Rossi & Leendert van der Torre - 2016 - Artificial Intelligence and Law 24 (3).
  2.  6
    The European Legal Taxonomy Syllabus: A Multi-Lingual, Multi-Level Ontology Framework to Untangle the Web of European Legal Terminology.Gianmaria Ajani, Guido Boella, Luigi di Caro, Livio Robaldo, Llio Humphreys, Sabrina Praduroux, Piercarlo Rossi & Andrea Violato - 2017 - Applied Ontology 11 (4):325-375.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  15
    The European Taxonomy Syllabus: A Multi-Lingual, Multi-Level Ontology Framework to Untangle the Web of European Legal Terminology.Gianmaria Ajani, Guido Boella, Luigi di Caro, Livio Robaldo, Llio Humphreys, Sabrina Praduroux, Piercarlo Rossi & Andrea Violato - 2016 - Applied Ontology 11 (4):325-375.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  7
    The European Taxonomy Syllabus: A Multi-Lingual, Multi-Level Ontology Framework to Untangle the Web of European Legal Terminology.Gianmaria Ajani, Guido Boella, Luigi di Caro, Livio Robaldo, Llio Humphreys, Sabrina Praduroux, Piercarlo Rossi & Andrea Violato - 2016 - Applied Ontology 11 (4):325-375.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  7
    The European Taxonomy Syllabus: A Multi-Lingual, Multi-Level Ontology Framework to Untangle the Web of European Legal Terminology.Gianmaria Ajani, Guido Boella, Luigi di Caro, Livio Robaldo, Llio Humphreys, Sabrina Praduroux, Piercarlo Rossi & Andrea Violato - 2016 - Applied Ontology 11 (4):325-375.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  20
    Meta-Argumentation Modelling I: Methodology and Techniques.Guido Boella, Dov M. Gabbay, Leendert van der Torre & Serena Villata - 2009 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  3
    Meta-Argumentation Modelling I: Methodology and Techniques.Guido Boella, Dov Gabbay, Leendert Torre & Serena Villata - 2009 - Studia Logica 93 (2):297-355.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  25
    Fibred Security Language.Guido Boella, Dov M. Gabbay, Valerio Genovese & Leendert van der Torre - 2009 - 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  
     
    Bookmark   4 citations  
  9.  6
    Fibred Security Language.Guido Boella, Dov M. Gabbay, Valerio Genovese & Leendert Van Der Torre - 2009 - 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)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  30
    Institutions with a Hierarchy of Authorities in Distributed Dynamic Environments.Guido Boella & Leendert van der Torre - 2008 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  33
    A Meta-Model of Access Control in a Fibred Security Language.Steve Barker, Guido Boella, Dov M. Gabbay & Valerio Genovese - 2009 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  18
    Roles, an Interdisciplinary Perspective.Guido Boella, Leendert van der Torre & Harko Verhagen - 2007 - Applied Ontology 2 (2):81-88.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  7
    Unsupervised and Supervised Text Similarity Systems for Automated Identification of National Implementing Measures of European Directives.Rohan Nanda, Giovanni Siragusa, Luigi Di Caro, Guido Boella, Lorenzo Grossio, Marco Gerbaudo & Francesco Costamagna - forthcoming - Artificial Intelligence and Law:1-27.
    The automated identification of national implementations of European directives by text similarity techniques has shown promising preliminary results. Previous works have proposed and utilized unsupervised lexical and semantic similarity techniques based on vector space models, latent semantic analysis and topic models. However, these techniques were evaluated on a small multilingual corpus of directives and NIMs. In this paper, we utilize word and paragraph embedding models learned by shallow neural networks from a multilingual legal corpus of European directives and national legislation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  72
    The Ontological Properties of Social Roles in Multi-Agent Systems: Definitional Dependence, Powers and Roles Playing Roles. [REVIEW]Guido Boella & Leendert van der Torre - 2007 - 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  
     
    Bookmark   2 citations  
  15.  5
    The Role of Goals in Belief Selection.Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi & Leendert van der Torre - 2010 - 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  
     
    Bookmark   2 citations  
  16.  3
    Semi-Automatic Knowledge Population in a Legal Document Management System.Guido Boella, Luigi Di Caro & Valentina Leone - forthcoming - Artificial Intelligence and Law:1-25.
    Every organization has to deal with operational risks, arising from the execution of a company’s primary business functions. In this paper, we describe a legal knowledge management system which helps users understand the meaning of legislative text and the relationship between norms. While much of the knowledge requires the input of legal experts, we focus in this article on NLP applications that semi-automate essential time-consuming and lower-skill tasks—classifying legal documents, identifying cross-references and legislative amendments, linking legal terms to the most (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. A Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments Using Roles.Guido Boella, Rossana Damiano, Joris Hulstijn & Leendert van der Torre - 2007 - Applied Ontology 2 (3):217-265.
     
    Export citation  
     
    Bookmark   1 citation  
  18.  36
    A Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments.Guido Boella, Rossana Damianoa, Joris Hulstijn & Leendert van der Torre - 2006 - Applied Ontology 3:1-3.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  50
    A Dynamic Logic for Privacy Compliance.Guillaume Aucher, Guido Boella & Leendert van der Torre - 2011 - Artificial Intelligence and Law 19 (2-3):187-231.
  20.  45
    On the Ontological Status of Plans and Norms.Guido Boella, Leonardo Lesmo & Rossana Damiano - 2004 - 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 (11 more)  
     
    Export citation  
     
    Bookmark  
  21.  27
    Recognition-Primed Group Decisions Via Judgement Aggregation.Marija Slavkovik & Guido Boella - 2012 - 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  
     
    Bookmark  
  22.  15
    A Dynamic Logic for Privacy Compliance.Guillaume Aucher, Guido Boella & Leendert Torre - 2011 - 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  
     
    Bookmark  
  23.  4
    AGM Contraction and Revision of Rules.Guido Boella, Gabriella Pigozzi & Leendert van der Torre - 2016 - 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 (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  6
    An Approach to Anaphora Based on Mental Models.Guido Boella & Leonardo Lesmo - 2001 - In P. Bouquet V. Akman (ed.), Modeling and Using Context. Springer. pp. 413--416.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  4
    Substantive and Procedural Norms in Normative Multiagent Systems.Guido Boella & Leendert van der Torre - 2008 - Journal of Applied Logic 6 (2):152-171.
  26.  3
    Time and Defeasibility in Fipa Acl Semantics.Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo & Leendert van der Torre - 2011 - Journal of Applied Logic 9 (4):274-288.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  3
    Algorithms for Finding Coalitions Exploiting a New Reciprocity Condition.Guido Boella, Luigi Sauro & Leendert van der Torre - 2009 - 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 (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  1
    Normative Multiagent Systems: Guest Editors’ Introduction.Guido Boella, Gabriella Pigozzi & Munindar Singh - 2010 - Logic Journal of the IGPL 18 (1):1-3.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Paul Grice: dati sensoriali e uso comunicativo del linguaggio.Guido Boella - 1995 - Rivista di Filosofia 86 (3):493.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark