Edinburgh Research Explorer
  1. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8730/09/91

    Project: Other (Non-Funded/Miscellaneous)

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

  3. Machine Learning and Knowledge Acquisition

    Bundy, A. & Kodrato, Y.

    1/10/8630/09/87

    Project: Other (Non-Funded/Miscellaneous)

  4. Evaluating Prolog Environments

    Bundy, A. & Pain, H.

    1/10/8530/09/88

    Project: Other (Non-Funded/Miscellaneous)

  5. Proving Properties of Logic Programs

    Bundy, A. & Sannella, D.

    1/10/8530/09/88

    Project: Other (Non-Funded/Miscellaneous)

  6. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8530/09/89

    Project: Other (Non-Funded/Miscellaneous)

  7. EMR for Catalogue of AI Tools

    Bundy, A.

    1/10/8530/09/87

    Project: Other (Non-Funded/Miscellaneous)

  8. Reasoning about the User in an Intelligent Knowledge-Based Training and Aid System

    Bundy, A., Howe, J. & Ross, P.

    1/10/8330/09/86

    Project: Other (Non-Funded/Miscellaneous)

  9. An Expert System for Ecological Modelling

    Bundy, A. & Muetzelfeldt, R.

    1/10/8330/09/86

    Project: Other (Non-Funded/Miscellaneous)