A socio-technical system (STS) consists of an interplay of humans, organizations, and
technical systems. STSs are heterogeneous, dynamic, unpredictable, and weakly …

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 …

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

IndiGolog isaprogramming languagefor autonomousagentsthat sense their environment
anddo planning astheyoperate. Insteadof classical planning, it supports high-level program …

A fundamental feature of intelligent agents is their ability to deliberate over their goals.
Operating in an environment that may change in unpredictable ways, an agent needs to …

As research progresses, it enables multi-robot systems to be used in more and more
complex and dynamic scenarios. Hence, the question arises how different modelling and …

There has been considerable progress in both the theory and practice of agent
programming since Georgeff and Rao's seminal work on the belief-desire-intention …

Intelligent agents designed to work in complex, dynamic environments such as e-commerce
must respond robustly and flexibly to environmental and circumstantial changes, including …

Abstract The Belief-Desire-Intention (BDI) architecture is a popular framework for rational
agents, yet most verification approaches are limited to analysing qualitative properties, for …

Intelligent agent systems are often used to implement complex software systems. A key
aspect of agent systems is goals: a programmer or user defines a set of goals for an agent …