Declarative Agent Languages And Technologies door J. Leite