[Klein 91] suggests a model of conflict resolution having a hierarchy of conflicts with the most abstract conflicts at the top and most concrete conflicts at the leaves. There is a corresponding hierarchy of resolution strategies. Conflicts are matched to the most specific suitable conflict type on the hierarchy. Then the corresponding strategy on the hierarchy of resolution strategies is used to solve the conflict, probably after some specialization. If this strategy fails, a more general strategy from the hierarchy is used. An example of a general strategy is: If two plans for achieving two different agents' goals conflict then find an alternate way of achieving one goal that does not conflict with the other agent's plan for achieving its goal [Klein & Lu 91]. The SINE work has taken a small step in the direction of this model.
Lander and Lesser use the negotiated search paradigm for conflict resolution among heterogeneous and reusable expert agents in their TEAM framework[Lander & Lesser 91]. This paradigm allows agents to be both logically and implementationally heterogeneous. They also examine a limited but very efficient negotiated search strategy called linear compromise. Although SiFAs are different from the agents in Lander's model, some of the negotiation ideas from this, and similar work should apply.