Edinburgh Research Explorer
  1. Faulty Ontology Detection and Repair

    Bundy, A.

    1/10/1630/09/20

    £50,000, Non-EU industry, commerce and public corporations

    Project: Funded ProjectResearch

  2. Project: Funded ProjectResearch

  3. Project: Funded ProjectResearch

  4. Machine assisted inter-agency communication during emergency response

    McNeill, F. & Bundy, A.

    16/12/1115/12/12

    £49,654, Non-EU industry, commerce and public corporations

    Project: Funded ProjectResearch

  5. Project: Funded ProjectResearch

  6. Project: Funded ProjectResearch

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

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

    1/04/1031/03/14

    £629,217, EPSRC

    Project: Funded ProjectResearch

  8. Project: Funded ProjectResearch

  9. A CATEGORY-THEORETIC FRAMEWORK FOR ONTOLOGY MANAGEMENT

    Bundy, A.

    1/01/0930/09/12

    £187,193, Non-EU other

    Project: Funded ProjectResearch

  10. Project: Funded ProjectResearch

Previous 1 2 3 4 5 6 7 Next