Edinburgh Research Explorer
  1. 2017
  2. 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

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

  4. Consider indirect threats of AI, too

    Bundy, A. 1 Apr 2017 In : Communications of the ACM. 60, 4, p. 8-9 2 p.

    Research output: Contribution to journalLetter

  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. MATHsAiD: Automated Mathematical Theory Exploration

    Bundy, A., McCasland, R. & Smith, P. 12 Jan 2015 p. 1-40 40 p.

    Research output: Working paper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  81. Computational Thinking is Pervasive

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

    Research output: Contribution to journalArticle

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

  84. A Very Mathematical Dilemma

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

    Research output: Contribution to journalArticle

  85. Constructing, Selecting and Repairing Representations of Knowledge

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  125. Dynamic Ontology Refinement

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  145. Automatic guidance of program synthesis proofs

    Bundy, A. 2000

    Research output: Working paperDiscussion paper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  164. 1998
  165. 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

  166. The Method of Assigning Incidences

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

    Research output: Contribution to journalArticle

  167. Adversarial Planning in Complex Domains

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

    Research output: Working paperDiscussion paper

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

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

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

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

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

  173. The Termination of Rippling and Unblocking

    Bundy, A. 1998 (DAI Research Paper 880)

    Research output: Working paper

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

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

    Bundy, A. 1997 In : Supplement 1.

    Research output: Contribution to journalArticle

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

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

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

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

  181. Automation of Diagrammatic Proofs in Mathematics

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

    Research output: Contribution to journalArticle

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

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

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

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

  191. Rippling: greatest hits

    Bundy, A. 4 Apr 1996

    Research output: Working paperDiscussion paper

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

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

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

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

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

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

  198. Planning and Proof Planning

    Melis, E. & Bundy, A. 1996

    Research output: Contribution to conferencePaper

  199. Proof Planning and Configuration

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

  208. The New Software Copyright Law

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

    Research output: Contribution to journalArticle

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

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

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

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

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

  215. Can theorem proving keep the planes flying

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

  222. `Semantic procedure' is an oxymoron

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

    Research output: Contribution to journalArticle

  223. 1992
  224. How to solve it by induction

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

    Research output: Working paperDiscussion paper

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

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

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

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

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

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

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

  232. Using failure to guide inductive proof

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  260. Artificial Intellignce: Art or Science?

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

    Research output: Contribution to journalArticle

  261. Evaluating Prolog environments

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

    Research output: Contribution to journalArticle

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

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

  264. Probability, Truth and Logic: Reply to Cheeseman

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

    Research output: Contribution to journalArticle

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

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

  267. The EcoLogic System

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

    Research output: Book/ReportBook

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

  269. 1987
  270. AI Bridges and Dreams

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

    Research output: Working paper

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

  281. A proposed prolog story

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

    Research output: Working paper

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

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

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

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

  287. Incidence Calculus: A Mechanism for Probabilistic Reasoning

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

    Research output: Contribution to journalArticle

  288. Poof Analysis: A technique for Concept Formation

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

    Research output: Contribution to journalArticle

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

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

  291. The researchers' bible

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

    Research output: Book/ReportBook

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

  294. A Catalogue of Artificial Intelligence Techniques

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

    Research output: Book/ReportAnthology

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

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

  297. Intelligent Front Ends

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

    Research output: Contribution to journalArticle

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

  299. Topics for Circumscription

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

    Research output: Contribution to journalArticle

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

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

    Research output: Working paper

  301. 1983
  302. The Computer Modelling of Mathematical Reasoning

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

    Research output: Book/ReportBook

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

    Bundy, A. 1983 William Kaufmann Inc.

    Research output: Book/ReportAnthology

  304. The Nature of AI: A reply to Schank

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

    Research output: Contribution to journalArticle

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

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

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

    Research output: Contribution to journalArticle

  308. A Critical Survey of Rule Learning Programs

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

    Research output: Contribution to journalArticle

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

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

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

  313. Meta-level inference in Algebra

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

    Research output: Working paper

  314. Using Matching in Algebraic Equation Solving

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

    Research output: Contribution to journalArticle

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

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

  318. 1979
  319. A treatise on elementary equation solving

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

    Research output: Working paper

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

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

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

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

    Research output: Contribution to journalArticle

  324. Similarity classes

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

    Research output: Working paper

  325. Artificial Intelligence: An introductory course

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

    Research output: Book/ReportBook

  326. Computational Models for Problem Solving

    Bundy, A. 1978 The Open University Press.

    Research output: Book/ReportBook

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

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

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

    Research output: Working paper

  330. Can Domain Specific Knowledge be Generalised?

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

    Research output: Contribution to journalArticle

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

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

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

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

    Research output: Working paperDiscussion paper

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

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

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

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

    Research output: Contribution to journalArticle

  340. Doing arithmetic with diagrams

    Bundy, A. 1973 Proceedings of IJCAI-3.

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