Edinburgh Research Explorer

Alan Bundy

Professor

  1. 2020
  2. The Use of Max-Sat for Optimal Choice of Automated Theory Repairs

    Urbonas, M., Bundy, A., Casanova, J. & Li, X., 8 Dec 2020, Artificial Intelligence XXXVII (SGAI 2020). Bramer, M. & Ellis, R. (eds.). Springer, Cham, p. 49-63 15 p. (Lecture Notes in Computer Science; vol. 12498)(Lecture Notes in Artificial Intelligence ; vol. 12498).

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

  3. A Context Mechanism for an Inference-based Question Answering System

    Nuamah, K. & Bundy, A., 3 Dec 2020, (Accepted/In press) AAAI Workshop on Commonsense Knowledge Graphs. 8 p.

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

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

  5. Explainable Inference in the FRANK Query Answering System

    Nuamah, K. & Bundy, A., 8 Sep 2020, ECAI 2020. IOS Press, p. 2441 - 2448 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).

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

  6. 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)peer-review

  7. 2019
  8. 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)peer-review

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

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

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

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

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

  15. 2017
  16. 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 journalArticlepeer-review

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

  18. 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 reviewpeer-review

  19. 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 journalArticlepeer-review

  20. 2016
  21. 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 journalArticlepeer-review

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

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

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

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

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

    Research output: Working paper

  26. 2015
  27. Could a Computer Create its Own Representations?

    Bundy, A., 5 Dec 2015. 2 p.

    Research output: Contribution to conferencePaperpeer-review

  28. Getting to know your Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit

    Gkaniatsou, A., McNeill, F., Bundy, A., Steel, G., Focardi, R. & Bozzato, C., 5 Dec 2015, ACSAC 2015 Proceedings of the 31st Annual Computer Security Applications Conference. New York: ACM, p. 441-450 10 p.

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

  29. Creating a new Generation of Computational Thinkers

    Scott, J. & Bundy, A., Dec 2015, In: Communications of the ACM. 58, 12, p. 37-40 4 p.

    Research output: Contribution to journalEditorial

  30. The Theory Behind TheoryMine

    Bundy, A., McCasland, R., Cavallo, F., Dixon, L. & Johansson, M., Jul 2015, In: IEEE Intelligent Systems. 30, 4, p. 64-69 6 p.

    Research output: Contribution to journalArticlepeer-review

  31. Using Rich Inference to Find Novel Answers to Questions

    Nuamah, K., Bundy, A. & Lucas, C., 22 May 2015, 3rd International Essence Workshop: Algorithms for Processing Meaning. 7 p.

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

  32. Anchoring Knowledge in Interaction: Towards a harmonic subsymbolic/symbolic framework and architecture of computational cognition

    Besold, T. R., Kuehnberger, K-U., Garcez, A. DA., Saffiotti, A., Fischer, M. & Bundy, A., 2015, Artificial General Intelligence: 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings. Springer International Publishing, p. 35-45 11 p. (Lecture Notes in Computer Science; vol. 9205).

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

  33. Automating change of representation for proofs in discrete mathematics

    Raggi, D., Bundy, A., Grov, G. & Pease, A., 2015, Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.. Springer International Publishing, p. 227-242 16 p. (Lecture Notes in Computer Science; vol. 9150).

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

  34. 2014
  35. Automating inductive proof

    Bundy, A., 9 Jul 2014, Perspectives on Induction: Special session of the Logic Colloquium at the Vienna Summer of Logic. Baaz, M. & Hetzl, S. (eds.). Vienna, Austria: Vienna Summer of Logic, p. 19 1 p.

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

  36. Dynamic data sharing for facilitating communication during emergency responses

    McNeill, F., Gkaniatsou, A. & Bundy, A., 1 May 2014, ISCRAM 2014 Conference Proceedings - 11th International Conference on Information Systems for Crisis Response and Management. Hiltz, S. R., Pfaff, M. S., Plotnick, L. & Shih, P. C. (eds.). University Park, PA: Pennsylvania State University Press, p. 369-373 5 p.

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

  37. Dynamic Data Sharing from Large Data Sources

    McNeill, F., Gkaniatsou, A. & Bundy, A., 2014, Proceedings of the 11th International ISCRAM Conference. 7 p.

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

  38. 2013
  39. A Higher-Order Approach to Ontology Evolution in Physics

    Lehmann, J., Chan, M. & Bundy, A., Dec 2013, In: Journal on Data Semantics. 2, 4, p. 163-187 25 p.

    Research output: Contribution to journalArticlepeer-review

  40. European Collaboration on Automated Reasoning

    Bundy, A., 22 Nov 2013, In: AI Communications. 27, 1, p. 25-35 11 p.

    Research output: Contribution to journalArticlepeer-review

  41. Solving Guesstimation Problems Using the Semantic Web: Four Lessons from an Application

    Bundy, A., Sasnauskas, G. & Chan, M., 10 Oct 2013, In: Semantic Web. p. 1-14 14 p.

    Research output: Contribution to journalArticlepeer-review

  42. The interaction of representation and reasoning

    Bundy, A., 8 Sep 2013, In: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 469, 2157, 20130194.

    Research output: Contribution to journalArticlepeer-review

  43. 2012
  44. Meaning less

    Bundy, A., 19 Oct 2012, In: New Scientist. 216, 2887, p. 31

    Research output: Contribution to journalArticlepeer-review

  45. Reasoning with Context in the Semantic Web

    Lehmann, J. (ed.), Varzinczak, I. J. (ed.) & Bundy, A. (ed.), Apr 2012, In: Journal of Web Semantics. 12-13

    Research output: Contribution to journalSpecial issuepeer-review

  46. Reasoning about representations in autonomous systems: what Pólya and Lakatos have to say

    Bundy, A., 2012, The Complex Mind: An Interdisciplinary Approach. McFarland, D., Stenning, K. & McGonigle-Chalmers, M. (eds.). Palgrave Macmillan, p. 167-183 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  47. Review of "Computational logic and human thinking: How to be artificially intelligent" by Robert Kowalski

    Bundy, A., 2012, In: Artificial Intelligence. 191-192, p. 96-97 2 p.

    Research output: Contribution to journalBook/Film/Article reviewpeer-review

  48. Scheme-based theorem discovery and concept invention

    Montano-Rivas, O., McCasland, R., Dixon, L. & Bundy, A., 2012, In: Expert Systems with Applications. 39, 2, p. 1637-1646 10 p.

    Research output: Contribution to journalArticlepeer-review

  49. The Use of Rippling to Automate Event-B Invariant Preservation Proofs

    Lin, Y., Bundy, A. & Grov, G., 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. & Person, S. (eds.). Springer-Verlag GmbH, p. 231-236 6 p. (Lecture Notes in Computer Science; vol. 7226).

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

  50. Towards the Automatic Detection and Correction of Errors in Automatically Constructed Ontologies

    Gkaniatsou, A., Bundy, A. & McNeill, F., 2012, 8th International Conference on Signal Image Technology and Internet Based Systems. Institute of Electrical and Electronics Engineers (IEEE), p. 860-867 8 p.

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

  51. 2011
  52. Conjecture Synthesis for Inductive Theories

    Johansson, M., Dixon, L. & Bundy, A., Oct 2011, In: Journal of Automated Reasoning. 47, 3, p. 251-289 39 p.

    Research output: Contribution to journalArticlepeer-review

  53. Mechanical cheat

    Bundy, A., 22 Jul 2011, In: New Scientist. 211, 2822, p. 26

    Research output: Contribution to journalArticlepeer-review

  54. Automated theorem provers: a practical tool for the working mathematician?

    Bundy, A., Jan 2011, In: Annals of Mathematics and Artificial Intelligence. 61, 1, p. 3-14 12 p.

    Research output: Contribution to journalArticlepeer-review

  55. Evolution of Inconsistent Ontologies in Physics

    Lehmann, J., Bundy, A. & Chan, M., 2011, Proceedings of the Symposium on Inconsistency Robustness 2011. 26 p.

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

  56. GALILEO: A System for Automating Ontology Evolution

    Chan, M., Lehmann, J. & Bundy, A., 2011, Notes of the IJCAI-11 Workshop ARCOE-11. 5 p.

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

  57. On the Evolution of Classifications

    Bundy, A., 2011, Notes of the IJCAI-11 Workshop ARCOE-11. 6 p.

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

  58. Productive Use of Failure in Top-down Formal Methods

    Bundy, A., Grov, G. & Lin, Y., 2011, In Proceedings of 18th Automated Reasoning Workshop. p. 13-14 2 p.

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

  59. Towards a Theory of Diagnosis of Faulty Ontologies

    Bundy, A., 2011, Proceedings of the IJCAI-11 Workshop on Discovering Meaning on the Go in Large Heterogeneous Data 2011 (LHD-11). p. 14-18 5 p.

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

  60. 2010
  61. Harnessing the power of folksonomies for formal ontology matching on the fly

    Togia, T., McNeill, F. & Bundy, A., 1 Nov 2010, Proceedings of the ISWC workshop on Ontology Matching. 2 p.

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

Previous 1 2 3 4 5 6 7 Next