Find Research Projects

Search results

• A Program to Solve Mechanics Problems Stated in English

  Bundy, A.

  1/10/75 → 30/09/78

  Project: Other (Non-Funded/Miscellaneous)

• Controlling Inference in a Semantically Rich Domain

  Bundy, A.

  1/10/78 → 30/09/81

  Project: Other (Non-Funded/Miscellaneous)

• A Self Improving Algebra System

  Bundy, A.

  1/10/80 → 30/09/83

  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)

• 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)

• Computational Modelling of Mathematical Reasoning

  Bundy, A.

  1/10/82 → 30/09/86

  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)

• An Expert System for Ecological Modelling

  Bundy, A. & Muetzelfeldt, R.

  1/10/83 → 30/09/86

  Project: Other (Non-Funded/Miscellaneous)

• Machine Learning and Knowledge Acquisition

  Bundy, A. & Kodrato, Y.

  1/10/86 → 30/09/87

  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)

• 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)

• Computational Modelling of Mathematical Reasoning

  Bundy, A.

  1/10/85 → 30/09/89

  Project: Other (Non-Funded/Miscellaneous)

• Royal Society European Fellowship

  McHale, G.

  15/02/89 → 15/02/90

  Project: Project from a former institution

• 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)

• Computational Modelling of Mathematical Reasoning

  Bundy, A.

  1/10/87 → 30/09/91

  Project: Other (Non-Funded/Miscellaneous)

• Program Synthesis and Transformation using Intuitionist Type Theory and Proof Plans

  Bundy, A.

  1/10/90 → 30/09/91

  Project: Other (Non-Funded/Miscellaneous)

• Design work for developing a SPAM MK11CMystem

  Hunter, S.

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

  1/05/94 → 31/08/94

  Project: Research

• Formal and Informal Proofs in the Computer Modelling of Mathematical Reasoning

  Bundy, A.

  1/10/93 → 30/09/94

  Project: Other (Non-Funded/Miscellaneous)

• Computational Modelling of Mathematical Reasoning

  Bundy, A. & Smaill, A.

  1/10/90 → 30/09/94

  Project: Other (Non-Funded/Miscellaneous)

• The Automation of Proof by Mathematical Induction

  Bundy, A.

  1/10/92 → 30/09/94

  Project: Other (Non-Funded/Miscellaneous)

• To establish a centre for advanced machining technology

  McGeough, J.

  UK-based charities

  1/12/94 → 31/12/94

  Project: Research

• Planning data Management Service

  Sugden, D.

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

  29/03/90 → 31/03/95

  Project: Research

• COMPARATIVE UK JAPAN SOFTWARE

  Fransman, M.

  UK industry, commerce and public corporations

  15/07/92 → 31/07/95

  Project: Research

• Studies of bound neucleons at short range with electromagnetic probes

  Branford, D.

  EU government bodies

  1/09/93 → 31/08/95

  Project: Research

• Studies in the Sociology of Proof

  Bundy, A. & McKenzie, D.

  1/10/93 → 30/09/95

  Project: Other (Non-Funded/Miscellaneous)

• Analogy in Theorem Proving using Proof Plans

  Bundy, A.

  1/10/94 → 30/09/95

  Project: Other (Non-Funded/Miscellaneous)

• Towards solutions of Quantum field theories

  Bowler, K.

  STFC

  1/09/95 → 30/09/95

  Project: Research

• Computational Logic ( Compulog 2)

  Bundy, A.

  EU government bodies

  1/09/95 → 30/09/95

  Project: Research

• Senior Fellowship - Anthropological ethnography: from monograph to generalised text book

  Underhill, J.

  Non-EU industry, commerce and public corporations

  1/10/94 → 30/09/95

  Project: Research

• Development of high performance VLSI instrumentation for advanced silicon radiation detectors

  Shotter, A.

  EPSRC

  1/10/93 → 30/09/95

  Project: Research

• Laser measurement of velocity fields under water waves

  Robinson, D.

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

  1/10/95 → 31/10/95

  Project: Research

• European Laboratory Volcanoes: Piton de la Fournaise

  Main, I.

  EU government bodies

  1/01/93 → 31/10/95

  Project: Research

• Transcriptional regulation in the GCMhase of the cell cycle of fission yeast

  Fantes, P.

  UK-based charities

  1/12/94 → 30/11/95

  Project: Research

• Production of mice with DNA repair defects by gene targeting in embryonic stem cells

  Melton, D.

  UK-based charities

  1/12/94 → 30/11/95

  Project: Research

• Study on Coastal Morphodynamics (MAST II)

  Greated, C.

  EU government bodies

  1/10/92 → 30/11/95

  Project: Research

• Structures & transitions in IIA-VI, IA-VII and rare gas systems at high pressure

  Nelmes, R.

  STFC

  26/07/95 → 25/12/95

  Project: Research

• HICOPUS -ESPRIT

  Vass, D.

  EU government bodies

  1/12/95 → 26/12/95

  Project: Research

• Joint project with University of York. A multi-disciplinary approach to the study of speciation

  Barton, N.

  EU government bodies

  1/09/93 → 31/12/95

  Project: Research

• Divorce in Scotland 1684-1832

  Graham, C. & Crain, J.

  NERC

  1/07/94 → 31/12/95

  Project: Research

• European collaborative project - COMETT

  Haworth, L.

  EU government bodies

  1/12/95 → 31/12/95

  Project: Research

• Non-nuclear energy - JOULE II programme

  Salter, S.

  EU government bodies

  1/01/94 → 31/12/95

  Project: Research

• Surface Acoustic Waves

  McHale, G.

  1/01/94 → 31/12/95

  Project: Project from a former institution

• Towards prevention of renal failure caused by inherited polycystic kidney disease

  Iredale, J.

  EU government bodies

  1/12/95 → 31/12/95

  Project: Research

• Environment

  Waterhouse, L. & Whyte, B.

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

  1/01/94 → 31/12/95

  Project: Research

• Clair Group Studentship

  Palairet, M.

  UK-based charities

  1/01/93 → 31/12/95

  Project: Research

• Changes of calcium nuclei concentrations of plants subjected to different environmental factors - HCM Fellowship

  Trewavas, A.

  EU government bodies

  1/11/94 → 31/12/95

  Project: Research

• European Porting Action 2

  Kenway, R.

  EU government bodies

  1/01/94 → 31/12/95

  Project: Research