Artificial Intelligence and its Applications Institute

Projects

Projects per year 1975 2003 2005 2006 2007 2008 2019 2028

• 2 Active
• 137 Finished

Projects per year

Search results

• Finished

  Sustainable Lifecycles in Information Ecosystems - SLIE - main grant. Linked to R81633

  Robertson, D.

  EU government bodies

  1/05/00 → 30/04/03

  Project: Research

  • Specifications 100%
  • Multi Agent Systems 25%
  • Electronics 25%
  • Agent Interaction 25%
  • Process Algebra 25%

• SLIE - Sustainable lifecycles in information ecosystems. Co-ordinator's grant. Linked to R81439.

  Robertson, D.

  EU government bodies

  1/05/00 → 30/04/03

  Project: Research

• Automatic conjecture making in mathematics

  Bundy, A.

  EPSRC

  1/11/99 → 31/10/02

  Project: Research

  • Lakatos 100%
  • Ambiguity 100%
  • Dialogue 100%
  • Semantics 100%
  • Creativity 100%

• Mechanising first - Order temporal logics

  Bundy, A. & Smaill, A.

  EPSRC

  5/07/99 → 4/07/02

  Project: Research

  • Feature Interaction 100%
  • Approximation (Algorithm) 66%
  • Linear Temporal Logic 66%
  • Theorem Prover 33%
  • Telephone Network 33%

• Computational modelling of mathematical reasoning

  Bundy, A., Dennis, L., Fleuriot, J., Ireland, A., Jackson, P., Richardson, J. & Smaill, A.

  EPSRC

  1/10/98 → 30/09/02

  Project: Research

  • Lakatos 100%
  • Ambiguity 100%
  • Dialogue 100%
  • Semantics 100%
  • Creativity 100%

• Unifying proof plans and schemas for program synthesis and transformation'

  Bundy, A.

  1/10/98 → 1/10/99

  Project: Other (Non-Funded/Miscellaneous)

  • Program Synthesis 100%
  • Program Transformation 100%

• Automated Deduction and Program Synthesis

  Bundy, A.

  1/10/97 → 30/09/98

  Project: Other (Non-Funded/Miscellaneous)

• Automatic Guidance of Mechanically Generated Proofs

  Bundy, A. & Gordon, M.

  1/10/97 → 30/09/99

  Project: Other (Non-Funded/Miscellaneous)

• Computational Modelling of Mathematical Reasoning

  Bundy, A., Ireland, A., Lowe, H. & Smaill, A.

  1/10/96 → 30/09/99

  Project: Other (Non-Funded/Miscellaneous)

  • Computational Modeling 100%
  • Mathematical Reasoning 100%

• Difference reduction techniques in automating theorem proving

  Bundy, A.

  1/10/96 → 31/12/96

  Project: Other (Non-Funded/Miscellaneous)

• Automation of program synthesis in proof planning

  Bundy, A. & Giunchiglia, F.

  1/10/95 → 30/09/97

  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)

  • Erica 100%

• Computational Modelling of Mathematical Reasoning

  Bundy, A., Ireland, A., Lowe, H. & Smaill, A.

  1/10/94 → 30/09/97

  Project: Other (Non-Funded/Miscellaneous)

  • Computational Modeling 100%
  • Mathematical Reasoning 100%

• Automatic inductive proof

  Bundy, A. & Stevens, A.

  1/10/93 → 30/09/96

  Project: Other (Non-Funded/Miscellaneous)

  • Administrative Structure 100%

• Studies in the Sociology of Proof

  Bundy, A. & McKenzie, D.

  1/10/93 → 30/09/95

  Project: Other (Non-Funded/Miscellaneous)

  • Sociology 100%

• Logic program synthesis and transformation

  Bundy, A.

  1/10/93 → 30/09/96

  Project: Other (Non-Funded/Miscellaneous)

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

  Bundy, A.

  1/10/93 → 30/09/94

  Project: Other (Non-Funded/Miscellaneous)

  • Computer Simulation 100%
  • Mathematical Reasoning 100%

• Communication in Safety Cases - A Semantic Approach

  Bundy, A. & Robertson, D.

  1/10/93 → 30/09/96

  Project: Other (Non-Funded/Miscellaneous)

• Computational Modelling of Mathematical Reasoning

  Bundy, A. & Smaill, A.

  1/10/92 → 30/09/96

  Project: Other (Non-Funded/Miscellaneous)

  • Computational Modeling 100%
  • Mathematical Reasoning 100%

• The Automation of Proof by Mathematical Induction

  Bundy, A.

  1/10/92 → 30/09/94

  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)

  • Type Theory 100%

• Computational Modelling of Mathematical Reasoning

  Bundy, A. & Smaill, A.

  1/10/90 → 30/09/94

  Project: Other (Non-Funded/Miscellaneous)

  • Mathematical Reasoning 100%

• Logical Frameworks

  Bundy, A. & Smaill, A.

  1/10/89 → 30/09/91

  Project: Other (Non-Funded/Miscellaneous)

  • Logical Framework 100%

• Computational Logic

  Bundy, A. & Hesketh, J.

  1/10/89 → 30/09/91

  Project: Other (Non-Funded/Miscellaneous)

  • Computational Logic 100%

• Computational Modelling of Mathematical Reasoning

  Bundy, A.

  1/10/87 → 30/09/91

  Project: Other (Non-Funded/Miscellaneous)

  • Mathematical Reasoning 100%

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

• Machine Learning and Knowledge Acquisition

  Bundy, A. & Kodrato, Y.

  1/10/86 → 30/09/87

  Project: Other (Non-Funded/Miscellaneous)

  • Learning 100%

• EMR for Catalogue of AI Tools

  Bundy, A.

  1/10/85 → 30/09/87

  Project: Other (Non-Funded/Miscellaneous)

  • Artificial Intelligence 100%

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

• Computational Modelling of Mathematical Reasoning

  Bundy, A.

  1/10/85 → 30/09/89

  Project: Other (Non-Funded/Miscellaneous)

  • Mathematical Reasoning 100%

• An Expert System for Ecological Modelling

  Bundy, A. & Muetzelfeldt, R.

  1/10/83 → 30/09/86

  Project: Other (Non-Funded/Miscellaneous)

  • Ecological Modeling 100%
  • Expert System 100%

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

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

• Computational Modelling of Mathematical Reasoning

  Bundy, A.

  1/10/82 → 30/09/86

  Project: Other (Non-Funded/Miscellaneous)

  • Mathematical Reasoning 100%

• Methods of Teaching PROLOG Programming

  Bundy, A. & Pain, H.

  1/10/82 → 30/09/84

  Project: Other (Non-Funded/Miscellaneous)

• A Self Improving Algebra System

  Bundy, A.

  1/10/80 → 30/09/83

  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)

  • Research Assistant 100%

• A Program to Solve Mechanics Problems Stated in English

  Bundy, A.

  1/10/75 → 30/09/78

  Project: Other (Non-Funded/Miscellaneous)