Abstract— We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as workflow nets, to establish a protocol among mobile agents b...
Yehia Thabet Kotb, Steven S. Beauchemin, John L. B...
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa...
Coordinating the activities of distributed autonomous entities challenges traditional approaches to distributed coordination and calls for new paradigms and supporting middleware....
d to submit first an abstract (to signal your interest and contribution) and then a full paper (for review) to the workshop. All accepted papers will be published as a volume from ...
In order to maintain their performance in a dynamic environment, agents may be required to modify their learning behavior during run-time. If an agent utilizes a rule-based system...
Stephen Quirolgico, K. Canfield, Timothy W. Finin,...