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...
With the current demonstrator, we present an implementation of formal argumentation that is not only able to evaluate an argument according to standard argumentation semantics, bu...