Edinburgh Research Explorer
  1. 2018
  2. 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

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

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

  5. A Common Type of Rigorous Proof that Resists Hilbert’s Programme

    Bundy, A. & Jamnik, M. 2018 (Accepted/In press) 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)

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

  8. Improving Dynamic Information Exchange in Emergency Response Scenarios

    Quesada, F. J., McNeill, F., Bella, G. & Bundy, A. 21 May 2017 (Accepted/In press) 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

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

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

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

  13. 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). Aberdeen, United Kingdom: 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

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