Title: Declarative Agent Languages and Technologies IV