Formal semantics and communication strategies for proactive information delivery among team-based agents