Edinburgh Research Explorer
  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. A Common Type of Rigorous Proof that Resists Hilbert’s Programme

    Bundy, A. & Jamnik, M. 2019 Proof Technology in Mathematics Research and Teaching. Springer-Verlag GmbH, 11 p. (Mathematics Education in the Digital Era)

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

  4. 2018
  5. Calculating Error Bars on Inferences from Web Data

    Nuamah, K. & Bundy, A. 8 Nov 2018 SAI Intelligent Systems Conference (IntelliSys). London, United Kingdom: Springer, Cham, p. 618-640 23 p.

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

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

  7. Automated Reasoning in the Age of the Internet

    Bundy, A., Nuamah, K. & Lucas, C. 22 Aug 2018 13th International Conference on Artificial Intelligence and Symbolic Computation. Suzhou, China: Springer, Cham, Vol. LNAI 11110, p. 3-18 16 p.

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

  8. 2017
  9. 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

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

  11. Smart Machines are Not a Threat to Humanity

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

    Research output: Contribution to journalArticle

  12. Improving Dynamic Information Exchange in Emergency Response Scenarios

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

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

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

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