Declarative Agent Languages and Technologies V - Baldoni, Matteo (Springer Berlin Heidelberg, 2020)