Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

  1. 2019
  2. Interventions and Counterfactuals in Tractable Probabilistic Models

    Papantonis, G. & Belle, V., 13 Dec 2019. 13 p.

    Research output: Contribution to conferencePaper

  3. Logical Interpretations of Autoencoders

    Fuxjaeger, A. & Belle, V., 13 Dec 2019. 12 p.

    Research output: Contribution to conferencePaper

  4. PAC + SMT

    Mocanu, I., Belle, V. & Juba, B., 13 Dec 2019. 11 p.

    Research output: Contribution to conferencePaper

  5. Tractable Probabilistic Models for Moral Responsibility

    Hammond, L. & Belle, V., 13 Dec 2019. 18 p.

    Research output: Contribution to conferencePaper

  6. We may not cooperate with friendly machines

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

    Research output: Contribution to journalComment/debate

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

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

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

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

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

  12. 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)

  13. Climate Data Access: Re-thinking our Data Analysis Workflows

    Page, C. M., Plieger, M., Cerff, W. S., de Vreede, E., Drost, N., Klampanos, I. A., Karkaletsis, V., Atkinson, M. & Pivan, X., 24 Sep 2019.

    Research output: Contribution to conferencePoster

  14. Efficient Influence Maximization Under Network Uncertainty

    Eshgi, S., Maghsudi, S., Restocchi, V., Stein, S. & Tassiulas, L., 23 Sep 2019, IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS). Institute of Electrical and Electronics Engineers (IEEE), p. 365-371 7 p.

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

  15. Argumentation-based Decision Support for Patient Self-Management

    Sassoon, I., Kokciyan, N., Young, A. P., Modgil, S. & Sklar, E., 11 Sep 2019. 3 p.

    Research output: Contribution to conferencePaper

  16. Explainable Argumentation for Wellness Consultation

    Sassoon, I., Kökciyan, N., Sklar, E. & Parsons, S., 11 Sep 2019, Explainable, Transparent Autonomous Agents and Multi-Agent Systems. Calvaresi, D., Najjar, A., Schumacher, M. & Främling, K. (eds.). Cham: Springer International Publishing AG, p. 186-202 17 p. (Lecture Notes in Computer Science (LNCS); vol. 11763).

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

  17. Implicitly learning to reason in first-order logic

    Belle, V. & Juba, B., 4 Sep 2019, (Accepted/In press) Thirty-third Conference on Neural Information Processing Systems (NeurIPS 2019). 11 p.

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

  18. A Collaborative Decision Support Tool for Managing Chronic Conditions

    Kokciyan, N., Chapman, M., Balatsoukasb, P., Sassoon, I., Essers, K., Ashworth, M., Curcin, V., Modgil, S., Parsons, S. & Sklar, E. I., 24 Aug 2019, MEDINFO 2019: Health and Wellbeing e-Networks for All. Ohno-Machado, L. & Séroussi, B. (eds.). IOS Press, p. 644-648 5 p. (Studies in Health Technology and Informatics; vol. 264).

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

  19. Characterisation of breathing and physical activity patterns in the general population using the wearable Respeck monitor

    Arvind, D. K., Fischer, D., Bates, A. & Kinra, S., 23 Aug 2019, (Accepted/In press) Proceedings of BODYNETS 2019 – 14th EAI International Conference on Body Area Networks. Springer, 11 p.

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

  20. S2C2: Toward an App to Support Social StoryTM Comprehension Checking in Children with ASD

    Constantin, A., Georgiou, N., Alexandru, C. & Korte, J., 23 Aug 2019, Human-Computer Interaction - INTERACT 2019: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part I. Lamas, D., Loizides, F., Nacke, L., Petrie, H., Winckler, M. & Zaphiris, P. (eds.). Springer, Cham, p. 153-160 8 p. ( Lecture Notes in Computer Science; vol. 11746).

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

  21. Harnessing Interdisciplinarity to Promote the Ethical Design of AI Systems

    Patel, M., Webb, H., Jirotka, M., Davoust, A., Gales, R., Rovatsos, M. & Koene, A., 15 Aug 2019, (Accepted/In press) European Conference on the Impact of Artificial Intelligence and Robotics : 31 October–1 November 2019, EM-Normandie Business School, Oxford, UK. 10 p.

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

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