Edinburgh Research Explorer
  1. Computer-aided design of programs in the domain of ecological modelling

    Bundy, A., Uschold, M., Muetzelfeldt, R. & Robertson, D.

    1/10/8630/09/89

    Project: Other (Non-Funded/Miscellaneous)

  2. Controlling Inference in a Semantically Rich Domain

    Bundy, A.

    1/10/7830/09/81

    Project: Other (Non-Funded/Miscellaneous)

  3. Difference reduction techniques in automating theorem proving

    Bundy, A.

    1/10/9631/12/96

    Project: Other (Non-Funded/Miscellaneous)

  4. EMR for Catalogue of AI Tools

    Bundy, A.

    1/10/8530/09/87

    Project: Other (Non-Funded/Miscellaneous)

  5. EU Open Knowledge Project

    Bundy, A.

    1/10/0630/09/08

    Project: Other (Non-Funded/Miscellaneous)

  6. Evaluating Prolog Environments

    Bundy, A. & Pain, H.

    1/10/8530/09/88

    Project: Other (Non-Funded/Miscellaneous)

  7. Faulty Ontology Detection and Repair

    Bundy, A.

    Non-EU industry, commerce and public corporations

    1/10/1630/09/20

    Project: Research

  8. Formal and Informal Proofs in the Computer Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/9330/09/94

    Project: Other (Non-Funded/Miscellaneous)