Edinburgh Research Explorer
  1. 2019
  2. A Common Type of Rigorous Proof that Resists Hilbert’s Programme

    Bundy, A. & Jamnik, M., 28 Oct 2019, Proof Technology in Mathematics Research and Teaching. Springer-Verlag GmbH, p. 59-71 11 p. (Mathematics Education in the Digital Era; vol. 14).

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

  3. Automating Event-B invariant proofs by rippling and proof patching

    Lin, Y., Bundy, A., Grov, G. & Maclean, E., 2 Jan 2019, In : Formal Aspects of Computing. p. 1-35 35 p.

    Research output: Contribution to journalArticle

  4. 2018
  5. Calculating Error Bars on Inferences from Web Data

    Nuamah, K. & Bundy, A., 8 Nov 2018, SAI Intelligent Systems Conference (IntelliSys). London, United Kingdom: Springer, Cham, p. 618-640 23 p.

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

  6. ABC Repair System for Datalog-like Theories

    Li, X., Bundy, A. & Smaill, A., Sep 2018, 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Seville, Spain: SCITEPRESS, Vol. 2. p. 335-342 8 p.

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

  7. Automated Reasoning in the Age of the Internet

    Bundy, A., Nuamah, K. & Lucas, C., 22 Aug 2018, 13th International Conference on Artificial Intelligence and Symbolic Computation. Suzhou, China: Springer, Cham, Vol. LNAI 11110. p. 3-18 16 p.

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

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

  10. Improving Dynamic Information Exchange in Emergency Response Scenarios

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

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

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

  12. Smart Machines are Not a Threat to Humanity

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

    Research output: Contribution to journalArticle

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

  15. Functional Inferences Over Heterogeneous Data

    Nuamah, K., Bundy, A. & Lucas, C., 26 Aug 2016, Web Reasoning and Rule Systems: International Conference on Web Reasoning and Rule Systems (RR 2016). Aberdeen, United Kingdom: Springer International Publishing, p. 159-166 8 p. (Lecture Notes in Computer Science (LNCS); vol. 9898).

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

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

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

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

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

    Research output: Working paper

  19. 2015
  20. Could a Computer Create its Own Representations?

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  34. The interaction of representation and reasoning

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  88. Computational Thinking is Pervasive

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

    Research output: Contribution to journalArticle

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

  91. A Very Mathematical Dilemma

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

    Research output: Contribution to journalArticle

  92. Constructing, Selecting and Repairing Representations of Knowledge

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

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

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

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

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

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

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

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

  99. MATHsAiD: A Mathematical Theorem Discovery Tool

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Research output: Working paper

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

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

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

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

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

  132. Dynamic Ontology Refinement

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

    Research output: Contribution to conferencePaper

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

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

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

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

  139. Automatic verification of Java design patterns

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

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

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

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

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

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

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

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

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

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

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

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

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

  152. Automatic guidance of program synthesis proofs

    Bundy, A., 2000, (Unpublished).

    Research output: Working paperDiscussion paper

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

  154. Cognitive Psychology Learning and Problem Solving

    Bundy, A., 2000, (Unpublished).

    Research output: Working paper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  174. The Method of Assigning Incidences

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

    Research output: Contribution to journalArticle

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

  176. Adversarial Planning in Complex Domains

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

    Research output: Working paperDiscussion paper

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

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

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

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

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

  182. The Termination of Rippling and Unblocking

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

    Research output: Working paper

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

  184. 1997
  185. 'Incidence Calculus' in the Encylopedia of Mathematics

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

    Research output: Contribution to journalArticle

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

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

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

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

  190. Automation of Diagrammatic Proofs in Mathematics

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

    Research output: Contribution to journalArticle

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

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

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

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

    Research output: Contribution to conferencePaper

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

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

  196. 1996
  197. An Experimental Comparison of Rippling and Exhaustive Rewriting

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

    Research output: Working paper

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

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

  200. Rippling: greatest hits

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

    Research output: Working paperDiscussion paper

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

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

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

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

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

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

  207. Planning and Proof Planning

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

    Research output: Contribution to conferencePaper

  208. Proof Planning and Configuration

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

  217. The New Software Copyright Law

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

    Research output: Contribution to journalArticle

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

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

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

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

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

  224. Can theorem proving keep the planes flying

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

  231. `Semantic procedure' is an oxymoron

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

    Research output: Contribution to journalArticle

  232. 1992
  233. How to solve it by induction

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

    Research output: Working paperDiscussion paper

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

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

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

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

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

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

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

  241. Using failure to guide inductive proof

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  269. Artificial Intellignce: Art or Science?

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

    Research output: Contribution to journalArticle

  270. Evaluating Prolog environments

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

    Research output: Contribution to journalArticle

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

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

  273. Probability, Truth and Logic: Reply to Cheeseman

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

    Research output: Contribution to journalArticle

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

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

  276. The EcoLogic System

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

    Research output: Book/ReportBook

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

  278. 1987
  279. AI Bridges and Dreams

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

  287. 1986
  288. Proving properties of logic programs: summary of progress

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

    Research output: Working paper

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

  290. A proposed prolog story

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

    Research output: Working paper

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

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

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

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

  296. Incidence Calculus: A Mechanism for Probabilistic Reasoning

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

    Research output: Contribution to journalArticle

  297. Poof Analysis: A technique for Concept Formation

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

    Research output: Contribution to journalArticle

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

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

  300. The researchers' bible

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

    Research output: Book/ReportBook

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

  303. A Catalogue of Artificial Intelligence Techniques

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

    Research output: Book/ReportAnthology

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

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

  306. Intelligent Front Ends

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

    Research output: Contribution to journalArticle

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

  308. Topics for Circumscription

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

    Research output: Contribution to journalArticle

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

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

    Research output: Working paper

  310. 1983
  311. The Computer Modelling of Mathematical Reasoning

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

    Research output: Book/ReportBook

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

    Bundy, A., 1983, William Kaufmann Inc.

    Research output: Book/ReportAnthology

  313. The Nature of AI: A reply to Schank

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

    Research output: Contribution to journalArticle

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

  315. 1982
  316. What Is The Well-Dressed AI Educator Wearing Now?

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

    Research output: Contribution to journalArticle

  317. A Critical Survey of Rule Learning Programs

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

    Research output: Contribution to journalArticle

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

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

  320. 1981
  321. An expert system for ecological modelling

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

    Research output: Working paper

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

  323. Meta-level inference in Algebra

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

    Research output: Working paper

  324. Using Matching in Algebraic Equation Solving

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

    Research output: Contribution to journalArticle

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

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

  328. 1979
  329. A treatise on elementary equation solving

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

    Research output: Working paper

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

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

  332. 1978
  333. Will It Reach the Top? Prediction in the Mechanics World

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

    Research output: Contribution to journalArticle

  334. Similarity classes

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

    Research output: Working paper

  335. Artificial Intelligence: An introductory course

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

    Research output: Book/ReportBook

  336. Computational Models for Problem Solving

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

    Research output: Book/ReportBook

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

  338. 1977
  339. Exploiting the properties of functions to control search

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

    Research output: Working paper

  340. Can Domain Specific Knowledge be Generalised?

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

    Research output: Contribution to journalArticle

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

  342. 1976
  343. 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

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

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

    Research output: Working paperDiscussion paper

  345. 1975
  346. A program to solve mechanics problems stated in English

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

    Research output: Working paper

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

  348. 1973
  349. A note on omitting the replacement schema

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

    Research output: Contribution to journalArticle

  350. Doing arithmetic with diagrams

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

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