ABSE is characterized by the commitment to some formal agent theory that reduces the complexity of anticipating the interactions of the agents for the programmer.

• Task level: Agents cooperate on problem solving
  WARREN agents plan and clone themselves
• Explicit Control level: Some agents manage problem solving state
  Conversation Manager
  Redux protocol controls backtracking, subgoaling, other dependencies
• Implicit Control level: Need guarantees on interaction properties
  Research opportunity