Up a level |
O’Donoghue, Diarmuid and Monahan, Rosemary and Grijincu, D. and Pitu, M. and Halim, F. and Rahman, F. and Abgaz, Yalemisew and Hurley, D. (2014) Creating Formal Specifications with Analogical Reasoning. PICS - Publication Series of the Institute of Cognitive Science, 1-2014. ISSN 1610-5389
Pitu, M. and Grijincu, D. and Li, P. and Saleem, A. and Monahan, Rosemary and O'Donoghue, Diarmuid (2013) Arís: Analogical Reasoning for reuse of Implementation & Specification. Proceedings of AI4FM 2013.