Provability-Based Semantic Interoperability Via Translation Graphs.

@inproceedings{taylor-2007-provabilitybased, author = {Joshua Taylor and Andrew Shilliday and Selmer Bringsjord}, editor = {Jean-Luc Hainaut and Elke A. Rundensteiner and Markus Kirchberg and Michela Bertolotto and Mathias Brochhausen and Yi-Ping Phoebe Chen and Samira Si-Said Cherfi and Martin Doerr and Hyoil Han and Sven Hartmann and Jeffrey Parsons and Geert Poels and Colette Rolland and Juan Trujillo and Eric S. K. Yu and Esteban Zim\'{a}nyi}, title = {{Provability-Based Semantic Interoperability Via Translation Graphs}}, booktitle = {{Advances in Conceptual Modeling - Foundations and Applications, ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings}}, series = {Lecture Notes in Computer Science}, volume = {4802}, pages = {180--189}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76292-8_21}, doi = {https://doi.org/10.1007/978-3-540-76292-8_21} }