We consider the extension of non-monotonic preference logic with the distinction between controllable (or endogenous) and uncontrollable (or exogenous) variables, which can be used for example in agent decision making and deliberation. We assume that the agent is optimistic about its own controllables and pessimistic about its uncontrollables, and we study ways to merge these two distinct dimen...

This paper introduces a multiagent system, MAGES, which is used as a testbed for experimenting with different types of interactions between agents using heterogeneous architectures and behavior. This testbed is implemented as an extension of ACTALK, a generic actor language defined in SMALLTALK. It provides for : the ability to describe various agent architectures through a hierarchy of agent t...

This paper shows how cryptographic protocols for mobile agent data integrity properties can be formally specified by using spi calculus, an extension of calculus with cryptographic properties. In particular, by means of a case study, it is shown how a specification technique initially conceived only for classical cryptographic protocols can be used in the context of mobile agents as well. Our c...

In this paper we introduce the paradigm of multi-agent causal models (MACM), which are an extension of causal graphical models to a setting where there is no longer one single computational entity (agent) observing or not observing all the domain variables V. Instead there are several agents each having access to non-disjoint subsets of V. The incentive for introducing cooperative multiagent mo...

Cooperative Intelligent Transportation Systems (C-ITS) are complex systems well-suited to a multi-agent modeling. We propose a multi-agent based modeling of a C-ITS, that couples 3 dynamics (physical, informational and control dynamics) in order to ensure a smooth cooperation between non cooperative and cooperative vehicles, that communicate with each other (V2V communication) and the infrastru...

This article presents an extension to classical planning techniques that facilitates their use in dynamic multi-agent domains. The approach augments an integrated model of plan generation, execution and repair with two additional capabilities. The first is a general approach to multi-agent reasoning that allows an agent to reason about the plans of other agents and alter its planning behavior b...

We introduce a resource adaptive agent mechanism which supports the user in interactive theorem proving. The mechanism, an extension of [4], uses a two layered architecture of agent societies to suggest appropriate commands together with possible command argument instantiations. Experiments with this approach show that its e ectiveness can be further improved by introducing a resource concept. ...

Shoham, Y., Agent-oriented programming, Artificial Intelligence 60 (1993) 51-92. A new computational framework is presented, called agent-oriented programming (AOP), which can be viewed as a specialization of object-oriented programming. The state of an agent consists of components such as beliefs, decisions, capabilities, and obligations; for this reason the state of an agent is called its men...

Second Life is a multi-purpose online virtual world that provides a rich platform for remote human interaction. It is increasingly being used as a simulation platform to model complex human interactions in diverse areas, as well as to simulate multi-agent systems. It would therefore be beneficial to provide techniques allowing high-level agent development tools, especially cognitive agent platf...

As the second generation of electronic commerce, the framework of the agent based commerce is proposed. Since the communication messages and solution methods of agents are significantly influenced by the contract type, we have defined the grammar of contracts first. By using this generalized contract grammar, we can express new creative contract types as well as traditional ones like bids and a...