Andrew Shilliday, Joshua Taylor, Micah Clark, Selmer Bringsjord. Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning. In Leo Obrst, Terry L. Janssen, Werner Ceusters, editors, Ontologies and Semantic Technologies for Intelligence [papers from the Second International Ontology for the Intelligence Community (OIC) Conference, November 28-29, 2007, Columbia, MD, USA]. Volume 213 of Frontiers in Artificial Intelligence and Applications, pages 109-128, IOS Press, 2007. [doi]
Abstract is missing.