Edinburgh Research Explorer

Dr. Alan Smaill

Senior Lecturer

  1. 2019
  2. Patterns of Design

    Corneli, J., Holland, S., Pease, A., Mulholland, P., Murray-Rust, D., Scaltsas, D. & Smaill, A., 2019, 23rd European Conference on Pattern Languages of Programs (EuroPLoP ’18). Irsee, Germany: ACM, p. 22:1-22:11 11 p. 22

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. 2018
  4. Formal Conceptual Blending in the (Co-)Invention of (Pure) Mathematics

    Gómez-Ramírez, D. D. J. & Smaill, A., 6 Oct 2018, Concept Invention: Foundations, Implementation, Social Aspects and Applications. Springer, Cham, p. 221-239 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  5. ABC Repair System for Datalog-like Theories

    Li, X., Bundy, A. & Smaill, A., Sep 2018, 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Seville, Spain: SCITEPRESS, Vol. 2, p. 335-342 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. 2017
  7. Theory blending: extended algorithmic aspects and examples

    Martinez, M., Abdel-Fattah, A. M. H., Krumnack, U., Gómez-Ramírez, D., Smaill, A., Besold, T. R., Pease, A., Schmidt, M., Guhe, M. & Kühnberger, K. U., 1 May 2017, In : Annals of Mathematics and Artificial Intelligence. 80, 1, p. 65-89 25 p.

    Research output: Contribution to journalArticle

  8. 2015
  9. The role of blending in mathematical invention

    Bou, F., Schorlemmer, M., Corneli, J., Gomez Ramirez, D., Maclean, E., Smaill, A. & Pease, A., 2015, Proceedings of the sixth international conference of computational creativity. Park City, Utah, USA, p. 55-62 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. 2014
  11. Concept invention and music: Creating novel harmonies via conceptual blending

    Cambouropoulos, E., Kaliakatsos-Papakostas, M., Kühnberger, KU., Kutz, O. & Smaill, A., Dec 2014, Proceedings of the 9th International Conference on Interdisciplinary Musicology (CIM-2014). Berlin. 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Algorithmic Aspects of Theory Blending

    Martínez, M., Krumnack, U., Smaill, A., Besold, T. R., Abdel-Fattah, A. M. H., Schmidt, M., Gust, H., Kühnberger, K-U., Guhe, M. & Pease, A., 2014, Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings. Springer International Publishing, p. 180-192 13 p. (Lecture Notes in Computer Science; vol. 8884)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Reinventing the complex numbers

    Fleuriot, J., Maclean, E., Smaill, A. & Winterstein, D., 2014, Computational Creativity, Concept Invention, and General Intelligence, Proceedings of the 3rd International Workshop C3GI@ ECAI-14. Vol. 1

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. 2013
  15. Developments in Research on Mathematical Practice and Cognition

    Pease, A., Guhe, M. & Smaill, A., 11 Apr 2013, In : Topics in Cognitive Science. 5, 2, p. 224-230 7 p.

    Research output: Contribution to journalArticle

Previous 1 2 3 4 5 6 7 8 ...10 Next