This article presents a BDI-based agent-oriented programming language, called 2APL (A
Practical Agent Programming Language). This programming language facilitates the …

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 …

During the first step of practical reasoning, ie deliberation, an intelligent agent generates a
set of pursuable goals and then selects which of them he commits to achieve. An intelligent …

During the first step of practical reasoning, ie deliberation or goals selection, an intelligent
agent generates a set of pursuable goals and then selects which of them he commits to …

An important purpose of a programming language is to insulate the programmer from low
level details and provide a high enough level of abstraction to be productive and develop …

This work follow the verification as planning paradigm and propose to use model-checking
techniques to solve planning and goal reasoning problems for autonomous systems with …

We describe an abstract multilayered architecture for the organisation of robotic systems that
takes into account some of the key functionalities of existing robotic hardware and software …

In previous work we integrated goal reasoning (GR) models onboard autonomous
underwater vehicles (AUVs) and demonstrated their ability to interact with AUV control …

While AI techniques have found many successful applications in autonomous systems,
many of them permit behaviours that are difficult to interpret and may lead to uncertain …

An intelligent agent may in general pursue multiple procedural goals simultaneously, which
may lead to arise some conflicts (incompatibilities) among them. In this paper, we focus on …