Projects per year
- 1,900 - 1,935 out of 1,935 results
Search results
-
Finished
Computational Logic ( Compulog 2)
Bundy, A. (Principal Investigator)
1/09/95 → 30/09/95
Project: Research
-
OBJECT ORIENTED PROGRAMS LEGO
Sannella, D. (Principal Investigator)
UK central government bodies/local authorities, health and hospital authorities
1/07/95 → 30/03/98
Project: Research
-
Architectures for sentence processing: psycholinguistics and computation - Fellowship to Dr M W Croker
Klein, E. (Principal Investigator)
1/10/94 → 30/09/98
Project: Research
-
Analogy in Theorem Proving using Proof Plans
Bundy, A. (Principal Investigator)
1/10/94 → 30/09/95
Project: Other (Non-Funded/Miscellaneous)
-
Computational Modelling of Mathematical Reasoning
Bundy, A. (Principal Investigator), Ireland, A. (Co-investigator), Lowe, H. (Co-investigator) & Smaill, A. (Co-investigator)
1/10/94 → 30/09/97
Project: Other (Non-Funded/Miscellaneous)
-
BRITISH-GERMAN ACADEMIC RES
Hillston, J. (Principal Investigator)
UK central government bodies/local authorities, health and hospital authorities
1/07/94 → 31/03/98
Project: Research
-
BRITISH-GERMAN ACADEMIC
Arvind, D. K. (Principal Investigator)
UK central government bodies/local authorities, health and hospital authorities
1/06/94 → 31/03/97
Project: Research
-
Automatic inductive proof
Bundy, A. (Principal Investigator) & Stevens, A. (Co-investigator)
1/10/93 → 30/09/96
Project: Other (Non-Funded/Miscellaneous)
-
Communication in Safety Cases - A Semantic Approach
Bundy, A. (Principal Investigator) & Robertson, D. (Co-investigator)
1/10/93 → 30/09/96
Project: Other (Non-Funded/Miscellaneous)
-
Formal and Informal Proofs in the Computer Modelling of Mathematical Reasoning
Bundy, A. (Principal Investigator)
1/10/93 → 30/09/94
Project: Other (Non-Funded/Miscellaneous)
-
Studies in the Sociology of Proof
Bundy, A. (Principal Investigator) & McKenzie, D. (Co-investigator)
1/10/93 → 30/09/95
Project: Other (Non-Funded/Miscellaneous)
-
Logic program synthesis and transformation
Bundy, A. (Principal Investigator)
1/10/93 → 30/09/96
Project: Other (Non-Funded/Miscellaneous)
-
COMMUNICATION IN SAFETY CASES
Anderson, S. (Principal Investigator)
1/07/93 → 31/12/96
Project: Research
-
Computational Modelling of Mathematical Reasoning
Bundy, A. (Principal Investigator) & Smaill, A. (Co-investigator)
1/10/92 → 30/09/96
Project: Other (Non-Funded/Miscellaneous)
-
The Automation of Proof by Mathematical Induction
Bundy, A. (Principal Investigator)
1/10/92 → 30/09/94
Project: Other (Non-Funded/Miscellaneous)
-
Program Synthesis and Transformation using Intuitionist Type Theory and Proof Plans
Bundy, A. (Principal Investigator)
1/10/90 → 30/09/91
Project: Other (Non-Funded/Miscellaneous)
-
Computational Modelling of Mathematical Reasoning
Bundy, A. (Principal Investigator) & Smaill, A. (Co-investigator)
1/10/90 → 30/09/94
Project: Other (Non-Funded/Miscellaneous)
-
Computational Logic
Bundy, A. (Principal Investigator) & Hesketh, J. (Co-investigator)
1/10/89 → 30/09/91
Project: Other (Non-Funded/Miscellaneous)
-
Logical Frameworks
Bundy, A. (Principal Investigator) & Smaill, A. (Co-investigator)
1/10/89 → 30/09/91
Project: Other (Non-Funded/Miscellaneous)
-
Computational Modelling of Mathematical Reasoning
Bundy, A. (Principal Investigator)
1/10/87 → 30/09/91
Project: Other (Non-Funded/Miscellaneous)
-
Machine Learning and Knowledge Acquisition
Bundy, A. (Principal Investigator) & Kodrato, Y. (Co-investigator)
1/10/86 → 30/09/87
Project: Other (Non-Funded/Miscellaneous)
-
Computer-aided design of programs in the domain of ecological modelling
Bundy, A. (Principal Investigator), Uschold, M. (Co-investigator), Muetzelfeldt, R. (Co-investigator) & Robertson, D. (Co-investigator)
1/10/86 → 30/09/89
Project: Other (Non-Funded/Miscellaneous)
-
EMR for Catalogue of AI Tools
Bundy, A. (Principal Investigator)
1/10/85 → 30/09/87
Project: Other (Non-Funded/Miscellaneous)
-
Computational Modelling of Mathematical Reasoning
Bundy, A. (Principal Investigator)
1/10/85 → 30/09/89
Project: Other (Non-Funded/Miscellaneous)
-
Proving Properties of Logic Programs
Bundy, A. (Principal Investigator) & Sannella, D. (Co-investigator)
1/10/85 → 30/09/88
Project: Other (Non-Funded/Miscellaneous)
-
Evaluating Prolog Environments
Bundy, A. (Principal Investigator) & Pain, H. (Co-investigator)
1/10/85 → 30/09/88
Project: Other (Non-Funded/Miscellaneous)
-
The provision of support services for the Alvey IKBS Intelligent Front Ends Theme Co-ordinator
Bundy, A. (Principal Investigator)
1/10/83 → 30/09/84
Project: Other (Non-Funded/Miscellaneous)
-
An Expert System for Ecological Modelling
Bundy, A. (Principal Investigator) & Muetzelfeldt, R. (Co-investigator)
1/10/83 → 30/09/86
Project: Other (Non-Funded/Miscellaneous)
-
Reasoning about the User in an Intelligent Knowledge-Based Training and Aid System
Bundy, A. (Principal Investigator), Howe, J. (Co-investigator) & Ross, P. (Co-investigator)
1/10/83 → 30/09/86
Project: Other (Non-Funded/Miscellaneous)
-
Computational Modelling of Mathematical Reasoning
Bundy, A. (Principal Investigator)
1/10/82 → 30/09/86
Project: Other (Non-Funded/Miscellaneous)
-
Methods of Teaching PROLOG Programming
Bundy, A. (Principal Investigator) & Pain, H. (Co-investigator)
1/10/82 → 30/09/84
Project: Other (Non-Funded/Miscellaneous)
-
A Self Improving Algebra System
Bundy, A. (Principal Investigator)
1/10/80 → 30/09/83
Project: Other (Non-Funded/Miscellaneous)
-
Controlling Inference in a Semantically Rich Domain
Bundy, A. (Principal Investigator)
1/10/78 → 30/09/81
Project: Other (Non-Funded/Miscellaneous)
-
A Program to Solve Mechanics Problems Stated in English
Bundy, A. (Principal Investigator)
1/10/75 → 30/09/78
Project: Other (Non-Funded/Miscellaneous)
-
Curtailed
Streamlining petrophysics workflows with machine learning
Brown, N. (Principal Investigator) & MacGregor, L. (Project Partner)
1/05/18 → 28/02/19
Project: Research