It is claimed that, in the nascent 'Cognitive Era', intelligent systems will be trained using
machine learning techniques rather than programmed by software developers. A contrary …

Modern industrial landscapes, like Industry 4.0, pose a formidable challenge: how to
maintain high-performance levels in dynamic manufacturing environments while minimizing …

The cognitive systems literature describes many methods for problem solving and planning.
Given a goal state, these methods search for solutions that achieve the goal through …

Long-term autonomy requires autonomous systems to adapt as their capabilities no longer
perform as expected. To achieve this, a system must first be capable of detecting such …

Abstract The Belief-Desire-Intention (BDI) architecture is a popular framework for rational
agents; existing verification approaches either directly encode simplified (eg lacking features …

Agents, whether software or hardware, perceive their environment through sensors and act
using actuators, often operating in dynamic, partially observable settings. They face …

Commitments capture how an agent relates to another agent, whereas goals describe states
of the world that an agent is motivated to bring about. Commitments are elements of the …

We propose a logic-based framework to model a system whose aim is to help provide the
user with those pieces of information that are useful with respect to his/her current …

This series covers the entire research and application spectrum of intelligent systems,
including artificial intelligence, multiagent systems, and cognitive robotics. Typical texts for …

This article addresses the challenge of planning coordinated activities for a set of
autonomous agents, who coordinate according to social commitments among themselves …