Edinburgh Research Explorer

Alan Bundy

Professor

  1. 2020
  2. Using Domain Lexicon and Grammar for Ontology Matching

    Quesada Real, F., Bella, G., Mcneill, F. & Bundy, A., 3 Nov 2020, Proceedings of the Fifteenth International Workshop on Ontology Matching. CEUR-WS.org, 12 p.

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

  3. The Use of Max-Sat for Optimal Choice of Automated Theory Repairs

    Urbonas, M., Bundy, A., Casanova, J. & Li, X., 1 Sep 2020, (Accepted/In press) Proceedings of the Fortieth SGAI International Conference on Artificial Intelligence (AI 2020). Springer, Cham, 14 p.

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

  4. The History of the DReaM Group

    Bundy, A., 7 Jun 2020, (Accepted/In press) 45 Years of Automated Reasoning. Michaelson, G. (ed.). Springer-Verlag GmbH, 34 p.

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

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

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

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

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

  11. Facilitating Interaction Between Virtual Agents through Negotiation over Ontological Representation

    McNeill, F. & Bundy, A., 1 Nov 2018, Advanced Methodologies and Technologies in Digital Marketing and Entrepreneurship. IGI Global, p. 143-154 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  13. 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. LNCS 11110. p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 11110).

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

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