Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

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

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

  3. JISC e-Infrastructure Advisor Post

    Atkinson, M.

    Other

    1/10/0530/09/08

    Project: Research

  4. John Hewson - Constraint Based Specification for System Configuration

    Anderson, P.

    UK industry, commerce and public corporations

    1/09/0931/12/13

    Project: Research

  5. Logic program synthesis and transformation

    Bundy, A.

    1/10/9330/09/96

    Project: Other (Non-Funded/Miscellaneous)

  6. Logical Frameworks

    Bundy, A. & Smaill, A.

    1/10/8930/09/91

    Project: Other (Non-Funded/Miscellaneous)

  7. Machine Learning and Knowledge Acquisition

    Bundy, A. & Kodrato, Y.

    1/10/8630/09/87

    Project: Other (Non-Funded/Miscellaneous)

Previous 1...4 5 6 7 8 9 10 11 ...13 Next