In the area of distributed problem solving we mention  [GC81] and  [SD81], that both offer an approach at distributing knowledge. The latter moreover investigates negotiation protocols for deciding issues of allocation and distributing processing. Both approaches however lack a formalized logic underlying their solutions, which is, in our opinion, undesirable from a semantical point of view.