References of "van der Torre, Leon 50003247"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailDesign By Contract Deontic Design Language for Multiagent Systems
Garion, C.; van der Torre, Leon UL

in Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005 (2006)

Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obligations and benefits made ... [more ▼]

Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obligations and benefits made explicit by assertions. However, there is a gap between this theory and software engineering concepts and tools. For example, dealing with contract violations is realized by exception handlers, whereas it has been observed in the area of deontic logic in computer science that violations and exceptions are distinct concepts that should not be confused. To bridge this gap, we propose a software design language based on temporal deontic logic. Moreover, we show how preferences over the possible outcomes of a supplier can be added. We also discuss the relation between the normative stance toward systems implicit in the design by contract approach and the intentional or BDI stance popular in agent theory. [less ▲]

Detailed reference viewed: 82 (0 UL)
Full Text
Peer Reviewed
See detailA Game Theoretic Approach to Contracts in Multiagent Systems
Boella, Guido; van der Torre, Leon UL

in IEEE Transactions on Systems, Man & Cybernetics : Part C - Applications & Reviews (2006), 36(1), 6879

Contracts are used to create new interaction pos- sibilities among agents, and they therefore play an important role in the game theoretic analysis of agent interaction. We use normative multiagent ... [more ▼]

Contracts are used to create new interaction pos- sibilities among agents, and they therefore play an important role in the game theoretic analysis of agent interaction. We use normative multiagent systems to model both the contracts and the interactions. In particular, we formalize contracts as systems of regulative and constitutive norms within a larger rule-governed setting, and using recursive modelling we develop a game theory where agents make contracts. We show how agents can modify the behavior of normative systems by means of constitutive rules in the contract changing these systems, and we illustrate how agents use the game theory within contract negotiation in organizations. [less ▲]

Detailed reference viewed: 85 (0 UL)
Peer Reviewed
See detailStrengthening Admissible Coalitions
Boella, Guido; Sauro, L.; van der Torre, Leon UL

in Procs. of the 17th European Conference on Artificial Intelligence (ECAI'06) (2006)

Detailed reference viewed: 44 (0 UL)
Peer Reviewed
See detailpowerJava: ontologically founded roles in object oriented programming language
Baldoni, Matteo; Boella, Guido; van der Torre, Leon UL

in Procs. of ACM Symposium on Applied Computing (SAC'06), Track Object Oriented Programming Languages and Systems (OOPS'06) (2006)

In this paper we introduce a new view on roles in Object Oriented programming languages, based on an ontological analysis of roles. A role is always associated with an object instance playing the role and ... [more ▼]

In this paper we introduce a new view on roles in Object Oriented programming languages, based on an ontological analysis of roles. A role is always associated with an object instance playing the role and also to an object instance (its institution) which represents its context. The definition of a role depends on the definition of the institution. This property allows to endow role-players with powers that can modify the state of the institution and of the other roles defined in it. As an example, we introduce a role construct in Java, where the abolve features are interpreted as follows. Roles are implemented as classes, which can be instantiated only in presence of an instance of the player and of an instance of an institution. The definition of a class implementing a role is included in the class of the institution, the role belongs to. Powers are methods which can access private fields and methods of the institution they belong to, and of the other roles of the same institution [less ▲]

Detailed reference viewed: 32 (0 UL)
Peer Reviewed
See detailInteraction among objects via roles: sessions and affordances in powerJava
Baldoni, Matteo; Boella, Guido; van der Torre, Leon UL

in Procs. of Principles and Practice of Programming in Java (PPPJ'06) (2006)

In this paper we present a new vision in object oriented programming languages where the objects' attributes and operations depend on who is interacting with them. This vision is based on a new definition ... [more ▼]

In this paper we present a new vision in object oriented programming languages where the objects' attributes and operations depend on who is interacting with them. This vision is based on a new definition of the notion of role, which is inspired to the concept of affordance as developed in cognitive science. The current vision of objects considers attributes and operations as being objective and independent from the interaction. In contrast, in our model interaction with an object always passes through a role played by another object manipulating it. The advantage is that roles allow to define operations whose behavior changes depending on the role and the requirements it imposes, and to define session aware interaction, where the role maintains the state of the interaction with an object. Finally, we discuss how roles as affordances can be introduced in Java, building on our language powerJava. [less ▲]

Detailed reference viewed: 31 (0 UL)
Peer Reviewed
See detailAcyclic Argumentation: Attack = Conflict + Preference
Kaci, S.; van der Torre, Leon UL; Weydert, Emil UL

in Acyclic Argumentation: Attack = Conflict + Preference (2006)

Detailed reference viewed: 59 (1 UL)
Peer Reviewed
See detailMerging Rules: Preliminary Version
Booth, Richard UL; Kaci, S.; van der Torre, Leon UL

Scientific Conference (2006)

Detailed reference viewed: 40 (1 UL)
Peer Reviewed
See detailThe Roles of Roles in Agent Communication Languages
Boella, Guido; Hulstijn, J.; van der Torre, Leon UL

in Procs. of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06) (2006)

Detailed reference viewed: 86 (0 UL)