Several formal trust frameworks have been introduced in the area of Multi-Agent Systems
(MASs). However, the problem of model checking trust logics is still a challenging research …

Interaction protocols play a fundamental role in multiagent systems. In this work, after
analyzing the trends that are emerging not only from research on multiagent interaction …

Several formal trust frameworks have been introduced in the area of Multi-Agent Systems
(MASs). However, the problem of model checking trust logics is still a challenging research …

We propose a diagnosis procedure that agents can use to explain exceptions to contract
executions. Contracts are expressed by social commitments associated with temporal …

Interaction protocols play a fundamental role in multi-agent systems. In this work, after
analysing the trends that are emerging not only from research on multi-agent interaction …

Trust has been the focus of many research projects, both theoretical and practical, in the
recent years, particularly in domains where open multi-agent technologies are applied (eg …

This paper studies misalignment of commitments associated with temporal constraints. We
propose a diagnosis algorithm where agents reason based on the current states of their …

Effective communication among agents in open multi-agent systems (MASs) is crucial for
their development. Agents operate autonomously within unpredictable environments …

We show an application of Assumption-Based Argumentation for reasoning about and
handling exceptions in multiagent contracts. We show that this solution enjoys interesting …

Exceptions constitute a great deal of autonomous process execution. In order to resolve an
exception, several participants should collaborate and exchange knowledge. We believe …