Edinburgh Research Explorer
  1. 2018
  2. Calculating Error Bars on Inferences from Web Data

    Nuamah, K. & Bundy, A. 8 Feb 2018 SAI Intelligent Systems Conference (IntelliSys). IEEE, 11 p.

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

  3. 2017
  4. MATHsAiD: Automated Mathematical Theory Exploration

    Bundy, A., McCasland, R. & Smith, P. Oct 2017 In : Applied Intelligence. 47, 3, p. 585-606 22 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

    Research output: Working paper

  14. 2015
  15. Could a Computer Create its Own Representations?

    Bundy, A. 5 Dec 2015 2 p.

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  83. Computational Thinking is Pervasive

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

    Research output: Contribution to journalArticle

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

  86. A Very Mathematical Dilemma

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

    Research output: Contribution to journalArticle

  87. Constructing, Selecting and Repairing Representations of Knowledge

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  127. Dynamic Ontology Refinement

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

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

  142. AI's greatest trends and controversies

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

    Research output: Contribution to journalArticle

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

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

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

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

  147. Automatic guidance of program synthesis proofs

    Bundy, A. 2000

    Research output: Working paperDiscussion paper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  168. The Method of Assigning Incidences

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

    Research output: Contribution to journalArticle

  169. A Science of Reasoning (Extended Abstract)

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

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

  170. Adversarial Planning in Complex Domains

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

    Research output: Working paperDiscussion paper

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

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

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

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

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

  176. The Termination of Rippling and Unblocking

    Bundy, A. 1998 (DAI Research Paper 880)

    Research output: Working paper

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

  178. 1997
  179. 'Incidence Calculus' in the Encylopedia of Mathematics

    Bundy, A. 1997 In : Supplement 1.

    Research output: Contribution to journalArticle

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

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

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

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

  184. Automation of Diagrammatic Proofs in Mathematics

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

    Research output: Contribution to journalArticle

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

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

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

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

  194. Rippling: greatest hits

    Bundy, A. 4 Apr 1996

    Research output: Working paperDiscussion paper

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

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

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

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

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

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

  201. Planning and Proof Planning

    Melis, E. & Bundy, A. 1996

    Research output: Contribution to conferencePaper

  202. Proof Planning and Configuration

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

  211. The New Software Copyright Law

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

    Research output: Contribution to journalArticle

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

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

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

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

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

  218. Can theorem proving keep the planes flying

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

  225. `Semantic procedure' is an oxymoron

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

    Research output: Contribution to journalArticle

  226. 1992
  227. How to solve it by induction

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

    Research output: Working paperDiscussion paper

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

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

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

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

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

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

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

  235. Using failure to guide inductive proof

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  263. Artificial Intellignce: Art or Science?

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

    Research output: Contribution to journalArticle

  264. Evaluating Prolog environments

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

    Research output: Contribution to journalArticle

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

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

  267. Probability, Truth and Logic: Reply to Cheeseman

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

    Research output: Contribution to journalArticle

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

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

  270. The EcoLogic System

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

    Research output: Book/ReportBook

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

  272. 1987
  273. AI Bridges and Dreams

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

  281. 1986
  282. Proving properties of logic programs: summary of progress

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

    Research output: Working paper

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

  284. A proposed prolog story

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

    Research output: Working paper

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

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

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

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

  290. Incidence Calculus: A Mechanism for Probabilistic Reasoning

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

    Research output: Contribution to journalArticle

  291. Poof Analysis: A technique for Concept Formation

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

    Research output: Contribution to journalArticle

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

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

  294. The researchers' bible

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

    Research output: Book/ReportBook

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

  297. A Catalogue of Artificial Intelligence Techniques

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

    Research output: Book/ReportAnthology

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

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

  300. Intelligent Front Ends

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

    Research output: Contribution to journalArticle

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

  302. Topics for Circumscription

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

    Research output: Contribution to journalArticle

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

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

    Research output: Working paper

  304. 1983
  305. The Computer Modelling of Mathematical Reasoning

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

    Research output: Book/ReportBook

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

    Bundy, A. 1983 William Kaufmann Inc.

    Research output: Book/ReportAnthology

  307. The Nature of AI: A reply to Schank

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

    Research output: Contribution to journalArticle

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

  309. 1982
  310. What Is The Well-Dressed AI Educator Wearing Now?

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

    Research output: Contribution to journalArticle

  311. A Critical Survey of Rule Learning Programs

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

    Research output: Contribution to journalArticle

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

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

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

  316. Meta-level inference in Algebra

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

    Research output: Working paper

  317. Using Matching in Algebraic Equation Solving

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

    Research output: Contribution to journalArticle

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

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

  321. 1979
  322. A treatise on elementary equation solving

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

    Research output: Working paper

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

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

  325. 1978
  326. Will It Reach the Top? Prediction in the Mechanics World

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

    Research output: Contribution to journalArticle

  327. Similarity classes

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

    Research output: Working paper

  328. Artificial Intelligence: An introductory course

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

    Research output: Book/ReportBook

  329. Computational Models for Problem Solving

    Bundy, A. 1978 The Open University Press.

    Research output: Book/ReportBook

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

  331. 1977
  332. Exploiting the properties of functions to control search

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

    Research output: Working paper

  333. Can Domain Specific Knowledge be Generalised?

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

    Research output: Contribution to journalArticle

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

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

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

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

    Research output: Working paperDiscussion paper

  338. 1975
  339. 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

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

  341. 1973
  342. A note on omitting the replacement schema

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

    Research output: Contribution to journalArticle

  343. Doing arithmetic with diagrams

    Bundy, A. 1973 Proceedings of IJCAI-3.

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