Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

1 - 50 out of 122Page size: 50
???rss???
Sort by: Title

  1. A FRAMEWORK FOR RECORDING, RELATING AND COMBING A HETEROGENEOUS COLLECTION OF HP ONTOLOGIES FOR ENTERPRISE INFORMATION MANAGEMENT

    Bundy, A.

    Non-EU industry, commerce and public corporations

    1/08/08 → 30/09/09

    Project: Research

  2. A Program to Solve Mechanics Problems Stated in English

    Bundy, A.

    1/10/75 → 30/09/78

    Project: Other (Non-Funded/Miscellaneous)

  3. A Self Improving Algebra System

    Bundy, A.

    1/10/80 → 30/09/83

    Project: Other (Non-Funded/Miscellaneous)

  4. CogMod: A congnitive model of axiom formulation and reformulation with application to AI and software engineering

    Smaill, A. & Clark, A.

    EPSRC

    1/05/08 → 30/04/11

    Project: Research

  5. A generic approach to proof planning

    Fleuriot, J.

    EPSRC

    1/07/01 → 30/06/04

    Project: Research

  6. A proof system for correct program development

    Fourman, M. & Fleuriot, J.

    EPSRC

    1/01/01 → 30/06/04

    Project: Research

  7. ADMIRE: Advanced Data Mining and Integration Research for Europe

    Parsons, M., Atkinson, M. & van Hemert, J.

    EU government bodies

    1/03/08 → 31/05/11

    Project: Research

  8. AUTOMATED ANALYSIS OF SECURITY CRITICAL SYSTEMS

    Bundy, A. & Fleuriot, J.

    EPSRC

    1/10/04 → 30/09/07

    Project: Research

  9. AUTOMATED DISCOVERY OF MATHEMATICS

    Bundy, A., Colton, S. & Smith, P.

    EPSRC

    1/08/03 → 31/08/06

    Project: Research

  10. ARM Pathfinder: Active reservoir management for improved hydrocarbon recovery

    Main, I. & Galea, M.

    NERC

    1/04/11 → 30/06/11

    Project: Research

  11. ABSymp: Alan Bundy Symposium

    Fourman, M., Dixon, L., McNeill, F., Robertson, D. & Smaill, A.

    EPSRC

    1/05/08 → 30/11/08

    Project: Research

  12. All Hands Meeting Network

    Atkinson, M. & Kenway, A.

    EPSRC

    1/05/08 → 30/04/11

    Project: Research

  13. An Expert System for Ecological Modelling

    Bundy, A. & Muetzelfeldt, R.

    1/10/83 → 30/09/86

    Project: Other (Non-Funded/Miscellaneous)

  14. Analogy in Theorem Proving using Proof Plans

    Bundy, A.

    1/10/94 → 30/09/95

    Project: Other (Non-Funded/Miscellaneous)

  15. Application of deductive synthesis techniques to the rapid assembly of grid applications

    Bundy, A.

    EPSRC

    1/01/03 → 28/02/06

    Project: Research

  16. Applying HR to the Study of Zariski Spaces

    Bundy, A.

    EPSRC

    8/04/02 → 7/04/03

    Project: Research

  17. Asking the right question

    Sinclair, C., Macleod, H., Paterson, J., Anderson, P. & Wood, A. K.

    1/01/17 → 31/12/17

    Project: University Awarded Project Funding

  18. Automated Deduction and Program Synthesis

    Bundy, A.

    1/10/97 → 30/09/98

    Project: Other (Non-Funded/Miscellaneous)

  19. Automated Theorem Discovery

    McCasland, R. & Bundy, A.

    EPSRC

    1/11/07 → 31/12/11

    Project: Research

  20. Automatic Guidance of Mechanically Generated Proofs

    Bundy, A. & Gordon, M.

    1/10/97 → 30/09/99

    Project: Other (Non-Funded/Miscellaneous)

  21. Automatic conjecture making in mathematics

    Bundy, A.

    EPSRC

    1/11/99 → 31/10/02

    Project: Research

  22. Automatic inductive proof

    Bundy, A. & Stevens, A.

    1/10/93 → 30/09/96

    Project: Other (Non-Funded/Miscellaneous)

  23. Automation of program synthesis in proof planning

    Bundy, A. & Giunchiglia, F.

    1/10/95 → 30/09/97

    Project: Other (Non-Funded/Miscellaneous)

  24. BIONET AGENTS-Bioinformatics Network for Agents Researchers

    Rovatsos, M.

    EU government bodies

    1/09/06 → 31/07/12

    Project: Research

  25. BIOSIM: A new tool in drug development

    Goryanin, I.

    EU government bodies

    1/12/07 → 31/03/10

    Project: Research

  26. Biomedical research informatics delivered by Grid enabled services (BRIDGES)

    Atkinson, M.

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

    1/07/03 → 1/12/05

    Project: Research

  27. CALCULEMUS - Systems for Integrated Computation and Deduction

    Bundy, A.

    EU government bodies

    1/09/00 → 31/08/04

    Project: Research

  28. COLLABORATIVE TOOL DEVEL'T TO PROMOTE AD

    Goryanin, I.

    BBSRC

    1/04/09 → 31/07/09

    Project: Research

  29. SynthSys; formerly CSBE: Centre for Systems Biology at Edinburgh

    Millar, A., Beggs, J., Ghazal, P., Goryanin, I., Hillston, J., Plotkin, G., Tollervey, D., Walton, A. & Robertson, K.

    BBSRC

    8/01/07 → 31/12/12

    Project: Research

  30. CoAKTinG : Collaborative Advanced Technologies in the Grid

    Tate, A.

    EPSRC

    1/06/02 → 30/11/04

    Project: Research

  31. CoSAR-TS

    Tate, A.

    Non-EU other

    1/01/03 → 31/07/07

    Project: Research

  32. Collaborativ Tool Development to Promote the Adoption of Visual Presentation Standards in Systems Biology

    Goryanin, I.

    BBSRC

    1/07/09 → 30/06/13

    Project: Research

  33. Communication in Safety Cases - A Semantic Approach

    Bundy, A. & Robertson, D.

    1/10/93 → 30/09/96

    Project: Other (Non-Funded/Miscellaneous)

  34. Communication of knowledge from synthesised web sites

    Robertson, D.

    EPSRC

    1/10/00 → 30/09/03

    Project: Research

  35. Computational Logic

    Bundy, A. & Hesketh, J.

    1/10/89 → 30/09/91

    Project: Other (Non-Funded/Miscellaneous)

  36. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/92 → 30/09/96

    Project: Other (Non-Funded/Miscellaneous)

  37. Computational Modelling of Mathematical Reasoning

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

    1/10/96 → 30/09/99

    Project: Other (Non-Funded/Miscellaneous)

  38. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/82 → 30/09/86

    Project: Other (Non-Funded/Miscellaneous)

  39. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/85 → 30/09/89

    Project: Other (Non-Funded/Miscellaneous)

  40. Computational Modelling of Mathematical Reasoning

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

    1/10/94 → 30/09/97

    Project: Other (Non-Funded/Miscellaneous)

  41. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/87 → 30/09/91

    Project: Other (Non-Funded/Miscellaneous)

  42. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/90 → 30/09/94

    Project: Other (Non-Funded/Miscellaneous)

  43. 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

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

  45. Controlling Inference in a Semantically Rich Domain

    Bundy, A.

    1/10/78 → 30/09/81

    Project: Other (Non-Funded/Miscellaneous)

  46. DIALOGUE Data intergration applications: Linking organisations to gain understanding & Experience

    Atkinson, M.

    EPSRC

    12/04/05 → 11/04/07

    Project: Research

  47. Datagrid fabric management: configuration management

    Anderson, P. & Anderson, S.

    STFC

    1/08/01 → 31/07/04

    Project: Research

  48. Development of a network infrastructure to enable XCalibre to offer scalable application service provisioning on demand

    Anderson, P. & Anderson, S.

    UK central government bodies/local authorities, health and hospital authorities, UK industry, commerce and public corporations

    1/05/07 → 30/06/09

    Project: Research

  49. Difference reduction techniques in automating theorem proving

    Bundy, A.

    1/10/96 → 31/12/96

    Project: Other (Non-Funded/Miscellaneous)

  50. E-science Core Programme Senior Research Fellow

    Atkinson, M.

    EPSRC

    1/04/06 → 31/03/11

    Project: Research

Previous 1 2 3 Next