Edinburgh Research Explorer

Prof Alan Bundy

Professor

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

  1. A CATEGORY-THEORETIC FRAMEWORK FOR ONTOLOGY MANAGEMENT

    Bundy, A.

    Non-EU other

    1/01/09 → 30/09/12

    Project: Research

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

  3. A Program to Solve Mechanics Problems Stated in English

    Bundy, A.

    1/10/75 → 30/09/78

    Project: Other (Non-Funded/Miscellaneous)

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

  5. A Self Improving Algebra System

    Bundy, A.

    1/10/80 → 30/09/83

    Project: Other (Non-Funded/Miscellaneous)

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

  7. AUTOMATED ANALYSIS OF SECURITY CRITICAL SYSTEMS

    Bundy, A. & Fleuriot, J.

    EPSRC

    1/10/04 → 30/09/07

    Project: Research

  8. AUTOMATED DISCOVERY OF MATHEMATICS

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

    EPSRC

    1/08/03 → 31/08/06

    Project: Research

  9. An Expert System for Ecological Modelling

    Bundy, A. & Muetzelfeldt, R.

    1/10/83 → 30/09/86

    Project: Other (Non-Funded/Miscellaneous)

  10. Analogy in Theorem Proving using Proof Plans

    Bundy, A.

    1/10/94 → 30/09/95

    Project: Other (Non-Funded/Miscellaneous)

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

    Bundy, A.

    EPSRC

    1/01/03 → 28/02/06

    Project: Research

  12. Applying HR to the Study of Zariski Spaces

    Bundy, A.

    EPSRC

    8/04/02 → 7/04/03

    Project: Research

  13. Automated Deduction and Program Synthesis

    Bundy, A.

    1/10/97 → 30/09/98

    Project: Other (Non-Funded/Miscellaneous)

  14. Automated Theorem Discovery

    McCasland, R. & Bundy, A.

    EPSRC

    1/11/07 → 31/12/11

    Project: Research

  15. Automatic Guidance of Mechanically Generated Proofs

    Bundy, A. & Gordon, M.

    1/10/97 → 30/09/99

    Project: Other (Non-Funded/Miscellaneous)

  16. Automatic conjecture making in mathematics

    Bundy, A.

    EPSRC

    1/11/99 → 31/10/02

    Project: Research

  17. Automatic inductive proof

    Bundy, A. & Stevens, A.

    1/10/93 → 30/09/96

    Project: Other (Non-Funded/Miscellaneous)

  18. Automation of program synthesis in proof planning

    Bundy, A. & Giunchiglia, F.

    1/10/95 → 30/09/97

    Project: Other (Non-Funded/Miscellaneous)

  19. CALCULEMUS - Systems for Integrated Computation and Deduction

    Bundy, A.

    EU government bodies

    1/09/00 → 31/08/04

    Project: Research

  20. Communication in Safety Cases - A Semantic Approach

    Bundy, A. & Robertson, D.

    1/10/93 → 30/09/96

    Project: Other (Non-Funded/Miscellaneous)

Previous 1 2 3 4 Next