Provability-Based Semantic Interoperability Via Translation Graphs

From Tetherless World Wiki

\begin{bibtex} @inproceedings{DBLP:conf/er/TaylorSB07,

 author    = {Joshua Taylor and
              Andrew Shilliday and
              Selmer Bringsjord},
 title     = {Provability-Based Semantic Interoperability Via Translation
              Graphs},
 booktitle = {ER Workshops},
 year      = {2007},
 pages     = {180-189},
 ee        = {http://dx.doi.org/10.1007/978-3-540-76292-8_21},
 crossref  = {DBLP:conf/er/2007w},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}