Declarative Agent Languages and Technologies IV