Learn More
Achieving joint objectives in distributed domain-independent planning problems by teams of cooperative agents requires signicant coordination and communication eorts. For systems facing a plan failure in a dynamic environment , arguably, attempts to repair the failed plan in general, and especially in the worst-case scenarios, do not straightforwardly bring(More)
—Testing and evaluation is an essential part of developing applications involving teams of humans, agents and robots. In such applications, individual algorithms cannot be reliably tested in isolation because their performance depends on complex interactions with the environment and with other humans, agents and robots involved. At the same time, testing(More)
In autonomous multirobot systems one of the concerns is how to prevent collisions between the individual robots. One approach to this problem involves finding coordinated trajectories from start to destination for all the robots and then letting the robots follow the preplanned coordinated trajectories. A widely used practical method for finding such(More)
One of the main challenges in agent-oriented programming is the design of <i>specialized programming languages</i> for single agent development. They should provide transparent interfaces to existing mainstream programming languages for easy integration with external code and legacy software. The underlying architecture of such programming languages has to(More)
Different knowledge representation tasks require different knowledge representation techniques. Agent designers should therefore be able to easily exploit benefits of various knowledge representation technologies in a single agent system. I describe here a modular agent programming language Jazzyk based on the programming framework of Behavioural State(More)
This is a short report about the first contest of Multi-Agent Systems (MASs) that are based on computational logic. The CLIMA workshop series (which started in 1999) is a forum to discuss techniques, based on computational logic, for representing, programming, and reasoning about Multi-Agent Systems in a formal way. Now in its seventh year, it was felt that(More)
The second edition of the contest on Multi-Agent Systems based on computational logic was held in conjunction with the CLIMA '06 workshop in Hakodate, Japan. Based on the experiences from the first edition of this contest ([8]), we decided to improve the setting of the first edition. In particular, we built a server to simulate the multi-agent system(More)
With the growing complexity of multi-agent applications and environments in which they are deployed, there is a need for development techniques that would allow for early testing and validation of application design and implementation. This is particularly true in cases where the developed multi-agent application is to be closely integrated with an(More)