Edinburgh Research Explorer
  1. Unifying proof plans and schemas for program synthesis and transformation'

    Bundy, A.

    1/10/981/10/99

    Project: Other (Non-Funded/Miscellaneous)

  2. 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/1131/07/15

    Project: Research

  3. The integration and interaction of multiple mathematical reasoning processes

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

    EPSRC

    1/10/0230/09/06

    Project: Research

  4. 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/1531/10/19

    Project: Research

  5. The Automation of Proof by Mathematical Induction

    Bundy, A.

    1/10/9230/09/94

    Project: Other (Non-Funded/Miscellaneous)

  6. The 2010 Federated Logic Conference

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

    EPSRC

    1/02/1031/10/10

    Project: Research

  7. Studies in the Sociology of Proof

    Bundy, A. & McKenzie, D.

    1/10/9330/09/95

    Project: Other (Non-Funded/Miscellaneous)

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

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

    1/10/8330/09/86

    Project: Other (Non-Funded/Miscellaneous)

  9. Proving Properties of Logic Programs

    Bundy, A. & Sannella, D.

    1/10/8530/09/88

    Project: Other (Non-Funded/Miscellaneous)

  10. Ontology Evolution in Physics

    Bundy, A.

    EPSRC

    1/07/0831/12/11

    Project: Research

  11. Methods of Teaching PROLOG Programming

    Bundy, A. & Pain, H.

    1/10/8230/09/84

    Project: Other (Non-Funded/Miscellaneous)

  12. Mechanising first - Order temporal logics

    Bundy, A. & Smaill, A.

    EPSRC

    5/07/994/07/02

    Project: Research

  13. Machine assisted inter-agency communication during emergency response

    McNeill, F. & Bundy, A.

    Non-EU industry, commerce and public corporations

    16/12/1115/12/12

    Project: Research

  14. Machine Learning and Knowledge Acquisition

    Bundy, A. & Kodrato, Y.

    1/10/8630/09/87

    Project: Other (Non-Funded/Miscellaneous)

  15. Logical Frameworks

    Bundy, A. & Smaill, A.

    1/10/8930/09/91

    Project: Other (Non-Funded/Miscellaneous)

  16. Logic program synthesis and transformation

    Bundy, A.

    1/10/9330/09/96

    Project: Other (Non-Funded/Miscellaneous)

  17. Integration and Interaction of multiple mathematical reasoning processes

    Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.

    EPSRC

    1/04/0731/03/11

    Project: Research

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

    Bundy, A.

    1/10/9330/09/94

    Project: Other (Non-Funded/Miscellaneous)

  19. Faulty Ontology Detection and Repair

    Bundy, A.

    Non-EU industry, commerce and public corporations

    1/10/1630/09/20

    Project: Research

  20. Evaluating Prolog Environments

    Bundy, A. & Pain, H.

    1/10/8530/09/88

    Project: Other (Non-Funded/Miscellaneous)

  21. EU Open Knowledge Project

    Bundy, A.

    1/10/0630/09/08

    Project: Other (Non-Funded/Miscellaneous)

  22. EMR for Catalogue of AI Tools

    Bundy, A.

    1/10/8530/09/87

    Project: Other (Non-Funded/Miscellaneous)

  23. Difference reduction techniques in automating theorem proving

    Bundy, A.

    1/10/9631/12/96

    Project: Other (Non-Funded/Miscellaneous)

  24. Controlling Inference in a Semantically Rich Domain

    Bundy, A.

    1/10/7830/09/81

    Project: Other (Non-Funded/Miscellaneous)

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

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

    1/10/8630/09/89

    Project: Other (Non-Funded/Miscellaneous)

  26. Computational modelling of mathematical reasoning

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

    EPSRC

    1/10/9830/09/02

    Project: Research

  27. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/9230/09/96

    Project: Other (Non-Funded/Miscellaneous)

  28. Computational Modelling of Mathematical Reasoning

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

    1/10/9630/09/99

    Project: Other (Non-Funded/Miscellaneous)

  29. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8230/09/86

    Project: Other (Non-Funded/Miscellaneous)

  30. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8530/09/89

    Project: Other (Non-Funded/Miscellaneous)

  31. Computational Modelling of Mathematical Reasoning

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

    1/10/9430/09/97

    Project: Other (Non-Funded/Miscellaneous)

  32. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8730/09/91

    Project: Other (Non-Funded/Miscellaneous)

  33. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/9030/09/94

    Project: Other (Non-Funded/Miscellaneous)

  34. Computational Logic ( Compulog 2)

    Bundy, A.

    EU government bodies

    1/09/9530/09/95

    Project: Research

  35. Computational Logic

    Bundy, A. & Hesketh, J.

    1/10/8930/09/91

    Project: Other (Non-Funded/Miscellaneous)

  36. Communication in Safety Cases - A Semantic Approach

    Bundy, A. & Robertson, D.

    1/10/9330/09/96

    Project: Other (Non-Funded/Miscellaneous)

  37. CALCULEMUS - Systems for Integrated Computation and Deduction

    Bundy, A.

    EU government bodies

    1/09/0031/08/04

    Project: Research

  38. Automation of program synthesis in proof planning

    Bundy, A. & Giunchiglia, F.

    1/10/9530/09/97

    Project: Other (Non-Funded/Miscellaneous)

  39. Automatic inductive proof

    Bundy, A. & Stevens, A.

    1/10/9330/09/96

    Project: Other (Non-Funded/Miscellaneous)

  40. Automatic conjecture making in mathematics

    Bundy, A.

    EPSRC

    1/11/9931/10/02

    Project: Research

  41. Automatic Guidance of Mechanically Generated Proofs

    Bundy, A. & Gordon, M.

    1/10/9730/09/99

    Project: Other (Non-Funded/Miscellaneous)

  42. Automated Theorem Discovery

    McCasland, R. & Bundy, A.

    EPSRC

    1/11/0731/12/11

    Project: Research

  43. Automated Deduction and Program Synthesis

    Bundy, A.

    1/10/9730/09/98

    Project: Other (Non-Funded/Miscellaneous)

Previous 1 2 Next