Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

  1. A Program to Solve Mechanics Problems Stated in English

    Bundy, A.

    1/10/7530/09/78

    Project: Other (Non-Funded/Miscellaneous)

  2. A Self Improving Algebra System

    Bundy, A.

    1/10/8030/09/83

    Project: Other (Non-Funded/Miscellaneous)

  3. A generic approach to proof planning

    Fleuriot, J.

    EPSRC

    1/07/0130/06/04

    Project: Research

  4. AUTOMATED DISCOVERY OF MATHEMATICS

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

    EPSRC

    1/08/0331/08/06

    Project: Research

  5. All Hands Meeting Network

    Atkinson, M. & Kenway, A.

    EPSRC

    1/05/0830/04/11

    Project: Research

  6. An Expert System for Ecological Modelling

    Bundy, A. & Muetzelfeldt, R.

    1/10/8330/09/86

    Project: Other (Non-Funded/Miscellaneous)

  7. Analogy in Theorem Proving using Proof Plans

    Bundy, A.

    1/10/9430/09/95

    Project: Other (Non-Funded/Miscellaneous)

  8. Applying HR to the Study of Zariski Spaces

    Bundy, A.

    EPSRC

    8/04/027/04/03

    Project: Research

  9. Asking the right question

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

    1/01/1731/12/17

    Project: University Awarded Project Funding

  10. Automated Deduction and Program Synthesis

    Bundy, A.

    1/10/9730/09/98

    Project: Other (Non-Funded/Miscellaneous)

  11. Automated Theorem Discovery

    McCasland, R. & Bundy, A.

    EPSRC

    1/11/0731/12/11

    Project: Research

  12. Automatic Guidance of Mechanically Generated Proofs

    Bundy, A. & Gordon, M.

    1/10/9730/09/99

    Project: Other (Non-Funded/Miscellaneous)

  13. Automatic conjecture making in mathematics

    Bundy, A.

    EPSRC

    1/11/9931/10/02

    Project: Research

  14. Automatic inductive proof

    Bundy, A. & Stevens, A.

    1/10/9330/09/96

    Project: Other (Non-Funded/Miscellaneous)

  15. Automation of program synthesis in proof planning

    Bundy, A. & Giunchiglia, F.

    1/10/9530/09/97

    Project: Other (Non-Funded/Miscellaneous)

  16. BIONET AGENTS-Bioinformatics Network for Agents Researchers

    Rovatsos, M.

    EU government bodies

    1/09/0631/07/12

    Project: Research

  17. BIOSIM: A new tool in drug development

    Goryanin, I.

    EU government bodies

    1/12/0731/03/10

    Project: Research

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

    Atkinson, M.

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

    1/07/031/12/05

    Project: Research

  19. CALCULEMUS - Systems for Integrated Computation and Deduction

    Bundy, A.

    EU government bodies

    1/09/0031/08/04

    Project: Research

  20. COLLABORATIVE TOOL DEVEL'T TO PROMOTE AD

    Goryanin, I.

    BBSRC

    1/04/0931/07/09

    Project: Research

  21. CoSAR-TS

    Tate, A.

    Non-EU other

    1/01/0331/07/07

    Project: Research

  22. Communication in Safety Cases - A Semantic Approach

    Bundy, A. & Robertson, D.

    1/10/9330/09/96

    Project: Other (Non-Funded/Miscellaneous)

  23. Computational Logic

    Bundy, A. & Hesketh, J.

    1/10/8930/09/91

    Project: Other (Non-Funded/Miscellaneous)

  24. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/9230/09/96

    Project: Other (Non-Funded/Miscellaneous)

  25. Computational Modelling of Mathematical Reasoning

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

    1/10/9630/09/99

    Project: Other (Non-Funded/Miscellaneous)

  26. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8230/09/86

    Project: Other (Non-Funded/Miscellaneous)

  27. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8530/09/89

    Project: Other (Non-Funded/Miscellaneous)

  28. Computational Modelling of Mathematical Reasoning

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

    1/10/9430/09/97

    Project: Other (Non-Funded/Miscellaneous)

  29. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8730/09/91

    Project: Other (Non-Funded/Miscellaneous)

  30. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/9030/09/94

    Project: Other (Non-Funded/Miscellaneous)

  31. Computational modelling of mathematical reasoning

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

    EPSRC

    1/10/9830/09/02

    Project: Research

  32. Computer-aided design of programs in the domain of ecological modelling

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

    1/10/8630/09/89

    Project: Other (Non-Funded/Miscellaneous)

  33. Controlling Inference in a Semantically Rich Domain

    Bundy, A.

    1/10/7830/09/81

    Project: Other (Non-Funded/Miscellaneous)

  34. 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/0730/06/09

    Project: Research

  35. Difference reduction techniques in automating theorem proving

    Bundy, A.

    1/10/9631/12/96

    Project: Other (Non-Funded/Miscellaneous)

  36. E-science Core Programme Senior Research Fellow

    Atkinson, M.

    EPSRC

    1/04/0631/03/11

    Project: Research

  37. EGEE 11 Enabling Grids for E-science E-11

    Atkinson, M.

    EU government bodies

    1/04/0630/09/10

    Project: Research

  38. EGEE: Enabling grids for E-Science in Europe

    Atkinson, M.

    EU government bodies

    1/01/0431/03/06

    Project: Research

  39. EMR for Catalogue of AI Tools

    Bundy, A.

    1/10/8530/09/87

    Project: Other (Non-Funded/Miscellaneous)

  40. EU Open Knowledge Project

    Bundy, A.

    1/10/0630/09/08

    Project: Other (Non-Funded/Miscellaneous)

  41. Evaluating Prolog Environments

    Bundy, A. & Pain, H.

    1/10/8530/09/88

    Project: Other (Non-Funded/Miscellaneous)

  42. Explainable AI for credit risk

    Calabrese, R. & Belle, V.

    1/07/1931/12/19

    Project: University Awarded Project Funding

  43. Firegrid - An integrated Emergency Response System for the built environment

    Usmani, A., Berry, D., Bull, M. & Tate, A.

    UK industry, commerce and public corporations

    14/04/0613/04/09

    Project: Research

  44. Formal and Informal Proofs in the Computer Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/9330/09/94

    Project: Other (Non-Funded/Miscellaneous)

  45. Grey Area

    Williams, S., Green, O., Moran, N., Usui, S., Lloyd, E., Sturm, A., Murray-Rust, D. & Moonie, J.

    1/03/11 → …

    Project: Other (Non-Funded/Miscellaneous)

  46. GridNet 2 Funding Award

    Atkinson, M.

    Other

    1/07/0530/03/08

    Project: Research

  47. GridNet2

    Atkinson, M. & Kenway, A.

    EPSRC

    1/08/0528/02/09

    Project: Research

  48. ICEAGE International Collaboration to extend and advance Grid Education

    Atkinson, M.

    EU government bodies

    1/03/0630/09/10

    Project: Research

  49. Integration and Interaction of multiple mathematical reasoning processes

    Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.

    EPSRC

    1/04/0731/03/11

    Project: Research

  50. Intelligent, Planning & Collaborative Systems (IM-PACS) POC+

    Tate, A.

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

    1/12/0531/03/06

    Project: Research

  51. JISC e-Infrastructure Advisor Post

    Atkinson, M.

    Other

    1/10/0530/09/08

    Project: Research

  52. John Hewson - Constraint Based Specification for System Configuration

    Anderson, P.

    UK industry, commerce and public corporations

    1/09/0931/12/13

    Project: Research

  53. Logic program synthesis and transformation

    Bundy, A.

    1/10/9330/09/96

    Project: Other (Non-Funded/Miscellaneous)

  54. Logical Frameworks

    Bundy, A. & Smaill, A.

    1/10/8930/09/91

    Project: Other (Non-Funded/Miscellaneous)

  55. Machine Learning and Knowledge Acquisition

    Bundy, A. & Kodrato, Y.

    1/10/8630/09/87

    Project: Other (Non-Funded/Miscellaneous)

  56. Mechanising first - Order temporal logics

    Bundy, A. & Smaill, A.

    EPSRC

    5/07/994/07/02

    Project: Research

  57. Methods of Teaching PROLOG Programming

    Bundy, A. & Pain, H.

    1/10/8230/09/84

    Project: Other (Non-Funded/Miscellaneous)

  58. NRP: National eScience Centre Research Platform

    Robertson, D.

    EPSRC

    1/09/0828/02/14

    Project: Research

  59. National E-Science Centre

    Kenway, R., Anderson, S., Atkinson, M. & Trew, A.

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

    1/08/0131/07/04

    Project: Research

  60. OMII UK/NATIONAL GRID ENGAGE PROGRAMME

    Atkinson, M.

    Other

    1/11/0831/05/09

    Project: Research

  61. Ontology Evolution in Physics

    Bundy, A.

    EPSRC

    1/07/0831/12/11

    Project: Research

  62. OpenKnowledge

    Robertson, D.

    EU government bodies

    1/01/0631/01/11

    Project: Research

  63. OpenKnowledge

    Robertson, D.

    EU government bodies

    1/01/0630/07/12

    Project: Research

  64. Planning for Autonomic Management of Computing Infrastructures

    Anderson, P.

    Non-EU industry, commerce and public corporations

    1/08/1031/07/14

    Project: Research

  65. Postgraduate Studentship - Ana Costa e Silva

    Robertson, D.

    UK industry, commerce and public corporations

    1/04/0628/02/09

    Project: Research

  66. Proving Properties of Logic Programs

    Bundy, A. & Sannella, D.

    1/10/8530/09/88

    Project: Other (Non-Funded/Miscellaneous)

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

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

    1/10/8330/09/86

    Project: Other (Non-Funded/Miscellaneous)

  68. SINAPSE

    Wardlaw, J. & Atkinson, M.

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

    1/02/0831/12/14

    Project: Research

  69. SOCIAL-IST

    Anderson, S. & Robertson, D.

    EU government bodies

    1/10/1231/10/13

    Project: Research

Previous 1 2 Next