Edinburgh Research Explorer

The Use of Embeddings to provide a Clean Separation of Term and Annotation for Higher Order Rippling

Research output: Contribution to journalArticle

Standard

The Use of Embeddings to provide a Clean Separation of Term and Annotation for Higher Order Rippling. / Dennis, Louise Abigail; Smaill, Alan; Green, Ian.

In: Journal of Automated Reasoning, Vol. 47, No. 1, 06.2011, p. 57-105.

Research output: Contribution to journalArticle

Harvard

Dennis, LA, Smaill, A & Green, I 2011, 'The Use of Embeddings to provide a Clean Separation of Term and Annotation for Higher Order Rippling', Journal of Automated Reasoning, vol. 47, no. 1, pp. 57-105. https://doi.org/10.1007/s10817-010-9177-y

APA

Dennis, L. A., Smaill, A., & Green, I. (2011). The Use of Embeddings to provide a Clean Separation of Term and Annotation for Higher Order Rippling. Journal of Automated Reasoning, 47(1), 57-105. https://doi.org/10.1007/s10817-010-9177-y

Vancouver

Dennis LA, Smaill A, Green I. The Use of Embeddings to provide a Clean Separation of Term and Annotation for Higher Order Rippling. Journal of Automated Reasoning. 2011 Jun;47(1):57-105. https://doi.org/10.1007/s10817-010-9177-y

Author

Dennis, Louise Abigail ; Smaill, Alan ; Green, Ian. / The Use of Embeddings to provide a Clean Separation of Term and Annotation for Higher Order Rippling. In: Journal of Automated Reasoning. 2011 ; Vol. 47, No. 1. pp. 57-105.