Find Research Projects

Search results

• Finished

  Computational Logic

  Bundy, A. & Hesketh, J.

  1/10/89 → 30/09/91

  Project: Other (Non-Funded/Miscellaneous)

• Logical Frameworks

  Bundy, A. & Smaill, A.

  1/10/89 → 30/09/91

  Project: Other (Non-Funded/Miscellaneous)

• Royal Society European Fellowship

  McHale, G.

  15/02/89 → 15/02/90

  Project: Project from a former institution

• Department of Surgical Neurology Research Fund

  Whittle, I.

  Other

  1/01/89 → 31/12/99

  Project: Research

• Computational Modelling of Mathematical Reasoning

  Bundy, A.

  1/10/87 → 30/09/91

  Project: Other (Non-Funded/Miscellaneous)

• Planning data management service

  Dowers, S.

  UK central government bodies/local authorities, health and hospital authorities

  29/07/87 → 31/03/03

  Project: Research

• Machine Learning and Knowledge Acquisition

  Bundy, A. & Kodrato, Y.

  1/10/86 → 30/09/87

  Project: Other (Non-Funded/Miscellaneous)

• Computer-aided design of programs in the domain of ecological modelling

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

  1/10/86 → 30/09/89

  Project: Other (Non-Funded/Miscellaneous)

• Support for postdoc appointment

  Murray, K., Leach, D. & Murray, N.

  UK industry, commerce and public corporations

  4/02/86 → 31/12/15

  Project: Research

• Computational Modelling of Mathematical Reasoning

  Bundy, A.

  1/10/85 → 30/09/89

  Project: Other (Non-Funded/Miscellaneous)

• EMR for Catalogue of AI Tools

  Bundy, A.

  1/10/85 → 30/09/87

  Project: Other (Non-Funded/Miscellaneous)

• Proving Properties of Logic Programs

  Bundy, A. & Sannella, D.

  1/10/85 → 30/09/88

  Project: Other (Non-Funded/Miscellaneous)

• Evaluating Prolog Environments

  Bundy, A. & Pain, H.

  1/10/85 → 30/09/88

  Project: Other (Non-Funded/Miscellaneous)

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

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

  1/10/83 → 30/09/86

  Project: Other (Non-Funded/Miscellaneous)

• The provision of support services for the Alvey IKBS Intelligent Front Ends Theme Co-ordinator

  Bundy, A.

  1/10/83 → 30/09/84

  Project: Other (Non-Funded/Miscellaneous)

• An Expert System for Ecological Modelling

  Bundy, A. & Muetzelfeldt, R.

  1/10/83 → 30/09/86

  Project: Other (Non-Funded/Miscellaneous)

• Computational Modelling of Mathematical Reasoning

  Bundy, A.

  1/10/82 → 30/09/86

  Project: Other (Non-Funded/Miscellaneous)

• Methods of Teaching PROLOG Programming

  Bundy, A. & Pain, H.

  1/10/82 → 30/09/84

  Project: Other (Non-Funded/Miscellaneous)

• Miscellaneous Research

  McIntosh, N.

  Non-EU other

  1/03/81 → 31/12/99

  Project: Research

• A Self Improving Algebra System

  Bundy, A.

  1/10/80 → 30/09/83

  Project: Other (Non-Funded/Miscellaneous)

• IN SUPPORT OF RESEARCH

  Fox, K.

  UK-based charities

  1/05/80 → 31/12/02

  Project: Research

• Controlling Inference in a Semantically Rich Domain

  Bundy, A.

  1/10/78 → 30/09/81

  Project: Other (Non-Funded/Miscellaneous)

• A Program to Solve Mechanics Problems Stated in English

  Bundy, A.

  1/10/75 → 30/09/78

  Project: Other (Non-Funded/Miscellaneous)

• Curtailed

  New Hierarchies, Cutting Planes, and Algorithms for Mixed Integer Optimization

  Gupte, A.

  1/08/19 → 31/07/20

  Project: Project from a former institution

• Streamlining petrophysics workflows with machine learning

  Brown, N. & MacGregor, L.

  1/05/18 → 28/02/19

  Project: Research

• PTAS 15:LEVY

  Levy, S.

  13/02/15 → 11/08/15

  Project: University Awarded Project Funding

• Title Sequences for Television Series

  Davison, A.

  Other Competitive Uk Charity Sources

  1/12/13 → 31/08/15

  Project: Research

• The Walls of the Ming Capitals: Library, Museum and Site Research (2013).

  McDowall, S.

  Other Competitive Uk Charity Sources

  1/07/13 → 1/04/15

  Project: Research

• Visit to the University of Southern California. RSE International Exchange Programme. Open - Travel FROM Scotland

  Chrisman, M.

  Royal Society Of Edinburgh

  1/01/12 → 1/02/12

  Project: Research

• Music as the doorway to emotion understanding in individuals with Autism Spectrum Disorder

  Molnar-Szakacs, I. & Overy, K.

  Overseas Charities Open Comp P

  1/06/11 → 23/07/14

  Project: Research

• International Exchange Programme for Dr Saito Satoru

  Logie, P.

  Royal Society Of Edinburgh

  1/09/10 → 30/10/10

  Project: Research

• Silent Scotland?: An exploration of the sonic and musical practices used in film exhibition and pre-cinema entertainments in Scotland.

  Davison, A.

  Other Competitive Uk Charity Sources

  1/07/09 → 31/10/10

  Project: Research

• Carnegie Small Grant: Computational modelling of human visual working memory.

  Logie, P.

  Other Competitive Uk Charity Sources

  1/03/09 → 30/09/09

  Project: Research

• Explaining policy participation in war crimes: apilot scheme

  Aydin-Aitchison, A.

  Other Competitive Uk Charity Sources

  31/07/08 → 1/04/16

  Project: Research

• PROFESSOR ROBERT H. LOGIE'S ROLE OF EDITOR OF THE QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY

  Logie, P.

  Other Competitive Uk Charity Sources

  1/02/04 → 31/12/05

  Project: Research