Knowledge Sharing Effort of the Logic Group at Stanford University Describes efforts to automate the interoperation of agents using knowledge sharing languages. http://logic.stanford.edu/sharing/knowledge.html