Edinburgh Research Explorer
  1. 2020
  2. Explainable Inference in the FRANK Query Answering System

    Nuamah, K. & Bundy, A., 15 Jan 2020, (Accepted/In press) Proceedings of the 24th European Conference on Artificial Intelligence. 8 p.

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

  3. 2019
  4. A Common Type of Rigorous Proof that Resists Hilbert’s Programme

    Bundy, A. & Jamnik, M., 28 Oct 2019, Proof Technology in Mathematics Research and Teaching. Springer-Verlag GmbH, p. 59-71 11 p. (Mathematics Education in the Digital Era; vol. 14).

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

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

  6. 2018
  7. 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. (Advances in Intelligent Systems and Computing (AISC); vol. 869).

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

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

  9. 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. (Lecture Notes in Computer Science; vol. 11110).

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

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

  12. Improving Dynamic Information Exchange in Emergency Response Scenarios

    Quesada, F. J., McNeill, F., Bella, G. & Bundy, A., 24 May 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. 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

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

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