The study of autonomous agents has a long history in the Multiagent System and the
Semantic Web communities, with applications ranging from automating business processes …

Communication protocols are central to engineering decentralized multiagent systems.
Modern protocol languages are typically formal and address aspects of decentralization …

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

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

In the multi-agent setting, it is relevant to model group dynamics of agents, and logic has
proved a good tool to do so. We propose an epistemic logic, L-DINF-E, that allows one to …

Realizing a multiagent system involves implementing member agents who interact based on
a protocol while making decisions in a decentralized manner. Current programming models …

Chatbots are here to stay, and are going to be deployed in various application domains.
Unfortunately, amongst them, there are safety-critical ones. Thus, we need a way to …

Autonomous intelligent agents are employed in many applications upon which the life and
welfare of living beings and vital social functions may depend. Therefore, agents should be …

Current programming models for developing Internet of Things (IoT) applications are
logically centralized and ill-suited for most IoT applications. We contribute Protocols over …

A flexible communication protocol is necessary to build a decentralized multiagent system
whose member agents are not coupled to each other's decision making. Information-based …