Edinburgh Research Explorer
  1. 2017
  2. MATHsAiD: Automated Mathematical Theory Exploration

    Bundy, A., McCasland, R. & Smith, P. Oct 2017 In : Applied Intelligence. 47, 3, p. 585-606 22 p.

    Research output: Contribution to journalArticle

  3. Improving Dynamic Information Exchange in Emergency Response Scenarios

    Quesada, F. J., McNeill, F., Bella, G. & Bundy, A. 21 May 2017 Proceedings of 14th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2017). France, 10 p.

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

  4. Review of Preparing for the Future of Artificial Intelligence"

    Bundy, A. May 2017 In : AI and Society. 32, 2, p. 285-287 4 p.

    Research output: Contribution to journalBook/Film/Article review

  5. Smart Machines are Not a Threat to Humanity

    Bundy, A. Feb 2017 In : Communications of the ACM. 60, 2, p. 40-42 3 p., 10.1145/2950042

    Research output: Contribution to journalArticle

  6. 2016
  7. Automating change of representation for proofs in discrete mathematics (extended version)

    Raggi, D., Bundy, A., Grov, G. & Pease, A. Oct 2016 In : Mathematics in Computer Science. 10, 4, p. 429–457 29 p.

    Research output: Contribution to journalArticle

  8. Functional Inferences Over Heterogeneous Data

    Nuamah, K., Bundy, A. & Lucas, C. 26 Aug 2016 Web Reasoning and Rule Systems: International Conference on Web Reasoning and Rule Systems (RR 2016). Springer International Publishing, p. 159-166 8 p. (Lecture Notes in Computer Science (LNCS); vol. 9898)

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

  9. Typed meta-interpretive learning for proof strategies

    Farquhar, C., Grov, G., Cropper, A., Muggleton, S. & Bundy, A. 13 Jul 2016 Late-breaking papers proceedings of ILP 2015 (LBP-ILP 2015). CEUR Workshop Proceedings (CEUR-WS.org), p. 1-16 16 p.

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

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

  11. Reformation: A Domain-Independent Algorithm for Theory Repair

    Bundy, A. & Mitrovic, B. 1 Feb 2016 p. 1-24 24 p.

    Research output: Working paper

  12. 2015
  13. Could a Computer Create its Own Representations?

    Bundy, A. 5 Dec 2015 2 p.

    Research output: Contribution to conferencePaper

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