Artificial Intelligence and its Applications Institute

  • Postal addressShow on map

    10 Crichton Street, Informatics Forum

    EH8 9AB Edinburgh

    United Kingdom

Filter
Conference contribution

Search results

  • 2019

    "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: ACM, 6 p. LBW1719. (CHI EA '19).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • 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, p. 77-93 17 p. (LNCS; vol. 11408).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Structured Disentangled Representations

    Esmaeili, B., Wu, H., Jain, S., Bozkurt, A., Siddharth, N., Paige, B., Brooks, D. H., Dy, J. & van de Meent, J-W., 18 Apr 2019, Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics. Chaudhuri, K. & Sugiyama, M. (eds.). PMLR, Vol. 89. p. 2525-2534 10 p. (Proceedings of Machine Learning Research; vol. 89).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • A Conditional Deep Generative Model of People in Natural Images

    de Bem, R., Ghosh, A., Boukhayma, A., Ajanthan, T., Siddharth, N. & Torr, P., 7 Mar 2019, 2019 IEEE Winter Conference on Applications of Computer Vision (WACV). Institute of Electrical and Electronics Engineers, p. 1449-1458 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 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 proceeding › Conference contribution

    Open Access
    File

  • 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, 8633048

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A Semi-supervised Deep Generative Model for Human Body Analysis

    de Bem, R., Ghosh, A., Ajanthan, T., Miksik, O., Siddharth, N. & Torr, P., 29 Jan 2019, Computer Vision -- ECCV 2018 Workshops. Leal-Taixé, L. & Roth, S. (eds.). Cham: Springer, p. 500-517 18 p. (Lecture Notes in Computer Science; vol. 11130).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 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 proceeding › Conference contribution

    Open Access
    File
  • 2018

    Computing Argument Preferences and Explanations in Abstract Argumentation

    Mahesar, Q., 17 Dec 2018, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI). Institute of Electrical and Electronics Engineers, p. 281-285 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • FLIPDIAL: A Generative Model for Two-Way Visual Dialogue

    Massiceti, D., Siddharth, N., Dokania, P. K. & Torr, P. H. S., 17 Dec 2018, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. Institute of Electrical and Electronics Engineers, p. 6097-6105 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 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, p. 916-923 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • 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 proceeding › Conference contribution

  • Automating "human-like" example-use in mathematics

    Pease, A. & Martin, U., 2 Dec 2018, CEUR Workshop Proceedings. Vol. 2261. p. 6-12 7 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Calculating Error Bars on Inferences from Web Data

    Nuamah, K. & Bundy, A., 8 Nov 2018, SAI Intelligent Systems Conference (IntelliSys). London, United Kingdom: Springer, p. 618-640 23 p. (Advances in Intelligent Systems and Computing (AISC); vol. 869).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Computing Preferences in Abstract Argumentation

    Mahesar, Q., Oren, N. & Vasconcelos, W. W., 24 Oct 2018, PRIMA 2018: Principles and Practice of Multi-Agent Systems. Miller, T., Oren, N., Sakurai, Y., Noda, I., Savarimuthu, B. T. R. & Cao Son, T. (eds.). Cham: Springer, p. 387-402 16 p. (Lecture Notes in Computer Science; vol. 11224).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Meta-Argumentation Frameworks for Multi-party Dialogues

    Ogunniye, G., Toniolo, A. & Oren, N., 24 Oct 2018, PRIMA 2018: Principles and Practice of Multi-Agent Systems. Miller, T., Oren, N., Sakurai, Y., Noda, I., Savarimuthu, B. T. R. & Cao Son, T. (eds.). Cham: Springer, p. 585-593 9 p. (Lecture Notes in Computer Science; vol. 11224).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 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 proceeding › Conference contribution

  • Capturing the sounds of an urban greenspace

    Klein, E., Chapple, S., Fainberg, J., Magill, C., Parker, M., Raab, C. & Silvertown, J., 20 Sept 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. (The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences; vol. XLII-4/W11).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Instantiating metalevel argumentation frameworks

    Young, A. P., Kokciyan, N., Sassoon, I., Modgil, S. & Parsons, S., 14 Sept 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 proceeding › Conference contribution

    Open Access
    File

  • Reasoning with metalevel argumentation frameworks in aspartix

    Kokciyan, N., Sassoon, I., Young, A. P., Modgil, S. & Parsons, S., 14 Sept 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 proceeding › Conference contribution

    Open Access
    File

  • Correct-by-construction Process Composition Using Classical Linear Logic Inference

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Fast and Precise Black and White Ball Detection for RoboCup Soccer

    Menashe, J., Kelle, J., Genter, K., Hanna, J., Liebman, E., Narvekar, S., Zhang, R. & Stone, P., 7 Sept 2018, RoboCup 2017: Robot World Cup XXI. Akiyama, H., Obst, O., Sammut, C. & Tonidandel, F. (eds.). Cham: Springer, p. 45-58 14 p. (Lecture Notes in Computer Science (LNCS); vol. 11175).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • ABC Repair System for Datalog-like Theories

    Li, X., Bundy, A. & Smaill, A., Sept 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 proceeding › Conference contribution

    Open Access
    File

  • 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 proceeding › Conference contribution

    Open Access
    File

  • Automated Reasoning in the Age of the Internet

    Bundy, A., Nuamah, K. & Lucas, C., 22 Aug 2018, (E-pub ahead of print) 13th International Conference on Artificial Intelligence and Symbolic Computation. Suzhou, China: Springer, Vol. LNCS 11110. p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 11110).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Machine Learning for Automated Inductive Theorem Proving

    Jiang, Y., Papapanagiotou, P. & Fleuriot, J., 22 Aug 2018, (E-pub ahead of print) 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, p. 87-103 16 p. (Lecture Notes in Computer Science; vol. 11110)(Lecture Notes in Artificial Intelligence; vol. 11110).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • ATU-DSS: Knowledge-Driven Data Integration and Reasoning for Sustainable Subsurface Inter-asset Management

    Wei, L., Du, H., Mahesar, Q., Clarke, B., Magee, D. R., Dimitrova, V., Gunn, D., Entwisle, D., Reeves, H. & Cohn, A. G., 2 Aug 2018, The Semantic Web: ESWC 2018 Satellite Events. Gangemi, A., Gentile, A. L., Nuzzolese, A. G., Rudolph, S., Maleshkova, M., Paulheim, H., Pan, J. Z. & Alam, M. (eds.). Cham: Springer, p. 8-13 6 p. (Lecture Notes in Computer Science; vol. 11155).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 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, p. 411-421 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Efficient Symbolic Integration for Probabilistic Inference

    Kolb, S., Mladenov, M., Sanner, S., Belle, V. & Kersting, K., 19 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Freiburg, Germany: IJCAI Inc, p. 5031-5037 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • 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 proceeding › Conference contribution

    Open Access
    File

  • 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 proceeding › Conference contribution

    Open Access

  • Automated Reasoning for City Infrastructure Maintenance Decision Support

    Wei, L., Magee, D. R., Dimitrova, V., Clarke, B., Du, H., Mahesar, Q., Ammari, K. A. & Cohn, A. G., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI-18. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence Organization, p. 5877-5879 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 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 proceeding › Conference contribution

    Open Access
    File

  • 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 proceeding › Conference contribution

    Open Access
    File

  • 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, p. 317-321 5 p. (Lecture Notes in Computer Science; vol. 10948).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 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 proceeding › Conference contribution

  • 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, p. 183-195 13 p. (Communications in Computer and Information Science; vol. 887).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • 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 proceeding › Conference contribution

    Open Access
    File

  • 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, p. 1057-1064 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 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, Vol. 2017-December. p. 392-399 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • DyETC: Dynamic Electronic Toll Collection for Traffic Congestion Alleviation

    Chen, H., An, B., Sharon, G., Hanna, J., Stone, P., Miao, C. & Soh, Y., 25 Apr 2018, Proceedings of the Thirty-Second AAAI Conferenceon Artificial Intelligence (AAAI-18). Palo Alto, California USA: AAAI Press, p. 757-765 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 32, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • 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 proceeding › Conference contribution

    Open Access
    File

  • eDWaaS: A Scalable Educational Data Warehouse as a Service

    Khan, A., Ghosh, S. & Ghosh, S. K., 22 Mar 2018, Intelligent Systems Design and Applications: 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017) held in Delhi, India, December 14-16, 2017. Abraham, A., Muhuri, P. K., Muda, A. K. & Gandhi, N. (eds.). Cham: Springer, p. 998-1007 10 p. (Advances in Intelligent Systems and Computing; vol. 736).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A Dynamic Model of Trust in Dialogues

    Ogunniye, G., Toniolo, A. & Oren, N., 6 Mar 2018, Theory and Applications of Formal Argumentation. Black, E., Modgil, S. & Oren, N. (eds.). Cham: Springer, p. 211-226 16 p. (Lecture Notes in Computer Science; vol. 10757).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Optimizing Interventions via Offline Policy Evaluation: Studies in Citizen Science

    Segal, A., Gal, Y., Kamar, E., Horvitz, E. & Miller, G., 7 Feb 2018, Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) . New Orleans, Louisiana, USA: AAAI Press, p. 1536-1544 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Towards an Argumentation System for Supporting Patients in Self-Managing their Chronic Conditions

    Kokciyan, N., Sassoon, I., Young, A. P., Chapman, M., Porat, T., Ashworth, M., Curcin, V., Modgil, S., Parsons, S. & Sklar, E., 3 Feb 2018, The Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence. The AAAI Press, p. 455-462 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • ASAR Database: An R Tool for Visual Analysis and Storage of Metagenomes

    Orakov, A., Sakenova, N., Goryanin, I. & Sorokin, A., 21 Jan 2018, (E-pub ahead of print) Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 4: BIOINFORMATICS. Madeira, Portugal, p. 196-200 5 p. (Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Towards Executable Representations of Social Machines

    Murray-Rust, D., Davoust, A., Papapanagiotou, P., Manataki, A., van Kleek, M., Shadbolt, N. & Robertson, D., 2018, Diagrammatic Representation and Inference: Diagrams 2018. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). SpringerLink, p. 765-769 4 p. (Lecture Notes in Computer Science; vol. 10871).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Towards Securing Peer-to-peer SIP in the MANET Context: Existing Work and Perspectives

    Davoust, A., Gagnon, F., Esfandiari, B., Kunz, T. & Cormier, A., 2018, 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData). Institute of Electrical and Electronics Engineers, p. 223-229 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2017

    Learning Disentangled Representations with Semi-Supervised Deep Generative Models

    Siddharth, N., Paige, B., van de Meent, J-W., Desmaison, A., Goodman, N., Kohli, P., Wood, F. & Torr, P. H. S., 9 Dec 2017, Advances in Neural Information Processing Systems. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). Neural Information Processing Systems, p. 5925-5935 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File