References of "van der Torre, Leon 50003247"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailAlgorithms for tractable compliance problems
Colombo Tosatto, Silvano UL; Kelsen, Pierre UL; Ma, Qin UL et al

in Frontiers of Computer Science (2015), 9(1), 55-74

In general the problem of verifying whether a structured business process is compliant with a given set of regulations is NP-hard. The present paper focuses on identifying a tractable subset of this ... [more ▼]

In general the problem of verifying whether a structured business process is compliant with a given set of regulations is NP-hard. The present paper focuses on identifying a tractable subset of this problem, namely verifying whether a structured business process is compliant with a single global obligation. Global obligations are those whose validity spans for the entire execution of a business process. We identify two types of obligations: achievement and maintenance. In the present paper we firstly define an abstract framework capable to model the problem and secondly we define procedures and algorithms to deal with the compliance problem of checking the compliance of a structured business process with respect to a single global obligation. We show that the algorithms proposed in the paper run in polynomial time. [less ▲]

Detailed reference viewed: 169 (15 UL)
Full Text
Peer Reviewed
See detailMapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation
Humphreys, Llio UL; Santos, Cristiana; Di Caro, Luigi et al

in Proceedings of the 28th International Conference on Legal Knowledge and Information Systems (2015)

Detailed reference viewed: 127 (6 UL)
Full Text
Peer Reviewed
See detailConsistency Conditions for Beliefs and Intentions
Van Zee, Marc UL; Doder, Dragan UL; Dastani, Mehdi et al

Scientific Conference (2015)

Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief- intention database. First, we show ... [more ▼]

Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief- intention database. First, we show incompleteness of their axiomatization and we adapt their semantics and provide a complete axiomatization for it. Second, we show that Icard et al.’s definition of coherence is too weak, and we define a stronger notion of coherence us- ing our new logic [less ▲]

Detailed reference viewed: 123 (6 UL)
Full Text
Peer Reviewed
See detailReasoning on Robot Knowledge from Discrete and Asynchronous Observations
Ziafati, Pouyan UL; Elrakaiby, Yehia UL; van der Torre, Leon UL et al

in AAAI Spring Symposium 2014: Knowledge Representation and Reasoning in Robotics, Stanford, USA, 2015 (2014, March)

Robot knowledge of the world is created from discrete and asynchronous events received from its perception components. Proper representation and maintenance of robot knowledge is crucial to enable the use ... [more ▼]

Robot knowledge of the world is created from discrete and asynchronous events received from its perception components. Proper representation and maintenance of robot knowledge is crucial to enable the use of robot knowledge for planning, user-interaction, etc. This paper identifies some of the main issues related to the representation, maintenance and querying of robot knowledge based on discrete asynchronous events such as event-history management and synchronization, and introduces a language for simplifying developers’ job at making a suitable representation of robot knowledge. [less ▲]

Detailed reference viewed: 345 (42 UL)
Full Text
Peer Reviewed
See detailSing and Dance!
van der Torre, Leon UL; Parent, Xavier UL

in Sing and Dance! (2014)

Makinson and van der Torre [13] introduce a number of input/output (I/O) logics to reason about conditional norms. The key idea is to make obligations relative to a given set of conditional norms. The ... [more ▼]

Makinson and van der Torre [13] introduce a number of input/output (I/O) logics to reason about conditional norms. The key idea is to make obligations relative to a given set of conditional norms. The meaning of the normative concepts is, then, given in terms of a set of procedures yielding outputs for inputs. Using the same methodology, Stolpe[19,20] has developed some more I/O logics to include systems without the rule of weakening of the output (or principle of inheritance). We extend Stolpe’s account in two directions. First, we show how to make it support reasoning by cases−a common form of reasoning. Second, we show how to inject a new (as we call it, “aggregative”) form of cumulative transitivity, which we think is more suitable for normative reasoning. The main outcomes of the paper are soundness and completeness theorems for the proposed systems with respect to their intended semantics. [less ▲]

Detailed reference viewed: 90 (6 UL)
Full Text
Peer Reviewed
See detailSocial Interaction Based Audience Segregation for Online Social Networks.
van der Torre, Leon UL; Ahmed, Javed; Governatori, Guido et al

in Proceedings of the European Conference on Social Intelligence (2014)

Online social networking is the latest craze that has captured the attention of masses, people use these sites to communicate with their friends and family. These sites o er attractive means of social ... [more ▼]

Online social networking is the latest craze that has captured the attention of masses, people use these sites to communicate with their friends and family. These sites o er attractive means of social interac- tions and communications, but also raise privacy concerns. This paper examines user's abilities to control access to their personal information posted in online social networks. Online social networks lack common mechanism used by individuals in their real life to manage their privacy. The lack of such mechanism signi cantly a ects the level of user control over their self presentation in online social networks. In this paper, we present social interaction based audience segregation model for online so- cial networks. This model mimics real life interaction patterns and makes online social networks more privacy friendly. Our model uses type, fre- quency, and initiation factor of social interactions to calculate friendship strength. The main contribution of the model is that it considers set of all possible interactions among friends and assigns a numerical weight to each type of interaction in order to increase or decrease its contribu- tion in calculation of friendship strength based on its importance in the development of relationship ties. [less ▲]

Detailed reference viewed: 61 (4 UL)
Full Text
Peer Reviewed
See detailOn the Input/Output behavior of argumentation frameworks
Baroni, Pietro; Boella, Guido; Cerutti, Federico et al

in Artificial Intelligence (2014)

This paper tackles the fundamental questions arising when looking at argumentation frameworks as interacting components, characterized by an Input/Output behavior, rather than as isolated monolithical ... [more ▼]

This paper tackles the fundamental questions arising when looking at argumentation frameworks as interacting components, characterized by an Input/Output behavior, rather than as isolated monolithical entities. This modeling stance arises naturally in some application contexts, like multi-agent systems, but, more importantly, has a crucial impact on several general application-independent issues, like argumentation dynamics, argument summarization and explanation, incremental computation, and inter-formalism translation. Pursuing this research direction, the paper introduces a general modeling approach and provides a comprehensive set of theoretical results putting the intuitive notion of Input/Output behavior of argumentation frameworks on a solid formal ground. This is achieved by combining three main ingredients. First, several novel notions are introduced at the representation level, notably those of argumentation framework with input, of argumentation multipole, and of replacement of multipoles within a traditional argumentation framework. Second, several relevant features of argumentation semantics are identified and formally characterized. In particular, the canonical local function provides an input-aware semantics characterization and a suite of decomposability properties are introduced, concerning the correspondences between semantics outcomes at global and local level. The third ingredient glues the former ones, as it consists of the investigation of some semantics-dependent properties of the newly introduced entities, namely S-equivalence of multipoles, S-legitimacy and S-safeness of replacements, and transparency of a semantics with respect to replacements. Altogether they provide the basis and draw the limits of sound interchangeability of multipoles within traditional frameworks. The paper develops an extensive analysis of all the concepts listed above, covering seven well-known literature semantics and taking into account various, more or less constrained, ways of partitioning an argumentation framework. Diverse examples, taken from the literature, are used to illustrate the application of the results obtained and, finally, an extensive discussion of the related literature is provided. [less ▲]

Detailed reference viewed: 151 (7 UL)
Full Text
Peer Reviewed
See detailAn ASPIC-based legal argumentation framework for deontic reasoning
van der Torre, Leon UL; Villata, Serena

in Computational Models of Argument (2014)

In the last years, argumentation theory has been exploited to reason about norms, argue about enforced obligations and permissions, and establish the validity of norms seen as argumentative claims. In ... [more ▼]

In the last years, argumentation theory has been exploited to reason about norms, argue about enforced obligations and permissions, and establish the validity of norms seen as argumentative claims. In this paper, we start from the dynamic legal argumentation framework recently proposed by Prakken and Sartor, and we extend their ASPIC-based system by introducing deontic modalities, to include also normative concepts like factual and deontic detachment, and normative dynamics. Properties of the original and proposed legal argumentation system are presented and discussed, and related to deontic logic and logics of normative systems. [less ▲]

Detailed reference viewed: 66 (3 UL)
Full Text
Peer Reviewed
See detailCollective Intention Revision from a Database Perspective
Van Zee, Marc UL; Dastani, Mehdi; van der Torre, Leon UL

Scientific Conference (2014)

Detailed reference viewed: 138 (3 UL)
Full Text
Peer Reviewed
See detailCombining Regulative and Constitutive Norms in Input/Output Logic
Sun, Xin UL; van der Torre, Leon UL

in 12th International Conference on Deontic Logic and Normative Systems (2014)

Detailed reference viewed: 47 (6 UL)
Full Text
Peer Reviewed
See detailToward a Linguistic Interpretation of Deontic Paradoxes
Sun, Xin UL; Gabbay, Dov UL; Robaldo, Livio UL et al

in 12th International Conference Deontic Logic and Normative Systems (2014)

Detailed reference viewed: 129 (7 UL)
Full Text
Peer Reviewed
See detailA Critical Analysis of Legal Requirements Engineering from the Perspective of Legal Practice
Boella, Guido; Humphreys, Llio UL; Muthuri, Robert UL et al

in Seventh IEEE Workshop on Requirements Engineering and Law (2014)

This paper reviews existing approaches to representing legal knowledge for legal requirements engineering. Legal requirement methodologies are rarely developed together with legal practitioners, with the ... [more ▼]

This paper reviews existing approaches to representing legal knowledge for legal requirements engineering. Legal requirement methodologies are rarely developed together with legal practitioners, with the result that often approaches are based on a simplified view of law which prevents their acceptance by legal practitioners. In this paper, we analyse how legal practitioners build legal knowledge and possibilities for existing approaches in RELaw to mirror legal practice. [less ▲]

Detailed reference viewed: 152 (4 UL)
Full Text
Peer Reviewed
See detailEncompassing Uncertainty in Argumentation Schemes.
van der Torre, Leon UL; Baroni, Pietro; Giacomin, Massimiliano et al

in Frontiers and Connections between Argumentation Theory and Natural Language Processing 2014. (2014)

In existing literature, little attention has been paid to the problems of how the un- certainty reflected by natural language text (e.g. verbal and linguistic uncertainty) can be explicitly formulated in ... [more ▼]

In existing literature, little attention has been paid to the problems of how the un- certainty reflected by natural language text (e.g. verbal and linguistic uncertainty) can be explicitly formulated in argumentation schemes, and how argumentation schemes enriched with various types of uncertainty can be exploited to support argumentation mining and evaluation. In this paper, we focus on the first problem, and introduce some preliminary ideas about how to clas- sify and encompass uncertainty in argu- mentation schemes [less ▲]

Detailed reference viewed: 65 (4 UL)
Peer Reviewed
See detailIntuitionistic basis for IOL
Parent, Xavier UL; van der Torre, Leon UL; Gabbay, Dov M. UL

in Hansson, Sven Ove (Ed.) David Makinson's outsanding contribution to non-classical logic (2014)

Detailed reference viewed: 117 (20 UL)
Full Text
Peer Reviewed
See detailCombining Norms, Roles, Dependence and Argumentation in Agreement Technologies.
Caire, Patrice UL; van der Torre, Leon UL; Villata, Serena

in 25th Benelux Conference on Artificial Intelligence BNAIC'13. Delft, Nov. 7-8. (2013, November)

A major challenge for Agreement Technologies is the combination of existing technologies and rea- soning methods. In this paper we focus on the three core layers of the Agreement Technologies tower ... [more ▼]

A major challenge for Agreement Technologies is the combination of existing technologies and rea- soning methods. In this paper we focus on the three core layers of the Agreement Technologies tower, called Norms, Organization and Argumentation. We present a framework for arguing about agreements based on norms, roles and dependence, together with a case study from the sharing economy. [less ▲]

Detailed reference viewed: 79 (2 UL)
Full Text
Peer Reviewed
See detailCombining Norms, Roles, Dependence and Argumentation in Agreement Technologies
Caire, Patrice UL; van der Torre, Leon UL; Villata, Serena

in AAA' 13. International Workshop on Argument for Agreement and Assurance, Kanagawa, Japan, Oct. 27-28. (2013, October 27)

A major challenge for Agreement Technologies is the combination of existing technologies and rea- soning methods. In this paper we focus on the three core layers of the Agreement Technologies tower ... [more ▼]

A major challenge for Agreement Technologies is the combination of existing technologies and rea- soning methods. In this paper we focus on the three core layers of the Agreement Technologies tower, called Norms, Organization and Argumentation. We present a framework for arguing about agreements based on norms, roles and dependence, together with a case study from the sharing economy. [less ▲]

Detailed reference viewed: 58 (6 UL)
Peer Reviewed
See detailInput/output logic
Parent, Xavier UL; van der Torre, Leon UL

in van der Torre, Leon; Gabbay, Dov M.; Horty, Jeff (Eds.) et al Handbook of Deontic Logic (2013)

Detailed reference viewed: 73 (5 UL)
Full Text
Peer Reviewed
See detailArgumentation Theoretic Foundations for Abstract Dependence Networks
Caire, Patrice UL; van der Torre, Leon UL; Villata, Serena

in International Conference on Agreement Technologies, proceedings in Springer LNCS (2013)

In this paper we show how to argue about agreements based on de- pendence. First, we introduce a formal theory of arguing about agreements by instantiating Dung’s abstract theory of argumentation with ... [more ▼]

In this paper we show how to argue about agreements based on de- pendence. First, we introduce a formal theory of arguing about agreements by instantiating Dung’s abstract theory of argumentation with proposals for agree- ments represented as dependence networks. Second, we show that acceptable agreements are exchange based—satisfying the so-called do-ut-des principle— and not redundant. Third, to further decrease the number of proposals, we define a notion of minimal proposals. Roughly, all proposals can be split into a number of minimal sub-proposals such that if the proposal is acceptable, then its minimal sub-proposals are acceptable too. We show that minimal proposals satisfy the indecomposable do-ut-des property, i.e., they cannot be split into two nonempty sub-proposals with at most one shared agent. [less ▲]

Detailed reference viewed: 152 (7 UL)
Full Text
Peer Reviewed
See detailA Library for Event-Processing and Adaptable Component Interactions in Autonomous Robot Software
Ziafati, Pouyan UL; Voos, Holger UL; van der Torre, Leon UL et al

Poster (2013, May 06)

A light-weight framework-independent software library is introduced to facilitate a modular and systematic development of sensory management components for an autonomous robot. Such components are used to ... [more ▼]

A light-weight framework-independent software library is introduced to facilitate a modular and systematic development of sensory management components for an autonomous robot. Such components are used to implement complex eventprocessing tasks such as content-based filtering, integration and transformation of sensory data. In addition, they can be used as mediators to provide a number of high-level interaction mechanisms among a robot’s software components. To this end, they enable components with subscription to their events of interest, asynchronous reception of events, maintaining necessary histories of events and querying of the histories at runtime. [less ▲]

Detailed reference viewed: 143 (5 UL)