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.