Edinburgh Research Explorer

Prof Alan Bundy

Professor

1 - 50 out of 62Page size: 50
???rss???
Sort by: Created date

  1. EU Open Knowledge Project

    Bundy, A.

    1/10/06 → 30/09/08

    Project: Other (Non-Funded/Miscellaneous)

  2. Unifying proof plans and schemas for program synthesis and transformation'

    Bundy, A.

    1/10/98 → 1/10/99

    Project: Other (Non-Funded/Miscellaneous)

  3. Automated Deduction and Program Synthesis

    Bundy, A.

    1/10/97 → 30/09/98

    Project: Other (Non-Funded/Miscellaneous)

  4. Automatic Guidance of Mechanically Generated Proofs

    Bundy, A. & Gordon, M.

    1/10/97 → 30/09/99

    Project: Other (Non-Funded/Miscellaneous)

  5. Difference reduction techniques in automating theorem proving

    Bundy, A.

    1/10/96 → 31/12/96

    Project: Other (Non-Funded/Miscellaneous)

  6. Computational Modelling of Mathematical Reasoning

    Bundy, A., Ireland, A., Lowe, H. & Smaill, A.

    1/10/96 → 30/09/99

    Project: Other (Non-Funded/Miscellaneous)

  7. Automation of program synthesis in proof planning

    Bundy, A. & Giunchiglia, F.

    1/10/95 → 30/09/97

    Project: Other (Non-Funded/Miscellaneous)

  8. Analogy in Theorem Proving using Proof Plans

    Bundy, A.

    1/10/94 → 30/09/95

    Project: Other (Non-Funded/Miscellaneous)

  9. Computational Modelling of Mathematical Reasoning

    Bundy, A., Ireland, A., Lowe, H. & Smaill, A.

    1/10/94 → 30/09/97

    Project: Other (Non-Funded/Miscellaneous)

  10. Formal and Informal Proofs in the Computer Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/93 → 30/09/94

    Project: Other (Non-Funded/Miscellaneous)

  11. Automatic inductive proof

    Bundy, A. & Stevens, A.

    1/10/93 → 30/09/96

    Project: Other (Non-Funded/Miscellaneous)

  12. Logic program synthesis and transformation

    Bundy, A.

    1/10/93 → 30/09/96

    Project: Other (Non-Funded/Miscellaneous)

  13. Studies in the Sociology of Proof

    Bundy, A. & McKenzie, D.

    1/10/93 → 30/09/95

    Project: Other (Non-Funded/Miscellaneous)

  14. Communication in Safety Cases - A Semantic Approach

    Bundy, A. & Robertson, D.

    1/10/93 → 30/09/96

    Project: Other (Non-Funded/Miscellaneous)

  15. The Automation of Proof by Mathematical Induction

    Bundy, A.

    1/10/92 → 30/09/94

    Project: Other (Non-Funded/Miscellaneous)

  16. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/92 → 30/09/96

    Project: Other (Non-Funded/Miscellaneous)

  17. Program Synthesis and Transformation using Intuitionist Type Theory and Proof Plans

    Bundy, A.

    1/10/90 → 30/09/91

    Project: Other (Non-Funded/Miscellaneous)

  18. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/90 → 30/09/94

    Project: Other (Non-Funded/Miscellaneous)

  19. Logical Frameworks

    Bundy, A. & Smaill, A.

    1/10/89 → 30/09/91

    Project: Other (Non-Funded/Miscellaneous)

  20. Computational Logic

    Bundy, A. & Hesketh, J.

    1/10/89 → 30/09/91

    Project: Other (Non-Funded/Miscellaneous)

  21. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/87 → 30/09/91

    Project: Other (Non-Funded/Miscellaneous)

  22. Computer-aided design of programs in the domain of ecological modelling

    Bundy, A., Uschold, M., Muetzelfeldt, R. & Robertson, D.

    1/10/86 → 30/09/89

    Project: Other (Non-Funded/Miscellaneous)

  23. Machine Learning and Knowledge Acquisition

    Bundy, A. & Kodrato, Y.

    1/10/86 → 30/09/87

    Project: Other (Non-Funded/Miscellaneous)

  24. Evaluating Prolog Environments

    Bundy, A. & Pain, H.

    1/10/85 → 30/09/88

    Project: Other (Non-Funded/Miscellaneous)

  25. Proving Properties of Logic Programs

    Bundy, A. & Sannella, D.

    1/10/85 → 30/09/88

    Project: Other (Non-Funded/Miscellaneous)

  26. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/85 → 30/09/89

    Project: Other (Non-Funded/Miscellaneous)

  27. EMR for Catalogue of AI Tools

    Bundy, A.

    1/10/85 → 30/09/87

    Project: Other (Non-Funded/Miscellaneous)

  28. The provision of support services for the Alvey IKBS Intelligent Front Ends Theme Co-ordinator

    Bundy, A.

    1/10/83 → 30/09/84

    Project: Other (Non-Funded/Miscellaneous)

  29. Reasoning about the User in an Intelligent Knowledge-Based Training and Aid System

    Bundy, A., Howe, J. & Ross, P.

    1/10/83 → 30/09/86

    Project: Other (Non-Funded/Miscellaneous)

  30. An Expert System for Ecological Modelling

    Bundy, A. & Muetzelfeldt, R.

    1/10/83 → 30/09/86

    Project: Other (Non-Funded/Miscellaneous)

  31. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/82 → 30/09/86

    Project: Other (Non-Funded/Miscellaneous)

  32. Methods of Teaching PROLOG Programming

    Bundy, A. & Pain, H.

    1/10/82 → 30/09/84

    Project: Other (Non-Funded/Miscellaneous)

  33. A Self Improving Algebra System

    Bundy, A.

    1/10/80 → 30/09/83

    Project: Other (Non-Funded/Miscellaneous)

  34. A Program to Solve Mechanics Problems Stated in English

    Bundy, A.

    1/10/75 → 30/09/78

    Project: Other (Non-Funded/Miscellaneous)

  35. Controlling Inference in a Semantically Rich Domain

    Bundy, A.

    1/10/78 → 30/09/81

    Project: Other (Non-Funded/Miscellaneous)

  36. FRANK: A Query Answering Framework Using Functional Inferences Over Heterogeneous Data

    Bundy, A. & Fan, W.

    Non-EU industry, commerce and public corporations

    1/02/18 → 31/01/21

    Project: Research

  37. The integration and interaction of multiple mathematical Reasoning Processes

    Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., Mcneill, F., Michaelson, G. & Smaill, A.

    EPSRC

    1/11/15 → 31/10/19

    Project: Research

  38. Faulty Ontology Detection and Repair

    Bundy, A.

    Non-EU industry, commerce and public corporations

    1/10/16 → 30/09/20

    Project: Research

  39. A CATEGORY-THEORETIC FRAMEWORK FOR ONTOLOGY MANAGEMENT

    Bundy, A.

    Non-EU other

    1/01/09 → 30/09/12

    Project: Research

  40. Machine assisted inter-agency communication during emergency response

    Mcneill, F. & Bundy, A.

    Non-EU industry, commerce and public corporations

    16/12/11 → 15/12/12

    Project: Research

  41. The integration and interaction of multiple mathematical reasoning processes

    Bundy, A., Aspinall, D., Fleuriot, J., Jackson, P., Smaill, A., Colton, S., Ireland, A. & Michaelson, G.

    EPSRC

    1/08/11 → 31/07/15

    Project: Research

  42. Computational Logic ( Compulog 2)

    Bundy, A.

    EU government bodies

    1/09/95 → 30/09/95

    Project: Research

  43. A FRAMEWORK FOR RECORDING, RELATING AND COMBING A HETEROGENEOUS COLLECTION OF HP ONTOLOGIES FOR ENTERPRISE INFORMATION MANAGEMENT

    Bundy, A.

    Non-EU industry, commerce and public corporations

    1/08/08 → 30/09/09

    Project: Research

  44. The use of data-mining techniquesfor the automatic foramtion of tactics.

    Bundy, A. & Levine, J.

    EPSRC

    15/03/04 → 14/03/06

    Project: Research

  45. Application of deductive synthesis techniques to the rapid assembly of grid applications

    Bundy, A.

    EPSRC

    1/01/03 → 28/02/06

    Project: Research

  46. Interpreting and integrating mismatched data on the fly

    Bundy, A. & Mcneill, F.

    EPSRC

    30/05/12 → 29/05/13

    Project: Research

  47. Computational modelling of mathematical reasoning

    Bundy, A., Dennis, L., Fleuriot, J., Ireland, A., Jackson, P., Richardson, J. & Smaill, A.

    EPSRC

    1/10/98 → 30/09/02

    Project: Research

  48. Applying HR to the Study of Zariski Spaces

    Bundy, A.

    EPSRC

    8/04/02 → 7/04/03

    Project: Research

  49. Automatic conjecture making in mathematics

    Bundy, A.

    EPSRC

    1/11/99 → 31/10/02

    Project: Research

  50. The 2010 Federated Logic Conference

    Plotkin, G., Bundy, A. & Libkin, L.

    EPSRC

    1/02/10 → 31/10/10

    Project: Research

Previous 1 2 Next