19 found
Sort by:
  1. 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  
  2. Leendert van der Torre (2010). Violation Games: A New Foundation for Deontic Logic★. Journal of Applied Non-Classical Logics 20 (4):457-477.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. 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  
  4. 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  
  5. Dov M. Gabbay & Leendert van der Torre (2009). Preface for Studia Logica Special Issue (2). Studia Logica 93 (2-3):105-108.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. 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  
  7. 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  
  8. 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  
  9. 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  
  10. 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  
  11. Jan Broersen & Leendert van der Torre (2003). John Horty, Agency and Deontic Logic. Artificial Intelligence and Law 11 (1):45-61.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Jan Broersen & Leendert van der Torre (2003). What an Agent Ought To Do. Artificial Intelligence and Law 11 (1):45-61.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. David Makinson & Leendert van der Torre (2003). Permission From an Input/Output Perspective. Journal of Philosophical Logic 32 (4):391-416.
    Input/output logics are abstract structures designed to represent conditional obligations and goals. In this paper we use them to study conditional permission. This perspective provides a clear separation of the familiar notion of negative permission from the more elusive one of positive permission. Moreover, it reveals that there are at least two kinds of positive permission. Although indistinguishable in the unconditional case, they are quite different in conditional contexts. One of them, which we call static positive permission, guides the citizen (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  14. Jan Broersen, Mehdi Dastani & Leendert van der Torre (2002). Realistic Desires. Journal of Applied Non-Classical Logics 12 (2):287-308.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Jan Broersen, Mehdi Dastani & Leendert van der Torre (2001). Formalizing No Wishful Thinking. Journal of Applied Non-Classical Logics 11 (3-4).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. David Makinson & Leendert van der Torre (2001). Constraints for Input/Output Logics. Journal of Philosophical Logic 30 (2):155-185.
    In a previous paper we developed a general theory of input/output logics. These are operations resembling inference, but where inputs need not be included among outputs, and outputs need not be reusable as inputs. In the present paper we study what happens when they are constrained to render output consistent with input. This is of interest for deontic logic, where it provides a manner of handling contrary-to-duty obligations. Our procedure is to constrain the set of generators of the input/output system, (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  17. David Makinson & Leendert van der Torre (2000). Input/Output Logics. Journal of Philosophical Logic 29 (4):383-408.
    In a range of contexts, one comes across processes resembling inference, but where input propositions are not in general included among outputs, and the operation is not in any way reversible. Examples arise in contexts of conditional obligations, goals, ideals, preferences, actions, and beliefs. Our purpose is to develop a theory of such input/output operations. Four are singled out: simple-minded, basic (making intelligent use of disjunctive inputs), simple-minded reusable (in which outputs may be recycled as inputs), and basic reusable. They (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  18. Leendert Van der Torre & Yao-Hua Tan (2000). Two-Phase Deontic Logic. Logique Et Analyse 43 (171–172):411-456.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Leendert W. N. Van Der Torre & Yao-Hua Tan (1999). Diagnosis and Decision Making in Normative Reasoning. Artificial Intelligence and Law 7 (1):51-67.
    Diagnosis theory reasons about incomplete knowledge and only considers the past. It distinguishes between violations and non-violations. Qualitative decision theory reasons about decision variables and considers the future. It distinguishes between fulfilled goals and unfulfilled goals. In this paper we formalize normative diagnoses and decisions in the special purpose formalism DIO(DE)2 as well as in extensions of the preference-based deontic logic PDL. The DIagnostic and DEcision-theoretic framework for DEontic reasoning DIO(DE)2 formalizes reasoning about violations and fulfillments, and is used to (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation