Declarative Agent Languages and Technologies X - Baldoni (Springer Berlin Heidelberg, 2013)