A computational system is called autonomous if it is able to make its own decisions, or take
its own actions, without human supervision or control. The capability and spread of such …

The power of norms in both human societies and sociotechnical systems arises from the
facts that (1) societal norms, including laws and policies, characterize acceptable behavior …

Research in classical planning so far has been mainly concerned with generating a
satisficing or an optimal plan. However, if such systems are used to make decisions that are …

We model a multiagent system (MAS) in socio-technical terms, combining a social layer
consisting of norms with a technical layer consisting of actions that the agents execute. This …

We conceptualize a decentralized software application as one constituted from autonomous
agents that communicate via asynchronous messaging. Modern software paradigms such …

We study monitoring of linear-time arithmetic properties against finite traces generated by an
unknown dynamic system. The monitoring state is determined by considering at once the …

Engineering a decentralized multiagent system (MAS) requires realizing interactions
modeled as a communication protocol between autonomous agents. We contribute …

We present key ethics concerns in digital health and introduce related ethics principles to
address these concerns. We propose mappings of these principles into deontic logic …

Cross-community learning incorporates data from different sources to leverage task-specific
solutions in a target community. This approach is particularly interesting for low-resource or …

This paper proposes an approach for building scalable AI applications in digital health, with
a specific focus on addressing interoperability, consent and ethics challenges. These …