The agent paradigm is currently attracting much research. A mobile agent is a particular type of agent with the ability to migrate from one host to another where it can resume its execution. In this article we consider security issues that need to be addressed before multi-agent systems in general, and mobile agents in particular, can be a viable solution for a broad range of commercial applica...

​ Abstract Mobile agents represent a new model for network computing. Many different languages have been used to implement mobile agents. The characteristics that make a language useful for writing mobile agents are: (1) their support of agent migration, (2) their support for agent­to­agent communication, (3) how they allow agents to interact with local resources, (4) security mechanisms, (5) e...

Established protocols for coordination are essential for implementing jointaction activities among collaborating software agent. Most existing agents, however, are designed only to support static protocols, which limit their interaction domain to specific sets of agents. We develop an agent collaboration framework for open systems that enables an agent to expand its acquaintance set and to adap...

This paper addresses collaborative learning in the medical domain, focusing on the evaluation of a component specially devised to promote collaborative learning using the AMPLIA system. AMPLIA is an intelligent multi-agent environment that supports diagnostic reasoning and the modeling of diagnostic hypotheses in the medical domain. Recently it has been extended with a new component providing a...

This paper addresses collaborative learning in the medical domain. In particular, it focuses on the evaluation of a component specially devised to promote collaborative learning using AMPLIA. AMPLIA is an intelligent multi-agent environment to support diagnostic reasoning and the modeling of diagnostic hypotheses in domains with complex and uncertain knowledge, such as the medical domain. Recen...

A stable joint plan should guarantee the achievement of a designer's goal in a multi­ agent environment, while ensuring that de­ viations from the prescribed plan would be detected. We present a computational frame­ work where stable joint plans can be studied, as well as several basic results about the rep­ resentation, verification and synthesis of sta­ ble joint plans.