Knowledge Representation and Reasoning is a central, longstanding, and active area of
Artificial Intelligence. Over the years it has evolved significantly; more recently it has been …

Abstract Knowledge Representation and Reasoning is a central, longstanding, and active
area of Artificial Intelligence. Over the years it has evolved significantly; more recently it has …

Golog is an expressive high-level agent language that includes nondeterministic operators
which allow to leave some of the decisions to be made only at execution time. This so-called …

Multi-Agent Systems (MASs) consist of a large number of entities, or agents, that cooperate
and compete with each other to reach local and global goals. Agents operate immersed in …

We investigate the synthesis of policies for high-level agent programs expressed in Golog, a
language based on situation calculus that incorporates nondeterministic programming …

We recently presented a Situation Calculus-based framework for modelling an agent who
has incomplete or inaccurate knowledge about its environments, whose actions are …

In this paper, we discuss a framework for synthesising manufacturing process controllers
using situation calculus, a well-known second-order logic for reasoning about actions in AI …

In this work, we consider the task of synthesizing an execution strategy for an agent from a
high-level description of the initial state of the world, the actions at the agent's disposal, a …