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)

Previous 1 2 3 4 5 6 7 Next