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. 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

  5. 2017
  6. 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

  7. 2015
  8. 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

  9. 2014
  10. 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

  11. 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

  12. 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

  13. 2013
  14. 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

  15. 2012
  16. Mathematical notation and analogy

    Smaill, A. 23 Apr 2012 Symposium on Mathematical Practice and Cognition II. Paper Presented at AISB/IACAP World Congress (30-31). p. 30-31 2 p.

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

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