Edinburgh Research Explorer

Prof Alan Bundy

Professor

1 - 20 out of 62Page size: 20
???rss???
Sort by: Start date

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

    Project: Research

  2. Faulty Ontology Detection and Repair

    Bundy, A.

    Non-EU industry, commerce and public corporations

    1/10/16 → 30/09/20

    Project: Research

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

  4. Interpreting and integrating mismatched data on the fly

    Bundy, A. & McNeill, F.

    EPSRC

    30/05/12 → 29/05/13

    Project: Research

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

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

  7. The potential of automated reasoning tools to assist the working mathematician

    Bundy, A., Aspinall, D. & Dixon, L.

    EPSRC

    1/10/10 → 31/12/10

    Project: Research

  8. 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/10 → 31/03/14

    Project: Research

  9. The 2010 Federated Logic Conference

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

    EPSRC

    1/02/10 → 31/10/10

    Project: Research

  10. A CATEGORY-THEORETIC FRAMEWORK FOR ONTOLOGY MANAGEMENT

    Bundy, A.

    Non-EU other

    1/01/09 → 30/09/12

    Project: Research

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

  12. Ontology Evolution in Physics

    Bundy, A.

    EPSRC

    1/07/08 → 31/12/11

    Project: Research

  13. Automated Theorem Discovery

    McCasland, R. & Bundy, A.

    EPSRC

    1/11/07 → 31/12/11

    Project: Research

  14. 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/07 → 31/03/11

    Project: Research

  15. EU Open Knowledge Project

    Bundy, A.

    1/10/06 → 30/09/08

    Project: Other (Non-Funded/Miscellaneous)

  16. AUTOMATED ANALYSIS OF SECURITY CRITICAL SYSTEMS

    Bundy, A. & Fleuriot, J.

    EPSRC

    1/10/04 → 30/09/07

    Project: Research

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

    Bundy, A. & Levine, J.

    EPSRC

    15/03/04 → 14/03/06

    Project: Research

  18. INFERRING QUALITY OF SERVICE PROPERTIES FOR GRID APPLICATIONS

    Bundy, A. & Anderson, S.

    EPSRC

    1/10/03 → 30/09/06

    Project: Research

  19. AUTOMATED DISCOVERY OF MATHEMATICS

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

    EPSRC

    1/08/03 → 31/08/06

    Project: Research

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

    Bundy, A.

    EPSRC

    1/01/03 → 28/02/06

    Project: Research

Previous 1 2 3 4 Next