Recently several agent architectures have been proposed that incorporate obligations. However, agent specification or verification languages that take obligations into account have received less attention. Our research question is how properties involving obligations can be specified or verified in an extension of Rao and Georgeff's B D I C T L In Section 2 we extend B D I C T L with so-called ...

This paper studies how to extend the concept of active object into a structure of agent. It rst discusses the requirements for autonomous agents that are not covered by simple active objects. We propose then the extension of the single behavior of an active object into a set of behaviors (reactive or deliberative) with a meta-behavior supervising their interactions. To make a concrete proposal ...

In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive" component and which can encompass multi-agent systems. The extension to multi-agent systems, in particular, arguably brings to LP the main benefits of object-orientation, including encapsulation. We modify an earlier abductive proof...

The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy, cooperation, and goal-oriented behavior. Mainstream object-oriented modeling techniques do not account for these agentspecific aspects. Therefore, dedicated techniques for agent-oriented modeling are required which are based on the concepts and notations of object-oriented modeling and ex...

A fundamental issue in the development of mobile agent systems is how to provide support for agent applications reliability. For some agent applications areas (such as electronic commerce or workflow) it is fundamental that mobile agent executions are fault tolerant and exhibit transactional semantics or that groups of mobile agents can coordinate their activities with the use of a reliable com...

This document gives an overview of a multi-agent system formed by a team of gold miners to compete in the Multi-Agent Programming Contest 2007 (the “gold miners” scenario). One of the main objectives has been to test and improve Jason, the interpreter for an agent programming language used to implement the MAS. Jason [2, 4] is an agent platform based on an extension of an agent-oriented program...

We are building a new communication model and discovery system which will allow agent-based intelligent spaces to interact with one another. This new infrastructure layer, called Hyperglue, coordinates agent actions at a higher level than most agent communication does, providing an interface for communication at the level of “real-world” entities such as people, places, organizations, and infor...

In recent years, agent-based systems have received considerable attention in both academics and industry. The agent-oriented paradigm can be considered a natural extension to the object-oriented (OO) paradigm. Agents differ from objects in many issues which require special modeling elements but have some similarities. Although there is a well-defined OO testing technique, agent-oriented develop...

Standard micro-founded macroeconomics starts with optimization exercises to derive the precise behavior of the representative agent and regards the macroeconomy as a homothetic enlargement of a micro agent. This paper takes a different approach and presents a new micro-foundation for Keynesian economics. The key concept is stochastic macro-equilibrium, which is a natural extension of the labor ...

The ability of omalizumab, an anti-immnoglobulin-E agent, to maintain long-term disease control in patients with moderate-to-severe allergic asthma was investigated in a 24-week double-blind extension to a 28-week core trial. During the extension, 483 of the initial 546 patients were maintained on randomised treatment and the lowest sustainable dose of beclomethasone dipropionate (BDP) as estab...