We introduce ATLEA, a novel extension of Alternating-time Temporal Logic with explicit actions in the object language. ATLEA allows to reason about abilities of agents under commitments to play certain actions. Preand postconditions as well as availability and unavailability of actions can be expressed. We show that the multiagent extension of Reiter’s solution to the frame problem can be encod...

In this paper we introduce an object-oriented coordination language for multi-agents systems. The beliefs and reasoning capabilities of an agent are specified in terms of a corresponding abstract data type. Agents interact via an extension of the usual object-oriented message passing mechanism. This extension provides the autonomy that is required of agents but which objects in most object-orie...

We propose a new representation setting for hedonic games, where each agent partitions the set of other agents into friends, enemies, and neutral agents, with friends and enemies being ranked. Under the assumption that preferences are monotonic (respectively, antimonotonic) with respect to the addition of friends (respectively, enemies), we propose a bipolar extension of the Bossong–Schweigert ...

We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony: the computation takes a bounded period of time and is measured by a discrete global clock. Action prefixing is then considered as the syntactic marker which distinguishes a time instant from the next one. Supported by soft constraints instead of crisp ...

We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony: the computation takes a bounded period of time and is measured by a discrete global clock. Action prefixing is then considered as the syntactic marker which distinguishes a time instant from the next one. Supported by soft constraints instead of crisp ...

The tremendous potential of biologic drugs is hampered by short half-lives in vivo, resulting in significantly lower potency than activity seen in vitro. These short-acting therapeutic agents require frequent dosing profiles that can reduce applicability to the clinic, particularly for chronic conditions. Therefore, half-life extension technologies are entering the clinic to enable improved or ...

We studied how communication evolves in a genetic based Multi-Agent System using an Adapted Pittsburgh style Classifier System. This work is an extension of a Minimal Model of Communication which consists in making two agents communicating through a medium of communication and playing a naming game with a limited number of situations to recognize. We complexify that model by increasing both the...

We propose an extension of the study of imitation in artefacts in which imitation takes place at the populationlevel. Instead of assuming a one-to-one teacher-student relation between agents, agents in our set-up take on no particular role and have to build up a repertoire of actions through imitative interaction with all other agents in the population. This allows us to study the sufficient an...

We consider a decentralized setting in which agents exchange data along with usage policies. Agents may violate the policies, although later on auditing authorities may verify the agents’ accountability with respect to the used data. Using (provably secure) time-stamping and signature schemes, we design and analyze an efficient cryptographic protocol that generates the sufficient communication ...

This paper examines the major issues and modes of interactions between a small number of agents, outlines the extension of these concepts to inter-groups, and points to promising directions of research that are useful in modeling dynamic organizations of agents.