Agent Technology from a Formal Perspective | DealShopping Deutschland