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

This paper is based on the tutorial given as part of the tutorial programme of CLIMA-VI. The
tutorial aimed at giving an overview of the various features available in Jason, a multi-agent …

A computational system is called autonomous if it is able to make its own decisions, or take
its own actions, without human supervision or control. The capability and spread of such …

This paper gives an overview of our recent work on an approach to verifying multi-agent
programs. We automatically translate multi-agent systems programmed in the logic-based …

This chapter describes Jason, an interpreter written in Java for an extended version of
AgentSpeak, a logic-based agent-oriented programming language that is suitable for the …

This collection represents the primary reference work for researchers and students in the
area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to …

We present a methodology for the verification of multi-agent systems, whose properties are
specified by means of a modal logic that includes a temporal, an epistemic, and a modal …

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

This paper introduces the multiagent protocols (MAP) Web service choreography language
and demonstrates how service choreographies can be specified, verified, and enacted with …

Research on agent communication languages has typically taken the speech acts paradigm
as its starting point. Despite their manifest attractions, speech-act models of communication …