Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

  1. Explainable AI for credit risk

    Calabrese, R. & Belle, V.

    1/07/1931/12/19

    Project: University Awarded Project Funding

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

  3. EU Open Knowledge Project

    Bundy, A.

    1/10/0630/09/08

    Project: Other (Non-Funded/Miscellaneous)

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

    Bundy, A.

    1/10/981/10/99

    Project: Other (Non-Funded/Miscellaneous)

  5. Automated Deduction and Program Synthesis

    Bundy, A.

    1/10/9730/09/98

    Project: Other (Non-Funded/Miscellaneous)

  6. Automatic Guidance of Mechanically Generated Proofs

    Bundy, A. & Gordon, M.

    1/10/9730/09/99

    Project: Other (Non-Funded/Miscellaneous)

  7. Difference reduction techniques in automating theorem proving

    Bundy, A.

    1/10/9631/12/96

    Project: Other (Non-Funded/Miscellaneous)

  8. Computational Modelling of Mathematical Reasoning

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

    1/10/9630/09/99

    Project: Other (Non-Funded/Miscellaneous)

  9. Automation of program synthesis in proof planning

    Bundy, A. & Giunchiglia, F.

    1/10/9530/09/97

    Project: Other (Non-Funded/Miscellaneous)

  10. Analogy in Theorem Proving using Proof Plans

    Bundy, A.

    1/10/9430/09/95

    Project: Other (Non-Funded/Miscellaneous)

Previous 1 2 3 4 5 6 7 8 ...13 Next