Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

Agent technology currently plays an important role in complex software development. The
underlying paradigm offers a large repertoire of original concepts, architectures, interaction …

The notion of an intelligent agent as an entity which appears to be the subject of mental
attitudes like beliefs, desires and intentions (hence, the BDI acronym) is well known and …

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 …

This paper presents the specification of a programming language for cognitive agents. This
programming language is an extension of 3APL (An Abstract Agent Programming …

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

In the literature on agent systems, the proactive behavior of agents is often modeled in terms
of goals that the agents pursue. We review a number of commonly-used existing goal types …

This chapter presents 3APL, which is a multi-agent programming language, and its
corresponding development platform. The 3APL language is motivated by cognitive agent …

The concept of an agent is increasingly used in contemporary software applications,
particularly those involving the Internet, autonomous systems, or cooperation. However, with …

A long and lasting problem in agent research has been to close the gap between agent
logics and agent programming frameworks. The main reason for this problem of establishing …