Peter Novák

Learn More
Achieving joint objectives in distributed domain-independent planning problems by teams of cooperative agents requires signi cant coordination and communication e orts. 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(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)
The Multi-Agent Programming Contest is an annual international event on programming multi-agent systems: Teams of agents participate in a simulated cooperative scenario. It started in 2005 and is organised in 2010 for the sixth time. The contest is an attempt to stimulate research in the area of multi-agent system development and programming by (i)(More)
AgentSpeak(L), together with its implementation Jason, is one of the most influential agent-oriented programming languages. Besides having a strong conceptual influence on the niche of BDI-inspired agent programming systems, Jason also serves as one of the primary tools for education of and experimentation with agent-oriented programming. Despite its(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)
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)