Edinburgh Research Explorer
  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/1831/01/19

    Project: Research

  2. Faulty Ontology Detection and Repair

    Bundy, A.

    Non-EU industry, commerce and public corporations

    1/10/1630/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/1531/10/19

    Project: Research

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

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

  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/1031/03/14

    Project: Research

  7. The 2010 Federated Logic Conference

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

    EPSRC

    1/02/1031/10/10

    Project: Research

  8. A CATEGORY-THEORETIC FRAMEWORK FOR ONTOLOGY MANAGEMENT

    Bundy, A.

    Non-EU other

    1/01/0930/09/12

    Project: Research

  9. Ontology Evolution in Physics

    Bundy, A.

    EPSRC

    1/07/0831/12/11

    Project: Research

  10. Automated Theorem Discovery

    McCasland, R. & Bundy, A.

    EPSRC

    1/11/0731/12/11

    Project: Research

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

  12. EU Open Knowledge Project

    Bundy, A.

    1/10/0630/09/08

    Project: Other (Non-Funded/Miscellaneous)

  13. AUTOMATED DISCOVERY OF MATHEMATICS

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

    EPSRC

    1/08/0331/08/06

    Project: Research

Previous 1 2 3 4 Next