Peter Novák

Learn 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)
Achieving joint objectives by teams of cooperative planning agents requires significant coordination and communication efforts. For a single-agent system facing a plan failure in a dynamic environment, arguably, attempts to repair the failed plan in general do not straightforwardly bring any benefit in terms of time complexity. However, in multi-agent(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)
— In this paper, the multi-robot motion coordination planning problem is addressed. Although a centralized prioritized planning strategy can be used to solve the problem, we rather consider a decentralized variant, which is a more suitable for a robotic system of cooperating unmanned aerial vehicles (UAVs) due to communication limitations, privacy concerns,(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)
Cooperative pathfinding is a multi-agent path planning problem where a group of vehicles searches for a corresponding set of non-conflicting space-time trajectories. Many of the practical methods for centralized solving of cooperative pathfinding problems are based on the prioritized planning strategy. However, in some domains (e.g., multi-robot teams of(More)