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

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

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

  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

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

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

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

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

  19. 2016
  20. 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

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

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

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

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

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

    Research output: Working paper

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

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

    Research output: Contribution to conferencePaper

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

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

  29. 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 journalArticle

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

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

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

  33. 2014
  34. 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

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

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

  37. 2013
  38. 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 journalArticle

  39. European Collaboration on Automated Reasoning

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

    Research output: Contribution to journalArticle

  40. 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 journalArticle

  41. 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 journalArticle

  42. 2012
  43. Meaning less

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

    Research output: Contribution to journalArticle

  44. 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 issue

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

  46. 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 review

  47. 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 journalArticle

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

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

  50. 2011
  51. 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 journalArticle

  52. Mechanical cheat

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

    Research output: Contribution to journalArticle

  53. 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 journalArticle

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

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

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

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

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

  59. 2010
  60. 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

  61. Higher-order Representation and Reasoning for Automated Ontology Evolution

    Chan, M., Lehmann, J. & Bundy, A., Oct 2010, KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development.

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

  62. Qualitative Causal Analysis of Empirical Knowledge for Ontology Evolution in Physics

    Lehmann, J., Bundy, A. & Chan, M., 16 Aug 2010, Notes of the ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution.

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

  63. A Contextual Approach to Detection of Conflicting Ontologies

    Bundy, A., Lehmann, J. & Chan, M., Aug 2010, The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution ARCOE-10. 2 p.

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

  64. Ideas for a high-level proof strategy language

    Jones, C. B., Grov, G. & Bundy, A., Jul 2010, 5th Automated Formal Methods workshop (AFM’10).

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

  65. Using linked data for semi-automatic guesstimation

    Abourbih, J., Bundy, A. & McNeill, F., Mar 2010, Proceedings of AAAI Spring Symposium Series: Linked Data Meets Artificial Intelligence. Halpin, H., Chaudhri, V. K., Brickley, D. & McGuinness, D. (eds.). AAAI Press, p. 2-7 6 p.

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

  66. A Single-Significant-Digit Calculus for Semi-Automated Guesstimation

    Abourbih, J. A., Blaney, L., Bundy, A. & McNeill, F., 2010, Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin: Springer-Verlag GmbH, p. 354-368 15 p. (Lecture Notes in Computer Science; vol. 6173).

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

  67. A small experiment in Event-B rippling

    Grov, G., Bundy, A. & Dixon, L., 2010, Proceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010.

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

  68. Case-Analysis for Rippling and Inductive Proof

    Johansson, M., Dixon, L. & Bundy, A., 2010, Interactive Theorem Proving, Series: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Kaufmann, M. & Paulson, L. C. (eds.). Springer-Verlag GmbH, p. 291-306 16 p. (Lecture Notes in Computer Science; vol. 6172).

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

  69. Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery

    Johansson, M., Dixon, L. & Bundy, A., 2010, Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Siegler, S. & Wasser, N. (eds.). Springer-Verlag, Vol. 6463. p. 102-116 15 p. (Lecture Notes in Computer Science; vol. 6463).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  70. Facilitating Virtual Interaction through Flexible Representation.

    McNeill, F. & Bundy, A., 2010, Encyclopedia of E-Business Development and Management in the Global Economy.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  71. Formalising Term Synthesis for Isacosy

    Johansson, M., Dixon, L. & Bundy, A., 2010, Workshop on Automated Mathematical Theory Exploration (Automatheo). Automatheo - IJCAR 2010

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

  72. Notes of the ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution

    Bundy, A., Lehmann, J., Qi, G. & Varzinczak, I., 2010, In : ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution.

    Research output: Contribution to journalArticle

  73. Scheme-Based Synthesis of Inductive Theories

    Montano-Rivas, O., McCasland, R., Dixon, L. & Bundy, A., 2010, Advances in Artificial Intelligence: 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I. Sidorov, G., Aguirre, A. H. & García, C. A. R. (eds.). Springer-Verlag GmbH, p. 348-361 14 p. (Lecture Notes in Computer Science; vol. 6437).

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

  74. The AI4FM approach for proof automation within formal methods

    Grov, G., Bundy, A., Jones, C. B. & Ireland, A., 2010, UKCRC Grand Challenges in Computing Research (GCCR‘10). 2 p.

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

  75. 2009
  76. On Process Equivalence = Equation Solving in CCS

    Monroy, R., Bundy, A. & Green, I., Jun 2009, In : Journal of Automated Reasoning. 43, 1, p. 53-80 28 p.

    Research output: Contribution to journalArticle

  77. An Architecture of GALILEO: A System for Automated Ontology Evolution in Physics

    Bundy, A. & Lehmann, J., 2009, The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution ARCOE-09.

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

  78. An Outline of a Proposed System that Learns from Experts How to Discharge Proof Obligations Automatically

    Bundy, A., Grov, G. & Jones, C. B., 2009, Proceedings of Dagstuhl Seminar 09381: Refinement Based Methods for the Construction of Dependable Systems. 5 p.

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

  79. Concurrent-distributed programming techniques for SAT using DPLL-stålmarck

    Sripriya, G., Bundy, A. & Smaill, A., 2009, High Performance Computing Simulation, 2009. HPCS'09. International Conference on. Institute of Electrical and Electronics Engineers (IEEE), p. 168-175 8 p.

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

  80. IsaCoSy: Synthesis of Inductive Theorems

    Johansson, M., Dixon, L. & Bundy, A., 2009, Workshop on Automated Mathematical Theory Exploration (Automatheo). 4 p.

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

  81. Learning from Experts to Aid the Automation of Proof Search.

    Bundy, A., Grov, G. & Jones, C. B., 2009, Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVOCS 2009).

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

  82. Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing

    Robertson, D., Barker, A., Besana, P., Bundy, A., Chen-Burger, Y-H., Dupplaw, D., Giunchiglia, F., van Harmelen, F., Hassan, F., Kotoulas, S., Lambert, D., Li, G., McGinnis, J., McNeill, F., Osman, N., de Pinninck, A., Siebes, R., Sierra, C. & Walton, C., 2009, Advances in Web Semantics I: Ontologies, Web Services and Applied Semantic Web. Dillon, T., Chang, E., Meersman, R. & Sycara, K. (eds.). Springer-Verlag GmbH, p. 81-129 49 p. (Lecture Notes in Computer Science; vol. 4891).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  83. Unite: A New Plan for Automated Ontology Evolution in Physics

    Bundy, A., 2009, Notes of the IJCAI-09 Workshop ARCOE-09. 3 p.

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

  84. Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic

    Dixon, L., Smaill, A. & Bundy, A., 2009, Workshop on Verification and Validation of Planning and Scheduling Systems: ICALP 2009. 10 p.

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

  85. 2008
  86. Inconstancy: An Ontology Repair Plan for Adding Hidden Variables

    Chan, M. & Bundy, A., Nov 2008, Automated Scientific Discovery: Papers from the AAAI Fall Symposium. 8 p.

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

  87. Automating Signature Evolution in Logical Theories

    Bundy, A., Jul 2008, Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Springer-Verlag GmbH, p. 333-338 6 p. (Lecture Notes in Computer Science; vol. 5144).

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

  88. Ontology Evolution in Law (Extended Abstract)

    Priddle-Higson, A., Bundy, A., McNeill, F. & Schafer, B., 2008, Workshop on Automated Reasoning Bridging the Gap between Theory and Practice 2008. p. 30-31 2 p.

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

  89. Towards Ontology Evolution in Physics

    Bundy, A. & Chan, M., 2008, Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. Springer-Verlag GmbH, Vol. 5110. p. 98-110 13 p. (Lecture Notes in Computer Science; vol. 5110).

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

  90. Why Ontology Evolution is Essential in Modelling Scientific Discovery

    Bundy, A., 2008, AAAI Symposium on Scientific Discovery. 2 p.

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

  91. 2007
  92. Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution

    McNeill, F. & Bundy, A., 1 Jul 2007, In : International Journal on Semantic Web and Information Systems. 3, 3, 35 p.

    Research output: Contribution to journalArticle

  93. Where's My Stuff? An Ontology Repair Plan

    Bundy, A., Jul 2007, Workshop on DISPROVING - Non-Theorems. CADE Inc, Vol. 4.

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

  94. Cooperating Reasoning Processes: More than Just the Sum of their Parts

    Bundy, A., Jan 2007, Proceedings of the International Joint Conference on Artificial Intelligence 2007. IJCAI Inc, Vol. 1. p. 2-11

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

  95. Automated Discovery of Inductive Theorems

    McCasland, R., Bundy, A. & Serge, A., 2007, In : Studies in Logic, Grammar and Rhetoric. 10, 23

    Research output: Contribution to journalArticle

  96. Automatic synthesis of decision procedures

    Janicic, P. & Bundy, A., 2007, Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Springer-Verlag GmbH, Vol. 4573. p. 80-93 (Lecture Notes in Computer Science; vol. 4573).

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

  97. Computational Thinking is Pervasive

    Bundy, A., 2007, In : Journal of Scientific and Practical Computing. 1, 2

    Research output: Contribution to journalArticle

  98. 2006
  99. Towards a Bell-Curve Calculus for e-Science

    Yang, L., Bundy, A., Berry, D. & Hughes, C., Sep 2006, Proceedings of the UK e-Science All Hands Meeting 2006. NeSC, Vol. 2006. 8 p.

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

  100. A Very Mathematical Dilemma

    Bundy, A., Jul 2006, In : The Computer Journal. 49, 4, p. 480-486

    Research output: Contribution to journalArticle

  101. Constructing, Selecting and Repairing Representations of Knowledge

    Bundy, A., Jul 2006, Proceedings of AI@50.

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

  102. On Repairing Reasoning Reversals via Representational Refinements

    Bundy, A., McNeill, F. & Walton, C., May 2006, Proceedings of FLAIRS 2006 (The Florida AI Research Society Conference). AAAI Press

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

  103. Representation as a Fluent: An AI Challenge for the Next Half Century

    Bundy, A. & McNeill, F., May 2006, In : IEEE Intelligent Systems. 21, 3

    Research output: Contribution to journalArticle

  104. Towards a Bell-Curve Calculus and its Application to e-Science

    Yang, L., Bundy, A., Berry, D. & Hughes, C., Mar 2006, Workshop on Grid Performability Modelling and Measurement. 12 p.

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

  105. Attacking Group Protocols by Refuting Incorrect Inductive Conjectures

    Steel, G. & Bundy, A., Jan 2006, In : Journal of Automated Reasoning. 36, 1-2, p. 149-176

    Research output: Contribution to journalArticle

  106. Ascertaining Mathematical Theorems

    McCasland, R., Bundy, A. & Smith, P., 2006, In : Electronic Notes in Theoretical Computer Science. 151, 1, p. 21-38 18 p.

    Research output: Contribution to journalArticle

  107. Best-First Rippling

    Johansson, M., Bundy, A. & Dixon, L., 2006, Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello. Stock, O. & Schaerf, M. (eds.). Springer Berlin Heidelberg, p. 83-100 18 p. (Lecture Notes in Computer Science; vol. 4155).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  108. MATHsAiD: A Mathematical Theorem Discovery Tool

    McCasland, R. L. & Bundy, A., 2006, Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC '06. Eighth International Symposium on. Institute of Electrical and Electronics Engineers (IEEE), p. 17-22 6 p.

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

  109. Merging Stories with Shallow Semantics

    McNeill, F., Halpin, H., Klein, E. & Bundy, A., 2006, Proceedings of the Workshop KRAQ'06 on Knowledge and Reasoning for Language Processing. Stroudsburg, PA, USA: Association for Computational Linguistics, p. 36-41 6 p. (KRAQ '06).

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

  110. PG Tips: A Recommender System for an Interactive Theorem Prover

    Mercer, A. E., Bundy, A., Duncan, H. & Aspinall, D., 2006, Proceedings of Mathematical User-Interfaces Workshop (MathUI’2006). p. 1-8 8 p.

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

  111. Rob Milne: A Tribute to a Pioneering AI Scientist, Entrepreneur and Mountaineer

    Bundy, A. (ed.) & Wilson, S. (ed.), 2006, IOS Press. 167 p. (Frontiers in Artificial Intelligence and Applications; vol. 139)

    Research output: Book/ReportBook

  112. 2005
  113. The Nature of Mathematical Proof

    Bundy, A. (ed.), Atiyah, M. (ed.), Macintyre, A. (ed.) & Mackenzie, D. (ed.), Oct 2005, In : Philosophical Transactions A: Mathematical, Physical and Engineering Sciences. 363, 1835

    Research output: Contribution to journalSpecial issue

  114. What is a proof?

    Bundy, A., Jamnik, M. & Fugard, A., Oct 2005, In : Philosophical Transactions A: Mathematical, Physical and Engineering Sciences. 363, 1835, p. 2377-2391

    Research output: Contribution to journalArticle

  115. Deductive Synthesis of Workflows for E-Science

    Yang, B., Bundy, A., Smaill, A. & Dixon, L., May 2005, IEEE International Symposium on Cluster Computing and the Grid, 2005. p. 168 - 175 Vol. 1

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

  116. Automatic verification of design patterns in Java

    Blewitt, A., Bundy, A. & Stark, I., 2005, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. New York, NY, USA: ACM, p. 224-232 9 p.

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

  117. Constructing Induction Rules for Deductive Synthesis Proofs

    Bundy, A., Dixon, L., Gow, J. & Fleuriot, J., 2005, Electronic Notes in Theoretical Computer Science: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering (CLASE 2005). Vol. 153. p. 3–21 (Electronic Notes in Theoretical Computer Science).

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

  118. On Predicting the Grammar of a Normal-Form

    Bundy, A., Janicic, P. & Smaill, A., 2005, PCC - Proof, Computation, Complexity International workshop 2004. 22 p.

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

  119. Planning from rich ontologies through translation betweeen representations

    McNeill, F., Bundy, A. & Walton, C., 2005, In : workshop on ‘The Role of Ontologies in Planning and Scheduling’ held in conjunction with ICAPS05.

    Research output: Contribution to journalArticle

  120. Psychological validity of schematic proofs

    Jamnik, M. & Bundy, A., 2005, Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday. Springer-Verlag GmbH, Vol. LNCS 2605. p. 321-341 (Lecture Notes in Computer Science; vol. 2605).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  121. Rippling: Meta-Level Guidance for Mathematical Reasoning

    Bundy, A., Basin, D., Hutter, D. & Ireland, A., 2005, Cambridge University Press. 216 p.

    Research output: Book/ReportBook

  122. 2004
  123. An Automatic Translator from KIF to PDDL

    McNeill, F., Bundy, A. & Walton, C., Dec 2004, Procs of PlanSIG'04.

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

  124. The Paradox of the Case Study

    Bundy, A., Sep 2004, In : Cambridge Journal of Education. 26, 2, p. 225-240

    Research output: Contribution to journalArticle

  125. Diagnosing and Repairing Ontological Mismatches

    McNeill, F., Bundy, A. & Walton, C., Jul 2004, STAIRS 2004 Proceedings of the Second Starting AI Researchers’ Symposium.

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

  126. Planning and Patching Proof

    Bundy, A., Jul 2004, Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings. Springer-Verlag GmbH, Vol. 3249. p. 26-37 (Lecture Notes in Computer Science; vol. 3249).

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

  127. Facilitating Agent Communication through Detecting, Diagnosing and Refining Ontological Mismatch

    McNeill, F., Bundy, A. & Walton, C., Jun 2004, In : Proceedings of the KR2004 Doctoral Consortium, AAAI Technical Report.

    Research output: Contribution to journalArticle

  128. An Experimental Comparison of Diagrammatic and Algebraic Logics

    Bundy, A., Gurr, C., Jamnik, M. & Winterstein, D., 2004, Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings. Springer Berlin Heidelberg, p. 432-434 3 p. (Lecture Notes in Computer Science; vol. 2980).

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

  129. Attacking Group Multicast Key Management Protocol using CORAL

    Steel, G. & Bundy, A., 2004, In : Electronic Notes in Theoretical Computer Science. 125, p. 125-144 20 p.

    Research output: Contribution to journalArticle

  130. Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures

    Steel, G., Bundy, A. & Maidl, M., 2004, Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Springer-Verlag GmbH, p. 137-151 15 p. (Lecture Notes in Computer Science; vol. 3097).

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

  131. Dr. Doodle: A diagrammatic theorem prover

    Winterstein, D., Bundy, A. & Gurr, C., 2004, Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Basin, D. & Rusinowitch, M. (eds.). Springer Berlin Heidelberg, p. 331-335 5 p. (Lecture Notes in Computer Science; vol. 3097).

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

  132. English summaries of mathematical proofs

    Alexoudi, M., Zinn, C. & Bundy, A., 2004, The IJCAR 2004 Workshop on Computer-Supported Mathematical Theory Development. p. 49-60 12 p.

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

  133. On differences between the real and physical plane

    Winterstein, D., Bundy, A. & Jamnik, M., 2004, Diagrammatic Representation and Inference. Springer Berlin Heidelberg, p. 29-31 3 p. (Lecture Notes in Computer Science; vol. 2980).

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

  134. The Use of Typed Lambda Calculus for Requirements Capture in the Domain of Ecological Modelling

    Bundy, A. & Uschold, M., 2004, (Unpublished) 24 p. (DAI Research Paper; no. 446).

    Research output: Working paper

  135. The use of data-mining for the automatic formation of tactics

    Duncan, H., Bundy, A., Levine, J., Storkey, A. & Pollet, M., 2004, Computer-Supported Mathematical Theory Development’04.

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

  136. Using Animation in Diagrammatic Theorem Proving

    Bundy, A., Gurr, C., Jamnik, M. & Winterstein, D., 2004, Proceedings for Diagrammatic Representation and Inference, 2nd International Conference, Diagrams 2002: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18–20, 2002 Proceedings. Springer Berlin Heidelberg, p. 46-60 15 p. (Lecture Notes in Computer Science; vol. 2317).

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

  137. Using the coral System to Discover Attacks on Security Protocols

    Bundy, A., 2004, Computer Systems: Theory, Technology and Applications. Herbert, A. & Sp¨arck Jones, K. (eds.). Springer-Verlag GmbH

    Research output: Chapter in Book/Report/Conference proceedingChapter

  138. 2003
  139. Plan Execution Failure Analysis Using Plan Deconstruction

    McNeill, F., Bundy, A., Walton, C. & Schorlemmer, M., Dec 2003, In : Proceedings of the 22nd UK Workshop on Planning and Scheduling, Glasgow.

    Research output: Contribution to journalArticle

  140. Attacking the Asokan-Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL

    Steel, G., Bundy, A. & Maidl, M., Oct 2003, Proceedings of 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems.

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

  141. Dynamic Ontology Refinement

    McNeill, F., Bundy, A. & Schorlemmer, M., Jun 2003.

    Research output: Contribution to conferencePaper

  142. 2002
  143. Finding Counterexamples to Inductive Conjectures and Discovering Security Protocol Attacks

    Steel, G., Bundy, A. & Denney, E., Jun 2002, Proceedings of 2002 Workshop on Foundations of Computer Security. p. 49-58 10 p.

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

  144. A General Setting for Flexibly Combining and Augmenting Decision Procedures

    Janicic, P. & Bundy, A., Jan 2002, In : Journal of Automated Reasoning. 28, 3, p. 257-305

    Research output: Contribution to journalArticle

  145. A Critique of Proof Planning

    Bundy, A., 2002, Computational Logic: Logic Programming and Beyond. Kakas, A. & Sabri, F. (eds.). Springer-Verlag GmbH

    Research output: Chapter in Book/Report/Conference proceedingChapter

  146. 2001
  147. Applying Adversarial Planning Techniques to Go

    Wilmott, S., Richardson, J., Bundy, A. & Levine, J., Feb 2001, In : Theoretical Computer Science. 252, 1-2

    Research output: Contribution to journalArticle

  148. Automatic verification of Java design patterns

    Blewitt, A., Bundy, A. & Stark, I., 2001, Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on. Institute of Electrical and Electronics Engineers (IEEE), p. 324-327 4 p.

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

  149. On the Correction of Faulty Formulae

    Monroy, R. & Bundy, A., 2001, In : Computación y Sistemas . 5, 1, p. 25-37 13 p.

    Research output: Contribution to journalArticle

  150. Solving integrals at the method level

    Heneveld, A., Maclean, E., Bundy, A., Fleuriot, J. & Smaill, A., 2001, Symbolic Computation and Automated Reasoning 2000. Kerber, M. & Kohlhase, M. (eds.). Natick, MA, USA: A. K. Peters, Ltd., p. 251-252 2 p.

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

  151. Strict General Setting for Building Decision Procedures into Theorem Provers

    Janicic, P. & Bundy, A., 2001, The 1st International Joint Conference on Automated Reasoning (IJCAR-2001) --- Short Papers. Universita degli Studi di Siena, Italia, p. 86-95 10 p.

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

  152. The Automation of Proof by Mathematical Induction

    Bundy, A., 2001, Handbook of Automated Reasoning. Robinson, A. & Boronkov, A. (eds.). Elsevier and MIT Press, p. 845-911

    Research output: Chapter in Book/Report/Conference proceedingChapter

  153. 2000
  154. Planning Proofs of Equations in CCS

    Monroy, R., Bundy, A. & Green, I., Jul 2000, In : Automated Software Engineering. 7, 3, p. 263-304

    Research output: Contribution to journalArticle

  155. An Intelligent Tutoring System for Induction Proofs

    Bundy, A., Moore, J. & Zinn, C., Jun 2000, CADE-17 Workshop on Automated Deduction in Education. p. 4-13 10 p.

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

  156. AI's greatest trends and controversies

    Simon, H. A., Bibel, W., Bundy, A., Berliner, H., Feigenbaum, E. A., Buchanan, B. G., Selfridge, O., Michie, D., Nilsson, N., Sloman, A., Waltz, D., Brooks, R., Davis, R., Shrobe, H., Boden, M. A., Michalski, R., Feldman, J., Dreyfus, H. L., Schank, R. C., Amarel, S. & 3 others, Hayes-Roth, B., Pearl, J. & McCarthy, J., 1 Jan 2000, In : IEEE Intelligent Systems and their Applications. 15, 1, p. 8-17 10 p.

    Research output: Contribution to journalArticle

  157. A Proposal for Automatic Diagrammatic Reasoning in Continuous Domains

    Winterstein, D., Bundy, A. & Jamnik, M., 2000, Theory and Application of Diagrams: First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings. Springer-Verlag GmbH, (Lecture Notes in Computer Science; vol. 1889).

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

  158. A proposal for automating diagrammatic reasoning in continuous domains

    Winterstein, D., Bundy, A. & Jamnik, M., 2000, Theory and Application of Diagrams: First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1–3, 2000 Proceedings. Springer Berlin Heidelberg, p. 286-299 14 p. (Lecture Notes in Computer Science; vol. 1889).

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

  159. Agent based cooperative theory formation in pure mathematics

    Colton, S., Bundy, A. & Walsh, T., 2000, Proceedings of AISB 2000 symposium on creative and cultural aspects and applications of AI and cognitive science. p. 11-18 8 p.

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

  160. Automatic Invention of Integer Sequences

    Colton, S., Bundy, A. & Walsh, T., 2000, Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence. AAAI Press, Vol. 17. p. 558-563 6 p.

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

  161. Automatic guidance of program synthesis proofs

    Bundy, A., 2000, (Unpublished).

    Research output: Working paperDiscussion paper

  162. Automatic identification of mathematical concepts

    Colton, S., Bundy, A. & Walsh, T., 2000, ICML '00 Proceedings of the Seventeenth International Conference on Machine Learning. Morgan Kaufmann Publishers Inc., p. 183-190 8 p.

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

  163. Cognitive Psychology Learning and Problem Solving

    Bundy, A., 2000, (Unpublished).

    Research output: Working paper

  164. Cross Domain Mathematical Concept Formation

    Steel, G., Colton, S., Bundy, A. & Walsh, T., 2000, AISB 2000.

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

  165. Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent proof Attempts

    Dennis, L., Bundy, A. & Green, I., 2000, In : Annals of Mathematics and Artificial Intelligence. 29, 1-4, p. 99-138

    Research output: Contribution to journalArticle

  166. On the Notion of Interestingness in Automated Mathematical Discovery

    Colton, S., Bundy, A. & Walsh, T., 2000, In : International Journal of Human-Computer Studies. 53, 3, p. 351–375

    Research output: Contribution to journalArticle

  167. Searching for a Solution to Program Verification=Equation Solving in CCS

    Monroy, R., Bundy, A. & Green, I., 2000, MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings. Springer-Verlag GmbH, p. 1-12 (Lecture Notes in Computer Science; vol. 1793).

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

  168. 1999
  169. An ML Editor based on Proofs-as-Programs

    Whittle, J., Bundy, A., Boulton, R. & Lowe, H., Oct 1999, Automated Software Engineering, 1999. 14th IEEE International Conference on.. p. 166 - 173

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

  170. A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers

    Bundy, A., Janicic, P. & Green, I., 1999, Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer-Verlag GmbH, p. 127-141 (Lecture Notes in Computer Science; vol. 1632).

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

  171. A Survey of Automated Deduction

    Bundy, A., 1999, Artificial Intelligence Today: Recent Trends and Developments. Wooldridge, M. J. & Veloso, M. (eds.). Springer Berlin Heidelberg, p. 153-174 22 p. (Lecture Notes in Computer Science; vol. 1600).

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

  172. An Adversarial Planning Approach to Go

    Willmott, S., Richardson, J., Bundy, A. & Levine, J., 1999, Computers and Games: First International Conference, CG’98 Tsukuba, Japan, November 11–12, 1998 Proceedings. Herik, H. J. & Iida, H. (eds.). Springer-Verlag GmbH, p. 93-112 20 p. (Lecture Notes in Computer Science; vol. 1558).

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

  173. Automatic Concept Formation in Pure Mathematics

    Colton, S., Bundy, A. & Walsh, T., 1999, Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99. MORGAN KAUFMANN PUB INC, p. 786-791

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

  174. Automatic Verification of Functions with Accumulating Parameters

    Ireland, A. & Bundy, A., 1999, In : Journal of Functional Programming. 9, 2, p. 225-245 21 p.

    Research output: Contribution to journalArticle

  175. Extensions to the Estimation Calculus

    Gow, J., Bundy, A. & Green, I., 1999, Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings. Ganzinger, H., McAllester, D. & Voronkov, A. (eds.). Springer-Verlag GmbH, p. 258-272 15 p. (Lecture Notes in Computer Science; vol. 1705).

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

  176. On Automating Diagrammatic Proofs of Arithmetic Arguments

    Jamnik, M., Bundy, A. & Green, I., 1999, In : Journal of Logic, Language and Information. 8, 3

    Research output: Contribution to journalArticle

  177. Proofs About Lists Using Ellipsis

    Bundy, A. & Richardson, J., 1999, Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings. Ganzinger, H., McAllester, D. & Voronkov, A. (eds.). Springer-Verlag GmbH, p. 1-12 12 p. (Lecture Notes in Computer Science; vol. 1705).

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

  178. Recursive Program Optimization Through Inductive Synthesis Proof Transformation

    Madden, P., Bundy, A. & Smaill, A., 1999, In : Journal of Automated Reasoning. 22, 1, p. 65-115

    Research output: Contribution to journalArticle

  179. System Description: CyNTHIA

    Whittle, J., Bundy, A., Boulton, R. & Lowe, H., 1999, Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer-Verlag GmbH, p. 388-392 (Lecture Notes in Computer Science; vol. 1632).

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

  180. The Design of the CADE-16 Inductive Theorem Prover Contest

    Bundy, A. & Hutter, D., 1999, Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer-Verlag GmbH, p. 374-377 (Lecture Notes in Computer Science; vol. 1632).

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

  181. 1998
  182. Proof Planning for Maintainable Configuration Systems

    Lowe, H., Pechoucek, M. & Bundy, A., Sep 1998, In : AI EDAM. 12, 4, p. 345-356

    Research output: Contribution to journalArticle

  183. The Method of Assigning Incidences

    Liu, W., McBryan, D. & Bundy, A., Sep 1998, In : Applied Intelligence. 9, 2

    Research output: Contribution to journalArticle

  184. A Science of Reasoning (Extended Abstract)

    Bundy, A., May 1998, Automated Reasoning with Analytic Tableaux and Related Methods. de Swart, H. (ed.). Springer International Publishing, Vol. 1397. p. 10-17 8 p.

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

  185. Adversarial Planning in Complex Domains

    Willmott, S., Bundy, A., Levine, J. & Richardson, J., 1998, (Unpublished) (DAI Research Paper No.889).

    Research output: Working paperDiscussion paper

  186. Automating the Synthesis of Decision Procedures in a Constructive Metatheory

    Armando, A., Gallagher, J., Smaill, A. & Bundy, A., 1998, In : Annals of Mathematics and Artificial Intelligence. 22, 3-4

    Research output: Contribution to journalArticle

  187. HR: A System for Machine Discovery in Finite Algebras

    Bundy, A., Colton, S. & Walsh, T., 1998, 13th biennial European Conference on Artificial Intelligence Workshop 1998.

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

  188. Lightweight Formalisation in Support of Requirements Engineering

    Hesketh, J., Robertson, D., Fuchs, N. & Bundy, A., 1998, In : Automated Software Engineering. 5, 2, p. 183-210

    Research output: Contribution to journalArticle

  189. OBSERVANT: an Annotated Term Rewriting System for Deciding Observation

    Monroy, R., Bundy, A. & Green, I., 1998, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98). p. 393-397

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

  190. System Description: an Interface Between CLAM and HOL

    Slind, K., Gordon, M., Boulton, R. & Bundy, A., 1998, Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings. Springer-Verlag GmbH, p. 134-138 (Lecture Notes in Computer Science; vol. 1421).

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

  191. The Termination of Rippling and Unblocking

    Bundy, A., 1998, (Unpublished) (DAI Research Paper 880).

    Research output: Working paper

  192. The Use of Proof Planning for Cooperative Theorem Proving

    Lowe, H., Bundy, A. & McLean, D., 1998, In : Journal of Symbolic Computation. 25

    Research output: Contribution to journalArticle

  193. 1997
  194. 'Incidence Calculus' in the Encylopedia of Mathematics

    Bundy, A., 1997, In : Supplement 1.

    Research output: Contribution to journalArticle

  195. A Comparison of Decision Procedures in Presburger Arithmetic

    Janicic, P., Green, I. & Bundy, A., 1997, Proceedings of the VIII Conference on Logic and Computer Science (LIRA 97). 6 p.

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

  196. A Prototype Interface Between CLAM and HOL

    Boulton, R., Slind, K., Bundy, A. & Gordon, M., 1997, Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs ' 97 Murray Hill, NJ, USA, August 19-22, 1997 Proceedings. Springer-Verlag GmbH, Vol. 1275. ( Lecture Notes in Computer Science ).

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

  197. Abstract proof checking: an example motivated by an incompleteness theorem

    Bundy, A., Giunchiglia, F., Villafiorita, F. & Walsh, T., 1997, In : the Journal of Automated Reasoning. 19, 3

    Research output: Contribution to journalArticle

  198. An Editor for Helping Novices to Learn Standard ML

    Whittle, J., Bundy, A. & Lowe, H., 1997, Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings. Springer-Verlag GmbH, Vol. 1292. (Lecture Notes in Computer Science; vol. 1292).

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

  199. Automation of Diagrammatic Proofs in Mathematics

    Jamnik, M., Bundy, A. & Green, I., 1997, In : Perspectives on Cognitive Science. 3

    Research output: Contribution to journalArticle

  200. Automation of Diagrammatic Reasoning

    Jamnik, M., Bundy, A. & Green, I., 1997, Proceedings of the 15th International Joint Conference on Arti Intelligence - IJCAI '97. Morgan Kaufmann

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

  201. Proof Planning and Industrial Configuration

    Pechoucek, M., Lowe, H. & Bundy, A., 1997, PAP97: Proceedings of the Fifth International Conference on the Practical Application of PROLOG. Practical Application Co Ltd

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

  202. Supporting Programming by Analogy in the Learning of Functional Programming Languages

    Whittle, J., Bundy, A. & Lowe, H., 1997.

    Research output: Contribution to conferencePaper

  203. The Use of Classification in Automated Mathematical Concept Formation

    Colton, S., Cresswell, S. & Bundy, A., 1997, Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University. Department of Artificical Intelligence, Edinburgh University

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

  204. Using a generalisation critic to find bisimulations for coinductive proofs

    Dennis, L., Bundy, A. & Green, I., 1997, Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings. Springer-Verlag GmbH, p. 276-290 (Lecture Notes in Computer Science; vol. 1249).

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

  205. 1996
  206. An Experimental Comparison of Rippling and Exhaustive Rewriting

    Bundy, A. & Green, I., Dec 1996, (Unpublished) 17 p. (DAI Working Paper No. 836).

    Research output: Working paper

  207. Calculating Criticalities

    Bundy, A., Giunchiglia, F., Sebastiani, R. & Walsh, T., Dec 1996, In : Artificial Intelligence Journal. 88, 1-2, p. 39-67 27 p.

    Research output: Contribution to journalArticle

  208. Constructing Probabilistic ATMS Using Extended Incidence Calculus

    Liu, W. & Bundy, A., Aug 1996, In : International Journal of Approximate Reasoning. 15, 2

    Research output: Contribution to journalArticle

  209. Rippling: greatest hits

    Bundy, A., 4 Apr 1996, (Unpublished).

    Research output: Working paperDiscussion paper

  210. Productive Use of Failure in Inductive Proof

    Ireland, A. & Bundy, A., Mar 1996, In : Journal of Automated Reasoning. 16, 1-2

    Research output: Contribution to journalArticle

  211. Automating reasoning support for design

    Hesketh, J., Robertson, D., Fuchs, N. & Bundy, A., 1996, School of Informatics , 36 p. (Division of Informatics Research Papers; no. 823).

    Research output: Working paper

  212. Computing Abstraction Hierarchies by Numerical Simulation

    Bundy, A., Giunchiglia, F., Sebastiani, R. & Walsh, T., 1996, Proceedings of AAAI-96. p. 523-529 7 p.

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

  213. Experiments in Automating Hardware Verification using Inductive Proof Planning

    Cantu, F., Bundy, A., Smaill, A. & Basin, D., 1996, Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA. Springer-Verlag

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

  214. Extensions to a generalization critic for inductive proof

    Ireland, A. & Bundy, A., 1996, In : Automated Deduction - CADE-13. Lecture notes in Artificial Intelligence 1104

    Research output: Contribution to journalArticle

  215. Middle-out reasoning for synthesis and induction

    Kraan, I., Basin, D. & Bundy, A., 1996, In : Journal of Automated Reasoning. 16, 1-2, p. 113-145 33 p.

    Research output: Contribution to journalArticle

  216. Planning and Proof Planning

    Melis, E. & Bundy, A., 1996.

    Research output: Contribution to conferencePaper

  217. Proof Planning and Configuration

    Lowe, H., Pechouchek, M. & Bundy, A., 1996.

    Research output: Contribution to conferencePaper

  218. Prospects for Artificial Intelligence

    Bundy, A., 1996, Computing Tomorrow: Future Directions in Computer Science. Wand, I. & Milner, R. (eds.). Cambridge University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  219. 1995
  220. Assignment Methods for Incidence Calculus

    McLean, R. G., Bundy, A. & Liu, W., 1995, In : International Journal of Approximate Reasoning. 12, 1, p. 21–41

    Research output: Contribution to journalArticle

  221. Proof Planning

    Bundy, A., 1995, Proceedings of the Third International Conference on Artificial Intelligence Planning Systems. AAAI Press

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

  222. Relational Rippling: a General Approach

    Bundy, A. & Lombart, V., 1995, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence - IJCAI-95.

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

  223. 1994
  224. A Subsumption Architecture for Theorem Proving?

    Bundy, A., Oct 1994, In : Philosophical Transactions: Physical Sciences and Engineering. 349, 1689, p. 71-85

    Research output: Contribution to journalArticle

  225. A Comprehensive Comparison between Generalized Incidence Calculus and the Dempster-Shafer Theory of Evidence

    Liu, W. & Bundy, A., Jun 1994, In : International Journal of Human-Computer Studies. 40, 6

    Research output: Contribution to journalArticle

  226. The New Software Copyright Law

    Bundy, A. & MacQueen, H., Mar 1994, In : The Computer Journal. 37, 2

    Research output: Contribution to journalArticle

  227. Coloured rippling: An extension of a theorem proving heuristic

    Yoshida, T., Bundy, A., Green, I., Walsh, T. & Basin, D., 1994, Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994. John Wiley & Sons Inc.

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

  228. Proof Plans for the Correction of False Conjectures

    Monroy, R., Bundy, A. & Ireland, A., 1994, Proceedings of Logic Programming and Automated Reasoning '94.

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

  229. What is the difference between real creativity and mere novelty?

    Bundy, A., 1994, In : Behavioral and Brain Sciences. 17, 3

    Research output: Contribution to journalArticle

  230. 1993
  231. On the Relation Between Incidence Calculus and ATMS

    Liu, W., Bundy, A. & Robertson, D., 1 Nov 1993, Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings. Clarke, M., Kruse, R. & Moral, S. (eds.). Springer-Verlag GmbH, Vol. 747. p. 249-256 8 p. (Lecture Notes in Computer Science; vol. 747).

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

  232. Rippling: A Heuristic for Guiding Inductive Proofs

    Bundy, A., Stevens, A., van Harmelen, F., Ireland, A. & Smaill, A., Aug 1993, In : Artificial Intelligence. 62, 2, p. 185–253

    Research output: Contribution to journalArticle

  233. Can theorem proving keep the planes flying

    Bundy, A., Jul 1993, In : SERC Bulletin. 5, 1

    Research output: Contribution to journalArticle

  234. A Framework for Program Development Based on Schematic Proof

    Basin, D., Bundy, A., Kraan, I. & Matthews, S., 1993, In : Proceedings of the 7th International Workshop on Software Specification and Design (IWSSD-93).

    Research output: Contribution to journalArticle

  235. General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving

    Madden, P. & Bundy, A., 1993, EAST-WEST AI CONFERENCE: from theory to practice - EWAIC'93. 11 p.

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

  236. Increasing the Versatility of Heuristic Based Theorem Provers

    Manning, A., Ireland, A. & Bundy, A., 1993, LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning. Springer-Verlag GmbH, Vol. Lecture Notes in Artificial Intelligence No. 698.

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

  237. Logic Program Synthesis via Proof Planning

    Kraan, I., Basin, D. & Bundy, A., 1993, Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992. Springer London, p. 1-14 (Workshops in Computing).

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

  238. Middle-Out Reasoning for Logic Program Synthesis

    Kraan, I., Basin, D. & Bundy, A., 1993, Proceedings of the Tenth International Conference on Logic Programming . MIT Press, 12 p.

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

  239. Recovering Incedence Functions

    Liu, W., Bundy, A. & Robertson, D. S., 1993, Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings. London, UK, UK: Springer Berlin Heidelberg, p. 241-248 8 p. (Lecture Notes in Computer Science).

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

  240. `Semantic procedure' is an oxymoron

    Bundy, A., 1993, In : Behavioral and Brain Sciences. 16, 2

    Research output: Contribution to journalArticle

  241. 1992
  242. How to solve it by induction

    Bundy, A., Aug 1992, (Unpublished) (DAI Research Paper 600).

    Research output: Working paperDiscussion paper

  243. A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs

    Bundy, A., Brna, P. & Pain, H., 1992, Procs of the ALPUK-90 conference, 'Logic Programming: New Frontiers'.

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

  244. An Adaptation of Proof-Planning to Declarer Play in Bridge

    Frank, I., Basin, D. & Bundy, A., 1992, 10th European Conference on Artificial Intelligence, ECAI 92, Vienna, Austria, August 3-7, 1992. Proceedings.. John Wiley & Sons Inc., p. 72-76

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

  245. Incidence Calculus

    Bundy, A., 1992, Encyclopedia of Artificial Intelligence. Shapiro, S. C. (ed.). John Wiley & Sons Inc.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  246. On the Relationship Between Incidence Calculus and ATMS

    Liu, W., Bundy, A. & Robertson, D., 1992, University of Edinburgh, Department of Artificial Intelligence.

    Research output: Book/ReportBook

  247. The Use of Proof Plans to Sum Series

    Walsh, T., Nunes, A. & Bundy, A., 1992, Automated Deduction - CADE-11: Lecture Notes in Artificial Intelligence. Springer-Verlag GmbH, Vol. 607.

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

  248. Tutorial notes: reasoning about logic programs

    Bundy, A., 1992, Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings. Springer Berlin Heidelberg, p. 252-277 26 p. (Lecture Notes in Computer Science; vol. 636).

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

  249. Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs

    Hesketh, J., Bundy, A. & Smaill, A., 1992, Automated Deduction—CADE-11: 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings. Springer Berlin Heidelberg, p. 310-324 15 p. (Lecture Notes in Computer Science; vol. 607).

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

  250. Using failure to guide inductive proof

    Ireland, A. & Bundy, A., 1992, University of Edinburgh, Department of Artificial Intelligence.

    Research output: Book/ReportBook

  251. 1991
  252. A Recursive Techniques Editor for Prolog

    Bundy, A., Grosse, G. & Brna, P., Mar 1991, In : Instructional Science. 20, 2-3

    Research output: Contribution to journalArticle

  253. Prolog Programming Techniques

    Brna, P., Bundy, A., Dodd, T., Eisenstadt, M., Looi, C. K., Pain, H., Robertson, D., Smith, B. & van Someren, M., Mar 1991, In : Instructional Science. 20, 2-3, p. 111-133 23 p.

    Research output: Contribution to journalArticle

  254. A Science of Reasoning

    Bundy, A., 1991, Computational Logic: Essays in Honor of Alan Robinson. Lassez J-L & Plotkin, G. (ed.). MIT Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  255. An Overview of Prolog Debugging Tools

    Brna, P., Brayshaw, M., Bundy, A., Elsom-Cook, M., Fung, P. & Dodd, T., 1991, In : Instructional Science. 20

    Research output: Contribution to journalArticle

  256. Eco-Logic: Logic-Based Approaches to Ecological Modelling

    Robertson, D., Bundy, A., Meutzelfeldt, R., Haggith, M. & Uschold, M., 1991, MIT Press.

    Research output: Book/ReportBook

  257. Experiments with Proof Plans for Induction

    Bundy, A., van Harmelen, F., Hesketh, J. & Smaill, A., 1991, In : Journal of Automated Reasoning. 7, 3, p. 303-324

    Research output: Contribution to journalArticle

  258. Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof

    Wiggins, G. A., Bundy, A., Kraan, I. & Hesketh, J., 1991, Proceedings of LoPSTr-91.

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

  259. The Use of Proof Plans for Normalization

    Bundy, A., 1991, Essays in Honour of Woody Bledsoe. Boyer, R. S. (ed.). Kluwer Academic Publishers

    Research output: Chapter in Book/Report/Conference proceedingChapter

  260. 1990
  261. Building Abstractions

    Bundy, A., Giunchiglia, F. & Walsh, T., 1990, In : Automatic Generation of Approximations and Abstactions. na, na, p. 1-10 10 p.

    Research output: Contribution to journalArticle

  262. Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs

    Bundy, A., van Harmelen, F., Smaill, A. & Ireland, A., 1990, 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. Springer-Verlag GmbH, Vol. Lecture Notes in Artificial Intelligence No. 449. p. 132-146 (Lecture Notes in Computer Science; vol. 449).

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

  263. On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence

    Correa da Silva, F. S. & Bundy, A., 1990, In : Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence.

    Research output: Contribution to journalArticle

  264. The OYSTER-CLAM system

    Bundy, A., van Harmelen, F., Horn, C. & Smaill, A., 1990, Proceedings of the 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. Springer-Verlag GmbH, Vol. Lecture Notes in Artificial Intelligence No. 449,. p. 647-648 (Lecture Notes in Computer Science; vol. 449).

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

  265. The Synthesis of Logic Programs from Inductive Proofs

    Bundy, A., Smaill, A. & Wiggins, G., 1990, Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990. Lloyd, J. (ed.). Springer Berlin Heidelberg, p. 135-149 15 p. (ESPRIT Basic Research Series).

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

  266. The nature of AI principles: a debate in the AISB Quarterly

    Ohlsson, S. & Bundy, A., 1990, The Foundations of Artificial Intelligence. Partridge, D. & Wilks, Y. (eds.). Cambridge University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  267. The use of proof plans in formal methods

    Bundy, A., 1990, Design and implementation of symbolic computation systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings. Miola, A. (ed.). Springer-Verlag GmbH, p. 151-153 (Lecture Notes in Computer Science; vol. 429).

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

  268. Turning Eureka Steps into Calculations in Automatic Program Synthesis

    Bundy, A., Smaill, A. & Hesketh, J., 1990, Proceedings of the UK IT 90 Conference.

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

  269. What kind of field is AI?

    Bundy, A., 1990, The Foundations of Artificial Intelligence. Partridge, D. & Wilks, Y. (eds.). Cambridge University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  270. 1989
  271. A Rational Reconstruction and Extension of Recursion Analysis

    Bundy, A., van Harmelen, F., Hesketh, J., Smaill, A. & Stevens, A., Aug 1989, Proceedings of the 11th International Joint Conference on Artificial Intelligence - IJCAI 1989.

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

  272. The ECO program construction system: ways of increasing its representational power and their effects on the user interface

    Robertson, D., Bundy, A., Uschold, M. & Muetzelfeldt, R., Jul 1989, In : International Journal of Man-Machine Studies. 31, 1, p. 1–26

    Research output: Contribution to journalArticle

  273. The Use of Prolog for Improving the Rigour and Accessibility of Ecological Modelling

    Muetzelfeldt, R., Robertson, D., Bundy, A. & Uschold, M., Jul 1989, In : Ecological Modelling. 46, 1-2, p. 9–34 26 p.

    Research output: Contribution to journalArticle

  274. Benefits and risks of knowledge-based systems

    Bundy, A., Boden, M., Sharples, M., Cooley, M., Dawson, D., Hopson, D., Neuberger, J., Sherman, B. & Sieghart, P., 1989, Oxford University Press.

    Research output: Book/ReportBook

  275. 1988
  276. The Use of Explicit Plans to Guide Inductive Proofs

    Bundy, A., May 1988, 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings. Springer-Verlag GmbH, (Lecture Notes in Computer Science; vol. 310).

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

  277. A broader interpretation of logic in logic programming

    Bundy, A., 1988, Proceedings of the Fifth International Logic Programming Conference/ Fifth Symposium on Logic Programming.

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

  278. Artificial Intellignce: Art or Science?

    Bundy, A., 1988, In : RSA Journal. CXXXVI, 5384

    Research output: Contribution to journalArticle

  279. Evaluating Prolog environments

    Bundy, A., Brna, P. & Pain, H., 1988, In : Proceedings of the 1988 Alvey Technical Conference.

    Research output: Contribution to journalArticle

  280. Explanation-Based Generalisation = Partial Evaluation

    van Harmelen, F. & Bundy, A., 1988, In : Artificial Intelligence Journal. 36, 3, p. 401-412 12 p.

    Research output: Contribution to journalArticle

  281. Meta-Level Inference: Two Applications

    Bundy, A. & Sterling, L., 1988, In : Journal of Automated Reasoning. 4, 1, p. 15-27

    Research output: Contribution to journalArticle

  282. Probability, Truth and Logic: Reply to Cheeseman

    Bundy, A., 1988, In : Computational Intelligence. 4, 1

    Research output: Contribution to journalArticle

  283. Proving properties of logic programs: A Progress Report

    Bundy, A., Wallen, L. A., Sannella, D., Desimone, R., Guinchiglia, F., van Harmelen, F., Hesketh, J., Madden, P., Smaill, A. & Stevens, A., 1988, 1988 Alvey Conference. Vol. UK IT88. 9 p.

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

  284. The ECO Program Construction System: Ways of Increasing Its Representational Power and Their Effects on the User

    Robertson, D., Bundy, A., Uschold, M. & Muetzelfeldt, B., 1988, Department of Artificial Intelligence, University of Edinburgh.

    Research output: Book/ReportBook

  285. The EcoLogic System

    Robertson, D., Bundy, A., Uschold, M. & Muetzelfeldt, R., 1988, Department of Artificial Intelligence, University of Edinburgh.

    Research output: Book/ReportBook

  286. Using Ecological Descriptions to Guide the Construction of Simulation Programs

    Robertson, D., Bundy, A., Uschold, M. & Muetzelfeldt, R., 1988, In : Proceedings of Alvey Technical Conference.

    Research output: Contribution to journalArticle

  287. 1987
  288. AI Bridges and Dreams

    Bundy, A., Jul 1987, In : AI and Society. 1, 1

    Research output: Contribution to journalArticle

  289. An expert system for medical diagnosis

    Bundy, A., 1987, Intelligent knowledge based systems. O’Shea, T., Self, J. S. & Thomas, G. (eds.). Harper & Row

    Research output: Chapter in Book/Report/Conference proceedingChapter

  290. Computer-Aided Construction of Ecological Simulation Models

    Muetzelfeldt, R., Robertson, D., Uschold, M. & Bundy, A., 1987, International Symposium on AI, Expert Systems and Languages in Modelling and Simulation.

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

  291. Helping Inexperienced Users to Construct Simulation Programs: An Overview of the ECO Project

    Robertson, D., Bundy, A., Uschold, M. & Muetzelfeldt, R., 1987, Proceedings of Expert Systems '87 on Research and Development in Expert Systems IV. Cambridge University Press

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

  292. How to Improve the Reliability of Expert Systems

    Bundy, A., 1987, Proceedings of Expert Systems '87 on Research and Development in Expert Systems IV. Moralee, S. (ed.). Cambridge University Press

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

  293. Programming Tools for Prolog Environments

    Brna, P., Bundy, A., Pain, H. & Lynch, L., 1987, Advances in Artificial Intelligence: Proceedings of the 1987 AISB Conference, University of Edinburgh.

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

  294. Special Purpose, but Domain Independent, Inference Mechanisms

    Bundy, A., Byrd, L. & Mellish, C., 1987, Proceedings to the 5th European Conference on Artificial Intelligence, ECAI 82, Paris, 1982. Vol. XXXI.

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

  295. What Stories Should We Tell Novice Prolog Programmers?

    Bundy, A. & Helen, P., 1987, Artificial Intelligence Programming Environments. Hawley, R. (ed.). Ellis Horwood

    Research output: Chapter in Book/Report/Conference proceedingChapter

  296. 1986
  297. Proving properties of logic programs: summary of progress

    Bundy, A. & Wallen, L. A., Sep 1986, (Unpublished) (DAI research paper No. 312).

    Research output: Working paper

  298. Correctness criteria of some algorithms for uncertain reasoning using Incidence Calculus

    Bundy, A., Jun 1986, In : Journal of Automated Reasoning. 2, 2

    Research output: Contribution to journalArticle

  299. A proposed prolog story

    Bundy, A., Pain, H., Brna, P. & Lynch, L., 1986, (Unpublished) (DAI Research Paper No. 283).

    Research output: Working paper

  300. 1985
  301. Altering the Description Space for Focussing

    Wielemaker, J. & Bundy, A., 1985, Expert Systems 85: Proceedings of the Fifth Technical Conference of the British Computer Society Specialist Group on Expert Systems (British Computer Society Workshop Series). (DAI Research Paper No. 262).

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

  302. An Analytical Comparison of Some Rule-Learning Programs

    Silver, B., Plummer, D. & Bundy, A., 1985, In : Artificial Intelligence. 27, 2, p. 137–181

    Research output: Contribution to journalArticle

  303. Discovery and Reasoning in Mathematics

    Bundy, A., 1985, Proceeding IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2.

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

  304. Eco: An Intelligent Front End for Ecological Modelling

    Bundy, A., Uschold, M., Muetzelfeldt, R., Harding, N. & Robertson, D., 1985, In : Proceedings of the Working Conference on Artificial Intelligence in Simulation.

    Research output: Contribution to journalArticle

  305. Incidence Calculus: A Mechanism for Probabilistic Reasoning

    Bundy, A., 1985, In : Journal of Automated Reasoning. 1, 3

    Research output: Contribution to journalArticle

  306. Poof Analysis: A technique for Concept Formation

    Bundy, A., 1985, In : Proceedings of AISB-85.

    Research output: Contribution to journalArticle

  307. Raising the Standard of AI Products

    Bundy, A. & Clutterbuck, R., 1985, Proceedings of the Ninth International Joint Conference on Artificial Intelligence - 1985.

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

  308. The Eco Browser

    Bundy, A., Robertson, D., Muetzelfeldt, R., Plummer, D. & Uschold, M., 1985, Proc. of the fifth technical conference of the British Computer Society Specialist Group on Expert Systems on Expert systems 85. Cambridge University Press, p. 143-156

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

  309. The researchers' bible

    Bundy, A., Du Boulay, B., Howe, J. & Plotkin, G., 1985, Department of Artificial Intelligence, University of Edinburgh.

    Research output: Book/ReportBook

  310. 1984
  311. A Generalized Interval Package and its Use for Semantic Checking

    Bundy, A., Dec 1984, In : ACM Transactions on Mathematical Software. 10, 4

    Research output: Contribution to journalArticle

  312. A Catalogue of Artificial Intelligence Techniques

    Bundy, A. (ed.), 1984, Springer-Verlag GmbH.

    Research output: Book/ReportAnthology

  313. An Intelligent Front End for Ecological Modelling

    Uschold, M., Muetzelfeldt, R., Bundy, A., Harding, N. & Robertson, D., 1984, Advances in Artificial Intelligence, Proceedings of the Sixth European Conference on Artificial Intelligence, ECAI-84, Pisa, Italy, September 5-7, 1984. North-Holland, 1985. European Conference on Artificial Intelligence (ECAI), p. 13-22

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

  314. How to get a PhD in AI

    Bundy, A., Ben, D. B., Jim, H. & Gordon, P., 1984, Artificial Intelligence Skills. O’Shea, T. & Eisenstadt, M. (eds.). Harper and Row

    Research output: Chapter in Book/Report/Conference proceedingChapter

  315. Intelligent Front Ends

    Bundy, A., 1984, In : Research and Development in Expert Systems.

    Research output: Contribution to journalArticle

  316. Meta-level Inference and Consciousness

    Bundy, A., 1984, The Mind and the Machine. Torrance, S. & Ellis, H. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  317. Topics for Circumscription

    Papalaskaris, M. A. & Bundy, A., 1984, In : Proceedings of the workshop on non-monotonic reasoning.

    Research output: Contribution to journalArticle

  318. What has learning got to do with expert systems?

    Bundy, A., 1984, (Unpublished) (DAI Research Paper No. 214).

    Research output: Working paper

  319. 1983
  320. The Computer Modelling of Mathematical Reasoning

    Bundy, A., Dec 1983, Academic Press. 336 p.

    Research output: Book/ReportBook

  321. Proceedings of the Eighth International Joint Conference on Artificial Intelligence

    Bundy, A., 1983, William Kaufmann Inc.

    Research output: Book/ReportAnthology

  322. The Nature of AI: A reply to Schank

    Bundy, A., 1983, In : AI Magazine. 4, 4

    Research output: Contribution to journalArticle

  323. Using the Method of Fibres in Mecho to Calculate Radii of Gyration

    Bundy, A., 1983, Mental Models. Stevens, A. & Gentner, D. (eds.). Erlbaum

    Research output: Chapter in Book/Report/Conference proceedingChapter

  324. 1982
  325. What Is The Well-Dressed AI Educator Wearing Now?

    Bundy, A., Mar 1982, In : AI Magazine. 3, 1

    Research output: Contribution to journalArticle

  326. A Critical Survey of Rule Learning Programs

    Bundy, A. & Silver, B., 1982, In : Proceedings of ECAI-82.

    Research output: Contribution to journalArticle

  327. Meta-Level Inference and Program Verification

    Sterling, L. & Bundy, A., 1982, 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982. Springer-Verlag GmbH, p. 144-150 (Lecture Notes in Computer Science; vol. 138).

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

  328. Solving Symbolic Equations with PRESS

    Sterling, L., Bundy, A., Byrd, L., O'Keefe, R. & Silver, B., 1982, Computer Algebra - Lecture Notes in Computer Science. Vol. 7.

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

  329. 1981
  330. An expert system for ecological modelling

    Bundy, A. & Muetzelfeldt, R., Dec 1981, (Unpublished).

    Research output: Working paper

  331. Homogenization: Preparing Equations for Change of Unknown

    Bundy, A. & Silver, B., 1981, Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981. Morgan Kaufmann, p. 551-553 3 p.

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

  332. Meta-level inference in Algebra

    Bundy, A. & Sterling, L., 1981, (Unpublished) (DAI Research Paper 164).

    Research output: Working paper

  333. Using Matching in Algebraic Equation Solving

    Borning, A. & Bundy, A., 1981, In : Proceedings of IJCAI-7.

    Research output: Contribution to journalArticle

  334. Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation

    Bundy, A. & Welham, B., 1981, In : Artificial Intelligence. 16, 2, p. 189-212 24 p.

    Research output: Contribution to journalArticle

  335. 1980
  336. The Representation and Solution of Problems in Applied Mathematics: an Artificial Intelligence Approach

    Bundy, A., Luger, G. & Palmer, M., 1980, ASEE monograph.

    Research output: Book/ReportBook

  337. 1979
  338. A treatise on elementary equation solving

    Bundy, A., 1979, p. 1-44, 44 p. (Working Paper ; no. 51).

    Research output: Working paper

  339. MECHO: A program to solve mechanics problems

    Bundy, A., Byrd, L., Luger, G., Mellish, C., Milne, R. & Palmer, M., 1979, Department of Artificial Intelligence, University of Edinburgh.

    Research output: Book/ReportBook

  340. Solving Mechanics Problems Using Meta-Level Inference

    Bundy, A., Byrd, L., Luger, G., Mellish, C. & Palmer, M., 1979, Proceedings of the 6th international joint conference on Artificial Intelligence - IJCAI '79.

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

  341. 1978
  342. Will It Reach the Top? Prediction in the Mechanics World

    Bundy, A., Apr 1978, In : Artificial Intelligence. 10, 2

    Research output: Contribution to journalArticle

  343. Similarity classes

    Bundy, A., Jan 1978, (Unpublished) ( DAI Working Paper No. 25).

    Research output: Working paper

  344. Artificial Intelligence: An introductory course

    Bundy, A., Burstall, R., Weir, S. & Young, R., 1978, Edinburgh University Press.

    Research output: Book/ReportBook

  345. Computational Models for Problem Solving

    Bundy, A., 1978, The Open University Press.

    Research output: Book/ReportBook

  346. Knowledge about Knowledge: Making Decisions in Mechanics Problem Solving

    Bundy, A., Luger, G., Mellish, C. & Palmer, M., 1978, Proceedings of the 4th European Conference on Artificial Intelligence.

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

  347. 1977
  348. Exploiting the properties of functions to control search

    Bundy, A., Oct 1977, (Unpublished) (DAI Research Report No. 45).

    Research output: Working paper

  349. Can Domain Specific Knowledge be Generalised?

    Bundy, A., 1977, In : Proceedings of IJCAI-5.

    Research output: Contribution to journalArticle

  350. Representing Semantic Information In Pulley Problems

    Luger, G. & Bundy, A., 1977, Proceedings of the 5th International Joint Conference on Artificial Intelligence (IJCAI '77). Cambridge, MA.

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

  351. 1976
  352. Mecho: Year one

    Bundy, A., Luger, G., Stone, M. & Welham, R., 1976, Proceedings of Artificial Intelligence and Simulation of Behaviour.

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

  353. The role of inference in the solving of mechanics problems

    Bundy, A., 1976, (Unpublished) (DAI Working Paper No. 16).

    Research output: Working paperDiscussion paper

  354. 1975
  355. A program to solve mechanics problems stated in English

    Bundy, A., Luger, G. & Stone, M., May 1975, (Unpublished) (DAI Working paper No. 8).

    Research output: Working paper

  356. Analysing Mathematical Proofs (or Reading between the Lines)

    Bundy, A., 1975, Proceedings of the 4th international joint conference on Artificial Intelligence -.

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

  357. 1973
  358. A note on omitting the replacement schema

    Bundy, A., 1973, In : Notre Dame Journal of Formal Logic.

    Research output: Contribution to journalArticle

  359. Doing arithmetic with diagrams

    Bundy, A., 1973, Proceedings of IJCAI-3.

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