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

  70. Scottish Bioinformatics research network.

    Goryanin, I.

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

    1/04/0530/04/10

    Project: Research

  71. Semantic Alignment in Heterogeneous Multi-Agent Systems

    Rovatsos, M.

    UK industry, commerce and public corporations

    1/10/1231/12/16

    Project: Research

  72. Studies in the Sociology of Proof

    Bundy, A. & McKenzie, D.

    1/10/9330/09/95

    Project: Other (Non-Funded/Miscellaneous)

  73. The 2010 Federated Logic Conference

    Plotkin, G., Bundy, A. & Libkin, L.

    EPSRC

    1/02/1031/10/10

    Project: Research

  74. The Automation of Proof by Mathematical Induction

    Bundy, A.

    1/10/9230/09/94

    Project: Other (Non-Funded/Miscellaneous)

  75. The BIOCAD Platform - visualising life's data

    Goryanin, I.

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

    5/01/094/01/11

    Project: Research

  76. The integration and interaction of multiple mathematical Reasoning Processes

    Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., McNeill, F., Michaelson, G. & Smaill, A.

    EPSRC

    1/11/1531/10/19

    Project: Research

  77. The integration and interaction of multiple mathematical reasoning processes

    Bundy, A., Aspinall, D., Fleuriot, J., Jackson, P., Smaill, A., Colton, S., Ireland, A. & Michaelson, G.

    EPSRC

    1/08/1131/07/15

    Project: Research

  78. The integration and interaction of multiple mathematical reasoning processes

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

    EPSRC

    1/10/0230/09/06

    Project: Research

  79. Training & Co-ordination Support for research.

    Atkinson, M.

    Other

    1/08/0328/02/07

    Project: Research

  80. Unifying proof plans and schemas for program synthesis and transformation'

    Bundy, A.

    1/10/981/10/99

    Project: Other (Non-Funded/Miscellaneous)

  81. e-Science training team at the National

    Atkinson, M.

    STFC

    11/03/0430/09/07

    Project: Research

  82. e-Storm; e-science technical operations

    Atkinson, M. & Kenway, A.

    EPSRC

    1/11/0331/10/05

    Project: Research