Declarative Agent Languages And Technologies Vi