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

    Research output: Contribution to conferencePaper

  10. Logical Interpretations of Autoencoders

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

    Research output: Contribution to conferencePaper

  11. PAC + SMT

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

    Research output: Contribution to conferencePaper

  12. Tractable Probabilistic Models for Moral Responsibility

    Hammond, L. & Belle, V., 30 Sep 2019, (Accepted/In press). 18 p.

    Research output: Contribution to conferencePaper

  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

  22. Implicitly Learning to Reason in First-Order Logic

    Belle, V. & Juba, B., 12 Aug 2019. 7 p.

    Research output: Contribution to conferencePaper

  23. ChangeIt: Toward an App to Help Children with Autism Cope with Changes

    Varnava, V., Constantin, A. & Alexandru, C., 9 Aug 2019, International Conference Interfaces and Human Computer Interaction 2019 (part of MCCSIS 2019). Blashki, K. & Xiao, Y. (eds.). Internal Association for Development of the Information Society, p. 348-352 5 p.

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

  24. Learning Probabilistic Logic Programs over Continuous Data

    Speichert, S. & Belle, V., 26 Jul 2019, (Accepted/In press) Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings. 17 p.

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

  25. Active provenance for Data-Intensive workflows: engaging users and developers

    Spinuso, A., Atkinson, M. & Magnoni, F., 24 Jul 2019, (Accepted/In press) Proceedings of the IEEE eScience 2019 proceedings. Institute of Electrical and Electronics Engineers (IEEE), 10 p.

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

  26. DARE: A Reflective Platform Designed to Enable Agile Data-Driven Research on the Cloud

    Klampanos, I., Davvetas, A., Gemünd, A., Atkinson, M., Koukourikos, A., Filgueira Vicente, R., Krause, A., Spinuso, A., Charalambidis, A., Magnoni, F., Casarotti, E., Pagé, C. M. & Lindner, M., 24 Jul 2019, (Accepted/In press) Proceedings of the IEEE eScience 2019 proceedings. Institute of Electrical and Electronics Engineers (IEEE), 7 p.

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

  27. Towards a computer-interpretable actionable formal model to encode data governance rules

    Zhao, R. & Atkinson, M., 24 Jul 2019, (Accepted/In press) Proceedings of the IEEE eScience 2019 proceedings. Institute of Electrical and Electronics Engineers (IEEE), 10 p.

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

  28. Comparing the effectiveness of deep feedforward neural networks and shallow architectures for predicting stock price indices

    Orimoloye, L. O., Sung, M-C., Ma, T. & Johnson, J. E. V., 23 Jul 2019, In : Expert Systems with Applications. 139, 44 p., 112828.

    Research output: Contribution to journalArticle

  29. Landscape Summary: Bias in Algorithmic Decision-Making: What is bias in algorithmic decision-making, how can we identify it, and how can we mitigate it?

    Rovatsos, M., Mittelstadt, B. & Koene, A., 19 Jul 2019, UK Government. 70 p.

    Research output: Book/ReportCommissioned report

  30. A Responsive Engagement Approach to Promote the Development of ‘Fairer’ Algorithms

    Webb, H., Davoust, A., Rovatsos, M., Patel, M., Koene, A. & Jirotka, M., 15 Jul 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

  31. Is there a Function for a Sex Pheromone Precursor?

    Vasieva, O. & Goryanin, I., 13 Jul 2019, In : Journal of Integrative Bioinformatics. p. 1-12 12 p.

    Research output: Contribution to journalArticle

  32. Comprehensible Control for Researchers and Developers facing Data Challenges

    Atkinson, M., Filgueira Vicente, R., Klampanos, I., Koukourikos, A., Krause, A., Magnoni, F., Page, C. M., Rietbrock, A. & Spinuso, A., 10 Jul 2019, (Accepted/In press) Proceedings IEEE eScience 2019: 15th International Conference. Sand Diego, California, USA, 11 p.

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

  33. A scaling-up strategy supporting the expansion of integrated care: a study protocol

    Grooten, L., Alexandru, C., Alhambra-Borrás, T., Anderson, S., Avolio, F., Cotanda, E. V., Gütter, Z., Henderson, D., Kassberg, A-C., de Manuel Keenoy, E., Lange, M., Lundgren, L., Pavlickova, A., Suarez, J. T., Whitehouse, D., Zabala, A. F., Rementeria, J. I. Z. & Vrijhoef, H. J. M., 20 Jun 2019, In : Journal of Integrated Care. 27, 3, p. 215-231 17 p.

    Research output: Contribution to journalArticle

  34. Using simple PID-inspired controllers for online resilient resource management of distributed scientific workflows

    Silva, R. F. D., Filgueira, R., Deelman, E., Pairo-Castineira, E., Overton, I. M. & Atkinson, M. P., Jun 2019, In : Future Generation Computer Systems. 95, p. 615 - 628 14 p.

    Research output: Contribution to journalArticle

  35. “It would be pretty immoral to choose a random algorithm”: Opening up algorithmic interpretability and transparency

    Webb, H., Patel, M., Rovatsos, M., Davoust, A., Ceppi, S., Koene, A., Dowthwaite, L., Portillo, V., Jirotka, M. & Cano, M., 13 May 2019, In : Journal of Information, Communication & Ethics in Society. 17, 2, 25 p.

    Research output: Contribution to journalArticle

  36. Computational Argumentation-based Clinical Decision Support

    Chapman, M., Balatsoukas, P., Ashworth, M., Curcin, V., Kökciyan, N., Essers, K., Sassoon, I., Modgil, S., Parsons, S. & Sklar, E. I., 8 May 2019, Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 2345-2347 3 p.

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

  37. Using Crowdsourcing to Foster Creativity in Children with Autism during Idea Generation

    Constantin, A., Alexandru, C. & Dragomir, M., 4 May 2019. 5 p.

    Research output: Contribution to conferencePaper

  38. "Why is the Doctor a Man?" Reactions of Older Adults to a Virtual Training Doctor

    Constantin, A., Lai, C., Farrow, E., Alex, B., Pel-Littel, R., Nap, H. H. & Jeuring, J., 2 May 2019, Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. Glasgow, Scotland UK, 6 p. LBW1719. (CHI EA '19).

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

  39. Expecting the Unexpected in Participatory Design

    Constantin, A., Korte, J., Fails, J. A., Alexandru, C., Dragomir, M., Pain, H., Good, J., Garzoto, F., Eriksson, E. & Waller, A., 2 May 2019, Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. 4 p. SIG07

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

  40. Single chamber air-cathode microbial fuel cells as biosensors for determination of biodegradable organics

    Lóránt, B., Gyalai-Korpos, M., Goryanin, I. & Tardy, G. M., May 2019, In : Biotechnology letters. 41, 4-5, p. 555-563 9 p.

    Research output: Contribution to journalArticle

  41. A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference

    Papapanagiotou, P. & Fleuriot, J., 22 Apr 2019, Logic-Based Program Synthesis and Transformation. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer International Publishing, p. 77-93 17 p. (LNCS; vol. 11408).

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

  42. Experiential AI

    Hemment, D., Aylett, R., Belle, V., Murray-Rust, D., Luger, E., Hillston, J., Rovatsos, M. & Broz, F., 1 Apr 2019, AI Matters, 5, 1, p. 25-31 7 p.

    Research output: Contribution to specialist publicationArticle

  43. Statistical properties of volume and calendar effects in prediction markets

    Restocchi, V., McGroarty, F. & Gerding, E., 29 Mar 2019, In : Physica a-Statistical mechanics and its applications. 20 p.

    Research output: Contribution to journalArticle

  44. Transmission errors and influence maximization in the voter model

    Brede, M., Restocchi, V. & Stein, S., 15 Mar 2019, In : Journal of Statistical Mechanics: Theory and Experiment. 15 p., 033401.

    Research output: Contribution to journalArticle

  45. Explanation in mathematical conversations: An empirical investigation

    Pease, A., Aberdein, A. & Martin, U., Mar 2019, In : Philosophical Transactions A: Mathematical, Physical and Engineering Sciences. 377, 2140, p. 1-25 25 p.

    Research output: Contribution to journalArticle

  46. Application of artificial intelligence in microwave radiometry (MWR)

    Galazis, C., Vesnin, S. & Goryanin, I., 24 Feb 2019, Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 4: BIOINFORMATICS. De Maria, E., Gamboa, H. & Fred, A. (eds.). SCITEPRESS, Vol. 4. p. 112-122 11 p.

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

  47. Agent-based modelling of Pattern Formation in Pluripotent Stem Cells: Initial Experiments and Results

    Wang, M., Robertson, D., Blin, G., Lowell, S. & Tsanas, T., 1 Feb 2019, Proceedings - 2018 11th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics, CISP-BMEI 2018. Li, Q., Li, W. & Wang, L. (eds.). Institute of Electrical and Electronics Engineers Inc., 8633048

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

  48. The stylized facts of prediction markets: Analysis of price changes

    Restocchi, V., McGroarty, F. & Gerding, E., Feb 2019, In : Physica a-Statistical mechanics and its applications. 515, p. 159 - 170 12 p.

    Research output: Contribution to journalArticle

  49. Let's Call it Quits: Break-Even Effects in the Decision to Stop Taking Risks

    Fraser-Mackenzie, P. A. F., Ma, T., Sung, M-C. & Johnson, J. E. V., 16 Jan 2019, In : Risk analysis. 22 p.

    Research output: Contribution to journalArticle

  50. Argumentation theory for mathematical argument

    Corneli, J., Martin, U., Murray-Rust, D., Nesin, G. R. & Pease, A., 4 Jan 2019, In : Argumentation. p. 1-42 42 p.

    Research output: Contribution to journalArticle

  51. Automating Event-B invariant proofs by rippling and proof patching

    Lin, Y., Bundy, A., Grov, G. & Maclean, E., 2 Jan 2019, In : Formal Aspects of Computing. p. 1-35 35 p.

    Research output: Contribution to journalArticle

  52. Patterns of Design

    Corneli, J., Holland, S., Pease, A., Mulholland, P., Murray-Rust, D., Scaltsas, D. & Smaill, A., 2019, 23rd European Conference on Pattern Languages of Programs (EuroPLoP ’18). Irsee, Germany: ACM, p. 22:1-22:11 11 p. 22

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

  53. 2018
  54. Possibilistic networks: MAP query and computational analysis

    Benferhat, S., Tabia, K. & Levray, A., 17 Dec 2018, Proceedings of the 30th IEEE Int'l Conference on Tools with Artificial Intelligence (ICTAI'18), 2018. Volos, Greece: Institute of Electrical and Electronics Engineers (IEEE), p. 916-923 8 p.

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

  55. Towards the use of Commitments in Multi-agent decision support systems

    Sassoon, I., Kokciyan, N., Parsons, S. & Sklar, E. I., 15 Dec 2018. 4 p.

    Research output: Contribution to conferencePaper

  56. The CONSULT System: Demonstration

    Essers, K., Chapman, M., Kokciyan, N., Sassoon, I., Porat, T., Balatsoukas, P., Young, P., Ashworth, M., Curcin, V., Modgil, S., Parsons, S. & Sklar, E. I., 4 Dec 2018, Proceedings of the 6th International Conference on Human-Agent Interaction. New York, NY, USA: Association for Computing Machinery (ACM), p. 385-386 2 p.

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

  57. Establishing Core Concepts for Information-Powered Collaborations

    Trani, L., Atkinson, M., Bailo, D., Paciello, R. & Filgueira Vicente, R., Dec 2018, In : Future Generation Computer Systems. 89, p. 421-437 17 p.

    Research output: Contribution to journalArticle

  58. RESPIRE: The National Institute for Health Research's (NIHR) Global Respiratory Health Unit

    Sheikh, A., Campbell, H., Balharry, D., Baqui, A. H., Bogaert, D., Cresswell, K., Cunningham, S., Dockerell, D., El Arifeen, S., Fletcher, M., Grant, M., Shariff Ghazali, S., Habib, G. M. M., Hazir, T., Isaac, R., Juvekar, S., Khoo, E. M., McKinstry, B., Morris, A., Nair, H. & 17 others, Norrie, J., Nwaru, B., Pinnock, H., Robertson, D., Saha, S. K., Salvi, S., Schwarze, J., Simpson, C., Sridhar, D., Stoddart, A., Weller, D., Whyte, M., Worth, A., Williams, S., Yusuf, O., Zumla, A. & Rudan, I., Dec 2018, In : Journal of Global Health. 8, 2, p. 020314

    Research output: Contribution to journalEditorial

  59. Calculating Error Bars on Inferences from Web Data

    Nuamah, K. & Bundy, A., 8 Nov 2018, SAI Intelligent Systems Conference (IntelliSys). London, United Kingdom: Springer, Cham, p. 618-640 23 p.

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

  60. Stakeholders' views on a collaborative decision support system to promote multimorbidity self-management: barriers, facilitators and design implications

    Porat, T., Kokciyan, N., Sassoon, I., Young, A. P., Chapman, M., Ashworth, M., Modgil, S., Parsons, S., Sklar, E. & Curcin, V., 7 Nov 2018. 3 p.

    Research output: Contribution to conferencePaper

  61. The maturity of integrated care systems: lessons learned in using the SCIROCCO tool across Europe

    Pavlickova, A., Henderson, D., Alexandru, CA. & Alhambra, T., 1 Nov 2018. 1 p.

    Research output: Contribution to conferenceAbstract

  62. Effects of time horizons on influence maximization in the voter dynamics

    Stein, S., Restocchi, V. & Brede, M., 30 Oct 2018, In : Journal for Complex Networks. 00, 24 p., cny027.

    Research output: Contribution to journalArticle

  63. What question? Enabling dialogue between students and their teachers

    Wood, A. K., Anderson, P., Macleod, H., Paterson, J. & Sinclair, C., 24 Oct 2018, In : Journal of Perspectives in Applied Academic Practice. p. 108-112 Vol 6.

    Research output: Contribution to journalArticle

  64. Enhancing the SCIROCCO tool using quantitative and qualitative methods

    Alhambra-Borrás, T., Alexandru, C., Whitehouse, D. & Garcés-Ferrer, J., 23 Oct 2018. 2 p.

    Research output: Contribution to conferenceAbstract

  65. It takes all sorts: A heterogeneous agent explanation for prediction market mispricing

    Restocchi, V., McGroarty, F., Gerding, E. & Johnson, J. E. V., 16 Oct 2018, In : European Journal of Operational Research. 270, 2, p. 556 - 569 14 p.

    Research output: Contribution to journalArticle

  66. Toward a Technology-based Tool to Support Idea Generation During Participatory Design with Children with Autism Spectrum Disorders

    Constantin, A. & Hourcade, J. P., 8 Oct 2018, Proceedings of the 20th International ACM SIGACCESS Conference on Computers and Accessibility. New York, NY, USA: ACM, p. 385-387 3 p. (ASSETS '18).

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

  67. Formal Conceptual Blending in the (Co-)Invention of (Pure) Mathematics

    Gómez-Ramírez, D. D. J. & Smaill, A., 6 Oct 2018, Concept Invention: Foundations, Implementation, Social Aspects and Applications. Springer, Cham, p. 221-239 19 p.

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

  68. The “Code Yourself!” and “¡A Programar!” programming MOOC for teenagers: Reflecting on one and a half years of experience

    Friss De Kereki, I., Paulós, J. V. & Manataki, A., 5 Oct 2018, In : CLEI Electronic Journal. 21, 2, 22 p.

    Research output: Contribution to journalArticle

  69. Capturing the sounds of an urban greenspace

    Klein, E., Chapple, S., Fainberg, J., Magill, C., Parker, M., Raab, C. & Silvertown, J., 20 Sep 2018, The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences: 3rd International Conference on Smart Data and Smart Cities. Delft, The Netherlands: Copernicus Publications, Vol. XLII-4/W11. p. 19-26 8 p.

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

  70. Instantiating metalevel argumentation frameworks

    Young, A. P., Kokciyan, N., Sassoon, I., Modgil, S. & Parsons, S., 14 Sep 2018, Computational Models of Argument. Modgil, S., Budzynska, K., Lawrence, J. & Budzynska, K. (eds.). IOS Press, p. 97-108 12 p. (Frontiers in Artificial Intelligence and Applications; vol. 305).

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

  71. Reasoning with metalevel argumentation frameworks in aspartix

    Kokciyan, N., Sassoon, I., Young, A. P., Modgil, S. & Parsons, S., 14 Sep 2018, Computational Models of Argument - Proceedings of COMMA 2018. Modgil, S., Budzynska, K. & Lawrence, J. (eds.). IOS Press, p. 463-464 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 305).

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

  72. Correct-by-construction Process Composition Using Classical Linear Logic Inference

    Papapanagiotou, P. & Fleuriot, J., 11 Sep 2018, 28th International Symposium on Logic-Based Program Synthesis and Transformation. Frankfurt am Main, Germany, 16 p.

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

  73. ABC Repair System for Datalog-like Theories

    Li, X., Bundy, A. & Smaill, A., Sep 2018, 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Seville, Spain: SCITEPRESS, Vol. 2. p. 335-342 8 p.

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

  74. Understanding situated energy values in rural Kenya

    Pschetz, L., Magill, C., Klein, E., Cross, J. & van der Horst, D., 30 Aug 2018, DRS Conference Proceedings 2018. DRS, Vol. 2. p. 729-746

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

  75. Automated Reasoning in the Age of the Internet

    Bundy, A., Nuamah, K. & Lucas, C., 22 Aug 2018, 13th International Conference on Artificial Intelligence and Symbolic Computation. Suzhou, China: Springer, Cham, Vol. LNAI 11110. p. 3-18 16 p.

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

  76. Machine Learning for Automated Inductive Theorem Proving

    Jiang, Y., Papapanagiotou, P. & Fleuriot, J., 22 Aug 2018, Proceedings of the 13th International Artificial Intelligence and Symbolic Computation (AISC) Conference 2018 : Lecture Notes in Artificial Intelligence, Volume 11110, pages 87-103, 2018. Suzhou, China: Springer, Cham, p. 87-103 16 p.

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

  77. The temporal evolution of mispricing in prediction markets

    Restocchi, V., McGroarty, F. & Gerding, E., 11 Aug 2018, In : Finance Research Letters. 5 p.

    Research output: Contribution to journalArticle

  78. Computer-Assisted Theorem Proving in Synthetic Geometry

    Narboux, J., Janicic, P. & Fleuriot, J., 1 Aug 2018, Handbook of Geometric Constraint Systems Principles . 1st ed. New York, USA: Chapman and Hall/CRC, p. 21-60 39 p.

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

  79. Use of Microwave Radiometry to Monitor Thermal Denaturation of Albumin

    Ivanov, Y., Kozlov, A. F., Galiullin, R. A., Tatur, V. Y., Ziborov, V. S., Ivanova, N. D., Pleshakova, T. O., Vesnin, S. G. & Goryanin, I., 25 Jul 2018, In : Frontiers in physiology. 9, 5 p., 956.

    Research output: Contribution to journalArticle

  80. ApproxIoT: Approximate Analytics for Edge Computing

    Wen, Z., Quoc, D. L., Bhatotia, P., Chen, R. & Lee, M., 23 Jul 2018, 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS). Vienna, Austria: Institute of Electrical and Electronics Engineers (IEEE), p. 411-421 11 p.

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

  81. Qualitative conditioning in an interval-based possibilistic setting

    Benferhat, S., Kreinovich, V., Levray, A. & Tabia, K., 15 Jul 2018, In : Fuzzy Sets and Systems. 343, p. 35-49 15 p.

    Research output: Contribution to journalArticle

  82. Social Machines for All

    Papapanagiotou, P., Davoust, A., Murray-Rust, D., Manataki, A., van Kleek, M., Shadbolt, N. & Robertson, D., 15 Jul 2018, 17th International Conference on Autonomous Agents and Multiagent Systems . p. 1208-1212 5 p.

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

  83. Privacy-Preserving Intersection Management for Autonomous Vehicles

    Kokciyan, N., Erdogan, M., Meral, T. H. S. & Yolum, P., 14 Jul 2018, Proceedings of the Tenth International Workshop on Agents in Traffic and Transportation (ATT 2018). CEUR Workshop Proceedings (CEUR-WS.org), 8 p.

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

  84. On Plans With Loops and Noise

    Belle, V., 9 Jul 2018, Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018). Stockholm, Sweden: ACM, p. 1310-1317 8 p.

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

  85. Sequential plan recognition: An iterative approach to disambiguating between hypotheses

    Mirsky, R., Stern, R., Gal, Y. & Kalech, M., 1 Jul 2018, In : Artificial Intelligence. 260, p. 51-73 23 p.

    Research output: Contribution to journalArticle

  86. Using persona as lenses for a reference model

    Constantin, A., Nieva, A., Hardisty, A. & Atkinson, M., 1 Jul 2018, Proceedings of the 32nd International BCS Human Computer Interaction Conference (HCI 2018): Belfast, UK, 4 - 6 July 2018. BCS, The Chartered Institute for IT, p. 1-5 5 p. (Electronic Workshops in Computing).

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

  87. Combining Difficulty Ranking with Multi-Armed Bandits to Sequence Educational Content

    Segal, A., Ben David, Y., Jay Williams, J., Gal, Y. & Shalom, Y., 27 Jun 2018, 19th International Conference on Artificial Intelligence in Education 2018. London, UK: Springer, Cham, p. 317-321 5 p.

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

  88. Classifying and visualizing students' cognitive engagement in course readings

    Yogev, E., Gal, Y., Karger, D., Facciotti, M. T. & Igo, M., 26 Jun 2018, Proceedings of the Fifth Annual ACM Conference on Learning at Scale . London, United Kingdom : ACM, 10 p. 52

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

  89. Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems

    Belle, V. & Levesque, H. J., 26 Jun 2018, In : Artificial Intelligence. 262, p. 189 - 221 33 p.

    Research output: Contribution to journalArticle

  90. Moving Content from Second Life/OpenSimulator via Unity3D to new Social Virtual Reality Platforms

    Tate, A., 23 Jun 2018, In : Virtual Education Journal (VEJ). Summer 2018, p. 30-35 6 p.

    Research output: Contribution to journalArticle

  91. ABIBA: An agent-based computing system for behaviour analysis used in human-agent interaction

    Cui, C., Murray-Rust, D., Robertson, D. & Nicodemus, K., 20 Jun 2018, Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection - International Workshops of PAAMS 2018, Proceedings. Toledo; Spain: Springer, Cham, p. 183-195 13 p. (Communications in Computer and Information Science; vol. 887).

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

  92. Computational modelling for decision-making: where, why, what, who and how

    Calder, M., Craig, C., Culley, D., de Cani, R., Donnelly, C. A., Douglas, R., Edmonds, B., Gascoigne, J., Gilbert, N., Hargrove, C., Hinds, D., C. Lane, D., Mitchell, D., Pavey, G., Robertson, D., Rosewell, B., Sherwin, S., Walport, M. & Wilson, A., 20 Jun 2018, In : Royal Society Open Science. 5, 15 p.

    Research output: Contribution to journalArticle

  93. I am not a number: Towards participatory IoT monitoring in the workplace

    Magill, C., Klein, E. & Chapple, S., 14 Jun 2018, Living in the Internet of Things: A PETRAS, IoTUK & IET Conference, Forum & Exhibition. London, UK: Institution of Engineering and Technology, p. 1-10 10 p.

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

  94. Approximating MAP Inference in Credal Networks Using Probability-Possibility Transformations

    Benferhat, S., Levray, A. & Tabia, K., 7 Jun 2018, Proceedings of the 29th International Conference on Tools with Artificial Intelligence (ICTAI’17), 2017. Boston, MA, USA: Institute of Electrical and Electronics Engineers (IEEE), p. 1057-1064 8 p.

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

  95. Orchestrating the emergence of conceptual learning: a case study in a geometry class

    B. Schwarz, B., Prusak, N., Swidan, O., Livny, A., Gal, Y. & Segal, A., Jun 2018, In : International Journal of Computer-Supported Collaborative Learning. 13, 2, p. 189-211 23 p.

    Research output: Contribution to journalArticle

  96. PBUF: Sharing buffer to mitigate flooding attacks

    Lin, C., Wu, C., Tian, Y., Wen, Z. & Ji, S., 31 May 2018, Proceedings - 2017 IEEE 23rd International Conference on Parallel and Distributed Systems, ICPADS 2017. Shenzhen, China: Institute of Electrical and Electronics Engineers (IEEE), Vol. 2017-December. p. 392-399 8 p.

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

  97. Étude de la complexité de l'inférence dans des réseaux possibilistes

    Benferhat, S., Levray, A. & Tabia, K., 2 May 2018, (Accepted/In press) p. 2.

    Research output: Contribution to conferenceAbstract

  98. Cost Efficient Scheduling of MapReduce Applications on Public Clouds

    Zeng, X., Garg, S. K., Wen, Z., Strazdins, P., Zomaya, A. Y. & Ranjan, R., 1 May 2018, In : Journal of Computational Science. 26, p. 375-388 14 p.

    Research output: Contribution to journalArticle

  99. Preserving Privacy As Social Responsibility in Online Social Networks

    Kekulluoglu, D., Kokciyan, N. & Yolum, P., 30 Apr 2018, In : ACM Transactions on Internet Technology. 18, 4, p. 1-22 22 p., 42.

    Research output: Contribution to journalArticle

  100. Resisting Influence: How the Strength of Predispositions to Resist Control Can Change Strategies for Optimal Opinion Control in the Voter Model

    Brede, M., Restocchi, V. & Stein, S., 17 Apr 2018, In : Frontiers in Robotics and AI. 5, 11 p., 34.

    Research output: Contribution to journalArticle

  101. Towards Open-World Scenarios: Teaching the Social Side of Data Science

    Corneli, J., Murray-Rust, D. & Bach, B., 6 Apr 2018, Cybernetic Serendipity Reimagined Symposium, Proc. Annual Convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour. 4 p.

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

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