This article reviews the state-of-the-art developments in Multi-Agent Systems (MASs) and
their application to energy optimization problems. This methodology and related tools have …

Industrial Agents explains how multi-agent systems improve collaborative networks to offer
dynamic service changes, customization, improved quality and reliability, and flexible …

Abstract JADE (Java Agent Development Framework) is a software framework to make easy
the development of multi-agent applications in compliance with the FIPA specifications …

Jason is an Open Source interpreter for an extended version of AgentSpeak–a logic-based
agent-oriented programming language–written in JavaTM. It enables users to build complex …

Since a number of years agent technology is considered one of the most innovative
technologies for the development of distributed software systems. While not yet a …

Research in Multi-Agent Systems (MAS) has recently led to the development of practical
programming languages and tools that are appropriate for the implementation of such …

In this paper we describe a verification system for multi-agent programs. This is the first
comprehensive approach to the verification of programs developed using programming …

We present a verification methodology for analysing the decision-making component in
agent-based hybrid systems. Traditionally hybrid automata have been used to both …

Agents are an important technology that have the potential to take over contemporary
methods for analysing, designing, and implementing complex software. The Belief-Desire …

We describe the Gwendolen BDI (Belief, Desires and Intentions) agent programming
language. Gwendolen is implemented in the Agent Infrastructure Layer (AIL), a collection of …