Edinburgh Research Explorer
  1. 2017
  2. MATHsAiD: Automated Mathematical Theory Exploration

    Bundy, A., McCasland, R. & Smith, P. 23 Jun 2017 In : Applied Intelligence. p. 1-22 22 p.

    Research output: Contribution to journalArticle

  3. Improving Dynamic Information Exchange in Emergency Response Scenarios

    Quesada, F. J., McNeill, F., Bella, G. & Bundy, A. 21 May 2017 Proceedings of 14th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2017). France, 10 p.

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

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

  5. Smart Machines are Not a Threat to Humanity

    Bundy, A. Feb 2017 In : Communications of the ACM. 60, 2, p. 40-42 3 p., 10.1145/2950042

    Research output: Contribution to journalArticle

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

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

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

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

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

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

    Research output: Working paper

  12. 2015
  13. Could a Computer Create its Own Representations?

    Bundy, A. 5 Dec 2015 2 p.

    Research output: Contribution to conferencePaper

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

    Bundy, A., Gkaniatsou, A., McNeill, F., 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

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

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

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

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

    Besold, T. R., Kuehnberger, K-U., Garcez, A. D. A., 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

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

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

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

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

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

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

  27. The interaction of representation and reasoning

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

    Research output: Contribution to journalArticle

  28. 2012
  29. Reasoning with Context in the Semantic Web

    Lehmann, J. (ed.), Varzinczak, I. J. (ed.) & Bundy, A. (ed.) Apr 2012 In : Web Semantics: Science, Services and Agents on the World Wide Web. 12-13

    Research output: Contribution to journalSpecial issue

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

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

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

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

  34. 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. IEEE Computer Society, p. 860-867 8 p.

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

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

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

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

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

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

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

  42. 2010
  43. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  62. 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. IEEE, p. 168-175 8 p.

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

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

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

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

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

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

  68. 2008
  69. 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

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

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

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

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

  74. 2007
  75. 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

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

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

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

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

  80. Computational Thinking is Pervasive

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

    Research output: Contribution to journalArticle

  81. 2006
  82. 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

  83. A Very Mathematical Dilemma

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

    Research output: Contribution to journalArticle

  84. Constructing, Selecting and Repairing Representations of Knowledge

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

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

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

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

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

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

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

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

  91. 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. IEEE Computer Society, p. 17-22 6 p.

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

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

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

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

  95. 2005
  96. 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

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

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

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

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

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

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

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

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

  105. 2004
  106. 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

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

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

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

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

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

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

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

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

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

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

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

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

    Research output: Working paper

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

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

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

  121. 2003
  122. 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

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

  124. Dynamic Ontology Refinement

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

    Research output: Contribution to conferencePaper

  125. 2002
  126. 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

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

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

  129. 2001
  130. 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

  131. 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. IEEE Computer Society, p. 324-327 4 p.

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

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

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

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

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

  136. 2000
  137. 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

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

  139. AI's greatest trends and controversies

    Bundy, A. & 22 others Simon, H. A., Bibel, W., 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., 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

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

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

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

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

  144. Automatic guidance of program synthesis proofs

    Bundy, A. 2000

    Research output: Working paperDiscussion paper

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

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

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

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

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

  150. 1999
  151. 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

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

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

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

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

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

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

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

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

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

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

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

  163. 1998
  164. Proof Planning for Maintainable Configuration Systems

    Lowe, H., Pechoucek, M. & Bundy, A. Sep 1998 In : AI EDAM - Artificial Intelligence for Engineering Design, Analysis and Manufacturing. 12, 4, p. 345-356

    Research output: Contribution to journalArticle

  165. The Method of Assigning Incidences

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

    Research output: Contribution to journalArticle

  166. Adversarial Planning in Complex Domains

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

    Research output: Working paperDiscussion paper

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

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

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

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

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

  172. The Termination of Rippling and Unblocking

    Bundy, A. 1998 (DAI Research Paper 880)

    Research output: Working paper

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

  174. 1997
  175. 'Incidence Calculus' in the Encylopedia of Mathematics

    Bundy, A. 1997 In : Supplement 1.

    Research output: Contribution to journalArticle

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

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

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

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

  180. Automation of Diagrammatic Proofs in Mathematics

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

    Research output: Contribution to journalArticle

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

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

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

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

    Research output: Contribution to conferencePaper

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

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

  186. 1996
  187. An Experimental Comparison of Rippling and Exhaustive Rewriting

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

    Research output: Working paper

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

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

  190. Rippling: greatest hits

    Bundy, A. 4 Apr 1996

    Research output: Working paperDiscussion paper

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

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

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

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

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

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

  197. Planning and Proof Planning

    Melis, E. & Bundy, A. 1996

    Research output: Contribution to conferencePaper

  198. Proof Planning and Configuration

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

    Research output: Contribution to conferencePaper

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

  200. 1995
  201. 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

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

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

  204. 1994
  205. 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

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

  207. The New Software Copyright Law

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

    Research output: Contribution to journalArticle

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

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

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

  211. 1993
  212. 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

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

  214. Can theorem proving keep the planes flying

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

  221. `Semantic procedure' is an oxymoron

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

    Research output: Contribution to journalArticle

  222. 1992
  223. How to solve it by induction

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

    Research output: Working paperDiscussion paper

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

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

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

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

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

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

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

  231. Using failure to guide inductive proof

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

    Research output: Book/ReportBook

  232. 1991
  233. 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

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

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

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

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

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

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

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

  241. 1990
  242. 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

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

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

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

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

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

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

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

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

  251. 1989
  252. 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

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

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

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

  256. 1988
  257. 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

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

  259. Artificial Intellignce: Art or Science?

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

    Research output: Contribution to journalArticle

  260. Evaluating Prolog environments

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

    Research output: Contribution to journalArticle

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

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

  263. Probability, Truth and Logic: Reply to Cheeseman

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

    Research output: Contribution to journalArticle

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

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

  266. The EcoLogic System

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

    Research output: Book/ReportBook

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

  268. 1987
  269. AI Bridges and Dreams

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

  277. 1986
  278. Proving properties of logic programs: summary of progress

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

    Research output: Working paper

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

  280. A proposed prolog story

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

    Research output: Working paper

  281. 1985
  282. 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

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

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

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

  286. Incidence Calculus: A Mechanism for Probabilistic Reasoning

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

    Research output: Contribution to journalArticle

  287. Poof Analysis: A technique for Concept Formation

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

    Research output: Contribution to journalArticle

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

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

  290. The researchers' bible

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

    Research output: Book/ReportBook

  291. 1984
  292. 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

  293. A Catalogue of Artificial Intelligence Techniques

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

    Research output: Book/ReportAnthology

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

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

  296. Intelligent Front Ends

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

    Research output: Contribution to journalArticle

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

  298. Topics for Circumscription

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

    Research output: Contribution to journalArticle

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

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

    Research output: Working paper

  300. 1983
  301. The Computer Modelling of Mathematical Reasoning

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

    Research output: Book/ReportBook

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

    Bundy, A. 1983 William Kaufmann Inc.

    Research output: Book/ReportAnthology

  303. The Nature of AI: A reply to Schank

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

    Research output: Contribution to journalArticle

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

  305. 1982
  306. What Is The Well-Dressed AI Educator Wearing Now?

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

    Research output: Contribution to journalArticle

  307. A Critical Survey of Rule Learning Programs

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

    Research output: Contribution to journalArticle

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

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

  310. 1981
  311. 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

  312. Meta-level inference in Algebra

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

    Research output: Working paper

  313. Using Matching in Algebraic Equation Solving

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

    Research output: Contribution to journalArticle

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

  315. 1980
  316. 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

  317. 1979
  318. A treatise on elementary equation solving

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

    Research output: Working paper

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

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

  321. 1978
  322. Will It Reach the Top? Prediction in the Mechanics World

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

    Research output: Contribution to journalArticle

  323. Similarity classes

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

    Research output: Working paper

  324. Artificial Intelligence: An introductory course

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

    Research output: Book/ReportBook

  325. Computational Models for Problem Solving

    Bundy, A. 1978 The Open University Press.

    Research output: Book/ReportBook

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

  327. 1977
  328. Exploiting the properties of functions to control search

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

    Research output: Working paper

  329. Can Domain Specific Knowledge be Generalised?

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

    Research output: Contribution to journalArticle

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

  331. 1976
  332. 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

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

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

    Research output: Working paperDiscussion paper

  334. 1975
  335. A program to solve mechanics problems stated in English

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

    Research output: Working paper

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

  337. 1973
  338. A note on omitting the replacement schema

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

    Research output: Contribution to journalArticle

  339. Doing arithmetic with diagrams

    Bundy, A. 1973 Proceedings of IJCAI-3.

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