Evaluating dynamic protocols for open agent systems

We present a software system for evaluating 'dynamic' protocol specifications for open multi-agent systems, that is, specifications that are developed at design-time but may be modified at run-time by the protocol participants.

[1]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[2]  Alexander Artikis.  Dynamic protocols for open agent systems , 2009, AAMAS.

[3]  lawa Kanas,et al.  Metric Spaces , 2020, An Introduction to Functional Analysis.

[4]  Jeremy V. Pitt,et al.  Dynamic Specifications in Norm-Governed Open Computational Societies , 2006, ESAW.