Edinburgh Research Explorer
  1. A CATEGORY-THEORETIC FRAMEWORK FOR ONTOLOGY MANAGEMENT

    Bundy, A.

    Non-EU other

    1/01/0930/09/12

    Project: Research

  2. A Program to Solve Mechanics Problems Stated in English

    Bundy, A.

    1/10/7530/09/78

    Project: Other (Non-Funded/Miscellaneous)

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

    Bundy, A. & Fan, W.

    Non-EU industry, commerce and public corporations

    1/02/1831/01/21

    Project: Research

  4. A Self Improving Algebra System

    Bundy, A.

    1/10/8030/09/83

    Project: Other (Non-Funded/Miscellaneous)

  5. A14FM : using A1 to aid automation of proof search in formal methods

    Bundy, A., Bundy, A., Grov, G., Ireland, A. & Jones, C. B.

    EPSRC

    1/04/1031/03/14

    Project: Research

  6. AUTOMATED DISCOVERY OF MATHEMATICS

    Bundy, A., Colton, S. & Smith, P.

    EPSRC

    1/08/0331/08/06

    Project: Research

  7. An Expert System for Ecological Modelling

    Bundy, A. & Muetzelfeldt, R.

    1/10/8330/09/86

    Project: Other (Non-Funded/Miscellaneous)

  8. Analogy in Theorem Proving using Proof Plans

    Bundy, A.

    1/10/9430/09/95

    Project: Other (Non-Funded/Miscellaneous)

  9. Applying HR to the Study of Zariski Spaces

    Bundy, A.

    EPSRC

    8/04/027/04/03

    Project: Research

  10. Automated Deduction and Program Synthesis

    Bundy, A.

    1/10/9730/09/98

    Project: Other (Non-Funded/Miscellaneous)

  11. Automated Theorem Discovery

    McCasland, R. & Bundy, A.

    EPSRC

    1/11/0731/12/11

    Project: Research

  12. Automatic Guidance of Mechanically Generated Proofs

    Bundy, A. & Gordon, M.

    1/10/9730/09/99

    Project: Other (Non-Funded/Miscellaneous)

  13. Automatic conjecture making in mathematics

    Bundy, A.

    EPSRC

    1/11/9931/10/02

    Project: Research

  14. Automatic inductive proof

    Bundy, A. & Stevens, A.

    1/10/9330/09/96

    Project: Other (Non-Funded/Miscellaneous)

  15. Automation of program synthesis in proof planning

    Bundy, A. & Giunchiglia, F.

    1/10/9530/09/97

    Project: Other (Non-Funded/Miscellaneous)

  16. CALCULEMUS - Systems for Integrated Computation and Deduction

    Bundy, A.

    EU government bodies

    1/09/0031/08/04

    Project: Research

  17. Communication in Safety Cases - A Semantic Approach

    Bundy, A. & Robertson, D.

    1/10/9330/09/96

    Project: Other (Non-Funded/Miscellaneous)

  18. Computational Logic

    Bundy, A. & Hesketh, J.

    1/10/8930/09/91

    Project: Other (Non-Funded/Miscellaneous)

  19. Computational Logic ( Compulog 2)

    Bundy, A.

    EU government bodies

    1/09/9530/09/95

    Project: Research

  20. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/9230/09/96

    Project: Other (Non-Funded/Miscellaneous)

  21. Computational Modelling of Mathematical Reasoning

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

    1/10/9630/09/99

    Project: Other (Non-Funded/Miscellaneous)

  22. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8230/09/86

    Project: Other (Non-Funded/Miscellaneous)

  23. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8530/09/89

    Project: Other (Non-Funded/Miscellaneous)

  24. Computational Modelling of Mathematical Reasoning

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

    1/10/9430/09/97

    Project: Other (Non-Funded/Miscellaneous)

  25. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8730/09/91

    Project: Other (Non-Funded/Miscellaneous)

  26. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/9030/09/94

    Project: Other (Non-Funded/Miscellaneous)

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

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

  29. Controlling Inference in a Semantically Rich Domain

    Bundy, A.

    1/10/7830/09/81

    Project: Other (Non-Funded/Miscellaneous)

  30. Difference reduction techniques in automating theorem proving

    Bundy, A.

    1/10/9631/12/96

    Project: Other (Non-Funded/Miscellaneous)

  31. EMR for Catalogue of AI Tools

    Bundy, A.

    1/10/8530/09/87

    Project: Other (Non-Funded/Miscellaneous)

  32. EU Open Knowledge Project

    Bundy, A.

    1/10/0630/09/08

    Project: Other (Non-Funded/Miscellaneous)

  33. Evaluating Prolog Environments

    Bundy, A. & Pain, H.

    1/10/8530/09/88

    Project: Other (Non-Funded/Miscellaneous)

  34. Faulty Ontology Detection and Repair

    Bundy, A.

    Non-EU industry, commerce and public corporations

    1/10/1630/09/20

    Project: Research

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

    Bundy, A.

    1/10/9330/09/94

    Project: Other (Non-Funded/Miscellaneous)

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

  37. Logic program synthesis and transformation

    Bundy, A.

    1/10/9330/09/96

    Project: Other (Non-Funded/Miscellaneous)

  38. Logical Frameworks

    Bundy, A. & Smaill, A.

    1/10/8930/09/91

    Project: Other (Non-Funded/Miscellaneous)

  39. Machine Learning and Knowledge Acquisition

    Bundy, A. & Kodrato, Y.

    1/10/8630/09/87

    Project: Other (Non-Funded/Miscellaneous)

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

  41. Mechanising first - Order temporal logics

    Bundy, A. & Smaill, A.

    EPSRC

    5/07/994/07/02

    Project: Research

  42. Methods of Teaching PROLOG Programming

    Bundy, A. & Pain, H.

    1/10/8230/09/84

    Project: Other (Non-Funded/Miscellaneous)

  43. Ontology Evolution in Physics

    Bundy, A.

    EPSRC

    1/07/0831/12/11

    Project: Research

Previous 1 2 Next