Edinburgh Research Explorer

Dr Ewen Maclean

(Former employee or visitor)

  1. 2019
  2. Automating Event-B invariant proofs by rippling and proof patching

    Lin, Y., Bundy, A., Grov, G. & Maclean, E., 2 Jan 2019, In : Formal Aspects of Computing. p. 1-35 35 p.

    Research output: Contribution to journalArticle

  3. 2016
  4. The Use of Reformation to Repair Faulty Analogical Blends

    Bundy, A. & Maclean, E., 14 Apr 2016, UK Ontology Network 2016. Newcastle, 1 p.

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

  5. 2015
  6. ASP, Amalgamation and the Conceptual Blending Workflow

    Eppe, M., Maclean, E., Confalonieri, R., Kutz, O., Schorlemmer, M. & Plaza, E., 2015, Logic Programming and Nonmonotonic Reasoning: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. Springer International Publishing, p. 309-316 8 p. (Lecture Notes in Computer Science; vol. 9345)

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

  7. Computational Invention of Cadences and Chord Progressions by Conceptual Chord-blending

    Eppe, M., Confalonieri, R., Maclean, E., Kaliakatsos, M., Cambouropoulos, E., Schorlemmer, M., Codescu, M. & Kuehnberger, K-U., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015). The AAAI Press, 7 p.

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

  8. The Search for Computational Intelligence

    Corneli, J. & Maclean, E., 2015, Annual Convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour (SSAISB 2015). 8 p.

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

  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. Proof automation for functional correctness in separation logic

    Maclean, E., Ireland, A. & Grov, G., May 2014, In : Journal of Logic and Computation. 35 p.

    Research output: Contribution to journalArticle

  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. Proof-Pattern Recognition and Lemma Discovery in ACL2

    Heras, J., Komendantskaya, E., Johansson, M. & Maclean, E., 1 Aug 2013, Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. Springer Berlin Heidelberg, p. 389-406 18 p. (Lecture Notes in Computer Science; vol. 8312)

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

  15. 2012
  16. Refinement and Term Synthesis in Loop Invariant Generation

    Maclean, E., Ireland, A., Dixon, L. & Atkey, R., 2012, WING 2010. Voronkov, A., Kovacs, L. & Bjorner, N. (eds.). EasyChair, p. 167-182 16 p. (EPiC Series; vol. 1)

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

Previous 1 2 Next