This paper presents a novel model, called TomAbd, that endows autonomous agents with
Theory of Mind capabilities. TomAbd agents are able to simulate the perspective of the world …

We consider the setting of stochastic multiagent systems modelled as stochastic multiplayer
games and formulate an automated verification framework for quantifying and reasoning …

My desire to play basketball this afternoon is merely a potential influence of my conduct this
afternoon. It must vie with my other relevant desires [...] before it is settled what I will do. In …

AI systems are bringing an augmentation of human capabilities to shape the world. They
may also drag a replacement of human conscience in large chunks of life. AI systems can be …

This article proposes an extension for the Agents and Artifacts meta-model to enable
modularization. We adopt the Belief-Desire-Intention (BDI) model of agency to represent …

Recent studies have focused on autonomous agents that select their own goals and then
select actions to achieve these goals, using online Goal Reasoning (GR). GR agents can …

We present the three-valued modal logic DBBL-BI to formally express information
transmission among ordered agents bounded by limited access to repositories and where …

Since the early days of artificial intelligence (AI), many logics have been explored as tools
for knowledge representation and reasoning. In the spirit of the Crossley Festscrift and …

Player experience (PX) evaluation has become a field of interest in the game industry.
Several manual PX techniques have been introduced to assist developers to understand …

For decades, the gentle murder paradox has been a central challenge for deontic logic. This
article investigates its millennia-old counterpart in Sanskrit philosophy: the syena …