Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

  1. 2019
  2. We may not cooperate with friendly machines

    Rovatsos, M., 12 Nov 2019, In : Nature Machine Intelligence. 2 p.

    Research output: Contribution to journalComment/debate

  3. A Common Type of Rigorous Proof that Resists Hilbert’s Programme

    Bundy, A. & Jamnik, M., 28 Oct 2019, Proof Technology in Mathematics Research and Teaching. Springer-Verlag GmbH, p. 59-71 11 p. (Mathematics Education in the Digital Era; vol. 14).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  4. The quest for interpretable and responsible artificial intelligence

    Belle, V., 18 Oct 2019, In : The Biochemist. 41, 5, p. 16-19 4 p.

    Research output: Contribution to journalArticle

  5. User Involvement in the Design of a Data-Driven Self-Management Decision Support Tool for Stroke Survivors

    Balatsoukas, P., Porat, T., Sassoon, I., Essers, K., Kokciyan, N., Chapman, M., Drake, A., Modgil, S., Ashworth, M., Sklar, E., Parsons, S. & Curcin, V., 10 Oct 2019, Proceedings of the IEEE EUROCON 2019 -18th International Conference on Smart Technologies. Institute of Electrical and Electronics Engineers (IEEE), p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. To what extent can new web-based technology improve forecasts? Assessing the economic value of information derived from Virtual Globes and its rate of diffusion in a financial market

    Green, L., Sung, M-C., Ma, T. & Johnson, JE. V., 1 Oct 2019, In : European Journal of Operational Research. 278, 1, p. 226-239 14 p.

    Research output: Contribution to journalArticle

  7. Toward Fairness, Morality and Transparency in Artificial Intelligence through Experiential AI

    Hemment, D., Belle, V., Aylett, R., Murray-Rust, D., Pschetz, L. & Broz, F., 1 Oct 2019, In : Leonardo. 52, 5, 2 p.

    Research output: Contribution to journalEditorial

  8. Journeys in mathematical landscapes: genius or craft?

    Lane, L., Martin, U., Murray-Rust, D., Pease, A. & Tanswell, F., Oct 2019, Proof Technology in Mathematics Research and Teaching. Hanna, G., Reid, D. & de Villiers, M. (eds.). Springer, p. 197-212 16 p. (Mathematics education in the digital era).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  9. Interventions and Counterfactuals in Tractable Probabilistic Models

    Papantonis, G. & Belle, V., 30 Sep 2019, (Accepted/In press).

    Research output: Contribution to conferencePaper

  10. Logical Interpretations of Autoencoders

    Fuxjaeger, A. & Belle, V., 30 Sep 2019, (Accepted/In press).

    Research output: Contribution to conferencePaper

  11. PAC + SMT

    Mocanu, I., Belle, V. & Juba, B., 30 Sep 2019, (Accepted/In press).

    Research output: Contribution to conferencePaper

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