Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
We demonstrate how multiagent systems provide useful control techniques for modular self-reconfigurable (metamorphic) robots. Such robots consist of many modules that can move rel...
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
Abstract. This paper introduces a novel framework for designing multiagent systems, called “Distributed Agent Evolution with Dynamic Adaptation to Local Unexpected Scenarios” (...
Suranga Hettiarachchi, William M. Spears, Derek Gr...
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...