Agent Technology from a Formal Perspective [electronic resource] /