It has been argued that declarative goals provide for a natural conceptual tool for designing as well as programming agents. This has given rise to various proposals for integrating declarative goals into programming languages. It is not always clear, however, how to estahblish a precise relation to logical agent theories to reason about such agents. In this paper, we propose an agent programmi...

— Agents are problem-solving entities that, thanks to characteristics such as autonomy, reactivity, proactivity and sociality, together with mobility, can be used to develop complex and distributed systems. In particular, mobility enables agents to migrate among several hosts, becoming active entities of networks. Java is today one of the most exploited languages to build mobile agent systems, ...

For logical artificial intelligence to be truly useful, its methods must scale to problems of realistic size. An interruptible algorithm enables a logical agent to act in a timely manner to the best of its knowledge, given its reasoning so far. This seems necessary to avoid analysis paralysis, trying to think of every potentiality, however unlikely, beforehand. These considerations prompt us to...

This paper presents the solution adopted by the AgentService platform in implementing a software infrastructure for mobile agents. The mobility service takes advantage of the agent model provided by the platform which offers the separation between the state of the agent and its activities. The modular architecture of the platform allows an elegant integration of the mobility service whose imple...

Agent based micro-mobility protocols such as Hierarchical Mobile IPv6 deploy special IPv6 nodes called Mobility Agents that act as an anchor point between the Mobile Node and the Home Agent providing localized mobility support. The location and the number of MAs deployed within the network can affect the performance of the protocol. This paper deals with the problem of Mobility Agent (MA) locat...

In the design of the organisation of a multiagent system the concept of role is fundamental. We informally analyse this concept through examples. Then we propose a more formal definition that can be decomposed into: the conditions that have to be satisfied to hold a role, the norms and institutional powers that apply to a role holder. Finally, we present a modal logical framework to represent t...

Mobile systems are an extreme instance of highly dynamic distributed systems; mobile applications are typically hosted by resource-constrained environments and may have to dynamically reorganise in response to unforeseeable changes of user needs, to the heterogeneity and connectivity challenges from the computational environment, as well as to changes to the execution context and physical envir...

This paper presents the fault tolerance of Mobile IP in wireless systems. Mobile IP can support wireless users with continuous network connections while changing locations. It is achieved by allocating a number of mobility agents (foreign agents and home agents) in the architecture of a wireless system. If a failure occurs in a mobility agent, the wireless users located in the coverage area of ...

LIME is a middleware supporting the development of applications that exhibit physical mobility of hosts, logical mobility of agents, or both. LIME adopts a coordination perspective inspired by work on the Linda model. The context for computation, represented in Linda by a globally accessible, persistent tuple space, is represented in LIME by transient sharing of the tuple spaces carried by each...

In recent years, various mobile middleware systems have been developed that build on top of the protocol stack provided by the underlying network operating system, to offer a set of higher level services. Common services provided include remote procedure calls, data sharing, service discovery etc. With the number of mobile devices, such as PDAs, mobile phones or smart phones increasing, as well...