Artificial Intelligence and its Applications Institute

  • Postal addressShow on map

    10 Crichton Street, Informatics Forum

    EH8 9AB Edinburgh

    United Kingdom

Filter
Chapter

Search results

  • 2022

    Logic meets Learning: From Aristotle to Neural Networks

    Belle, V., 1 Jan 2022, Neuro-Symbolic Artificial Intelligence - The State of the Art. Hitzler, P. & Sarker, M. K. (eds.). Amsterdam: IOS Press, p. 78 - 102 25 p. (Frontiers in Artificial Intelligence and Applications; vol. 342).

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

  • 2021

    Proof Mechanization: From Dream to Reality

    Fleuriot, J. D., 24 May 2021, Mathematical Reasoning: The History and Impact of the DReaM Group. Michaelson, G. (ed.). Cham: Springer, p. 87-104 18 p.

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

  • 2020

    Common Challenges and Requirements

    Magagna, B., Martin, P., de la Hidalga, A. N., Atkinson, M. & Zhao, Z., 25 Jul 2020, Towards Interoperable Research Infrastructures for Environmental and Earth Sciences: A Reference Model Guided Approach for Common Challenges. Zhao, Z. & Hellström, M. (eds.). 1 ed. Cham: Springer, p. 30-57 28 p. (Lecture Notes in Computer Science; vol. 12003)(Information Systems and Applications, incl. Internet/Web, and HCI; vol. 12003).

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

    Open Access

  • Data Provenance

    Magagna, B., Goldfarb, D., Martin, P., Atkinson, M., Koulouzis, S. & Zhao, Z., 25 Jul 2020, Towards Interoperable Research Infrastructures for Environmental and Earth Sciences: A Reference Model Guided Approach for Common Challenges. Zhao, Z. & Hellström, M. (eds.). 1 ed. Cham: Springer, p. 208-225 18 p. (Lecture Notes in Computer Science; vol. 12003)(Information Systems and Applications, incl. Internet/Web, and HCI; vol. 12003).

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

    Open Access

  • Towards Operational Research Infrastructures with FAIR Data and Services

    Zhao, Z., Jeffery, K., Stocker, M., Atkinson, M. & Petzold, A., 25 Jul 2020, Towards Interoperable Research Infrastructures for Environmental and Earth Sciences: A Reference Model Guided Approach for Common Challenges. Zhao, Z. & Hellström, M. (eds.). 1 ed. Cham: Springer, p. 360–372 13 p. (Lecture Notes in Computer Science; vol. 12003)(Information Systems and Applications, incl. Internet/Web, and HCI; vol. 12003).

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

    Open Access

  • ChangeIt: Toward an App to Help Children With Autism Cope With Changes

    Varnava, V., Constantin, A. & Alexandru, C., 6 Mar 2020, Interactivity and the Future of the Human-Computer Interface. Isaias, P. & Blashki, K. (eds.). IGI Global, p. 72-94 23 p.

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

  • 2018

    Faithful Inversion of Generative Models for Effective Amortized Inference

    Webb, S., Golinski, A., Zinkov, R., Siddharth, N., Rainforth, T., Teh, Y. W. & Wood, F., 8 Dec 2018, Advances in Neural Information Processing Systems 31. Bengio, S., Wallach, H., Larochelle, H., Grauman, K., Cesa-Bianchi, N. & Garnett, R. (eds.). Curran Associates Inc, p. 3070-3080 11 p.

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

    Open Access

  • Facilitating Interaction Between Virtual Agents through Negotiation over Ontological Representation

    McNeill, F. & Bundy, A., 1 Nov 2018, Advanced Methodologies and Technologies in Digital Marketing and Entrepreneurship. IGI Global, p. 143-154 12 p.

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

  • 2017

    Anticipatory Artificial Intelligence

    Rovatsos, M., 10 Jul 2017, Handbook of Anticipation. R. P. (ed.). Springer, p. 1-33 27 p.

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

  • 2016

    dispel4py: An Agile Framework for Data-Intensive methods using HPC

    Filgueira Vicente, R., Atkinson, M. & Krause, A., 17 Sept 2016, Conquering Big Data Using High Performance Computing. Springer, p. 109-137 29 p.

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

  • The Fish4Knowledge Virtual World Gallery

    Chen-Burger, Y-H. & Tate, A., 2016, Fish4Knowledge: Collecting and Analyzing Massive Coral Reef Fish Video Data. Fisher, R. B., Chen-Burger, Y-H., Giordano, D., Hardman, L. & Lin, F. P. (eds.). Springer, p. 245-251 7 p. 17. (Intelligent Systems Reference Library; vol. 104).

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

    Open Access
    File
  • 2015

    Generation of a Partitioned Dataset with Single, Interleave and Multioccupancy Daily Living Activities

    Quesada, F. J., Moya, F., Medina, J., Martínez, L., Nugent, C. & Espinilla, M., 2015, Ubiquitous Computing and Ambient Intelligence. Sensing, Processing, and Using Environmental Information: 9th International Conference, UCAmI 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings. García-Chamizo, M. J., Fortino, G. & Ochoa, F. S. (eds.). Cham: Springer, p. 60-71 12 p. (Lecture Notes in Computer Science; vol. 9454).

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

  • Stakeholder Groups in Computational Creativity Research and Practice

    Colton, S., Pease, A., Corneli, J., Cook, M., Hepworth, R. & Ventura, D., 2015, Computational Creativity Research: Towards Creative Machines. Besold, T. R., Schorlemmer, M. & Smaill, A. (eds.). Paris: Atlantis Press, p. 3-36 34 p. (Atlantis Thinking Machines; vol. 7).

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

  • Thinking Saltmarshes

    Martin, U., 2015, What to Think About Machines That Think. Harper Perennial, 1 p.

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

  • Using Computing with Words for Managing Non-cooperative Behaviors in Large Scale Group Decision Making

    Quesada Real, F. J., Palomares, I. & Martínez, L., 2015, Granular Computing and Decision-Making: Interactive and Iterative Approaches. Pedrycz, W. & Chen, S-M. (eds.). Cham: Springer, p. 97-121 25 p. (Studies in Big Data; vol. 10).

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

  • 2014

    Twelve Big Questions for Research on Social Collective Intelligence

    Anderson, S., Miorandi, D., Carreras, I. & Robertson, D., Aug 2014, Social Collective Intelligence: Combining the Powers of Humans and Machines to Build a Smarter Society. Springer, p. 93-101 9 p. (Computational Social Sciences).

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

  • Close observation and description

    Martin, U., 19 Feb 2014, What Should We Be Worried About?: Real Scenarios That Keep Scientists Up at Night. Harper Perennial

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

  • An Open System for Social Computation

    Robertson, D., Moreau, L., Murray-Rust, D. & O'Hara, K., 2014, DEF YEARBOOK 2014 - Social Networks and Social Machines, Surveillance and Empowerment. O'Hara, K., Nguyen, C. & Haynes, P. (eds.). 19 p.

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

  • Reproducible Physical Science and the Declaratron

    Murray-Rust, P. & Murray-Rust, D., 2014, Implementing Reproducible Research. Stodden, V., Leisch, F. & Peng, R. D. (eds.). Chapman and Hall

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

  • Social Palimpsests - clouding the lens of the personal panopticon

    Murray-Rust, D., van Kleek, M., Dragan, L. & Shadbolt, N., 2014, Digital Enlightenment Yearbook 2014 : Social Networks and Social Machines, Surveillance and Empowerment. O'Hara, K., Nguyen, C. & Haynes, P. (eds.). IOS Press, p. 75 - 97 23 p.

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

    Open Access
    File
  • 2013

    Definition of the DISPEL Language

    Atkinson, M., Baxter, R., Galea, M., Parsons, M., Brezany, P., Corcho, O., van Hemert, J. & Snelling, D., 12 Apr 2013, The DATA Bonanza. Wiley, p. 203-236 34 p.

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

  • Analyzing gene expression imaging data in developmental biology

    Han, L., van Hemert, J., Overton, I., Besana, P. & Baldock, R., 9 Apr 2013, The DATA Bonanza: Improving Knowledge Discovery in Science, Engineering, and Business. Wiley, p. 327-351 25 p.

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

  • Data-Intensive Thinking with DISPEL

    Atkinson, M., 2013, THE DATA BONANZA: Improving Knowledge Discovery for Science, Engineering and Business. Atkinson, M., Baxter, R., Brezany, P., Corcho, O., Galea, M., Parsons, M., Snelling, D. & van Hemert, J. (eds.). Wiley, p. 61-122 62 p.

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

  • Multi-agent Virtual Machine Management Using the Lightweight Coordination Calculus

    Anderson, P., Bijani, S. & Herry, H., 2013, Transactions on Computational Collective Intelligence XII. Springer, p. 123-142 20 p. (Lecture Notes in Computer Science; vol. 8240).

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

    Open Access
    File

  • Platforms for Data-Intensive Analysis

    Atkinson, M., Baxter, R., Brezany, P., Corcho, O., Galea, M., Parsons, M., Snelling, D. & Hemert, J. V., 2013, The Data Bonanza:Improving Knowledge Discovery in Science, Engineering, and Business. Wiley-IEEE Press, p. 197-201 5 p.

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

  • Preface

    Atkinson, M., 2013, THE DATA BONANZA: Improving Knowledge Discovery for Science, Engineering and Business. Atkinson, M., Baxter, R., Brezany, P., Corcho, O., Galea, M., Parsons, M., Snelling, D. & van Hemert, J. (eds.). Wiley, p. xix-xxviii 10 p.

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

  • Problem Solving in Data-Intensive Knowledge Discovery

    Atkinson, M., Baxter, R., Brezany, P., Corcho, O., Galea, M., Parsons, M., Snelling, D. & van Hemert, J., 2013, The Data Bonanza:Improving Knowledge Discovery in Science, Engineering, and Business. Wiley-IEEE Press, p. 147-163 17 p.

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

  • Sharing and Reuse in Knowledge Discovery

    Atkinson, M., Baxter, R., Brezany, P., Corcho, O., Galea, M., Parsons, M., Snelling, D. & Hemert, J. V., 2013, The Data Bonanza:Improving Knowledge Discovery in Science, Engineering, and Business. Wiley-IEEE Press, p. 181-192 12 p.

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

  • The Data-Intensive Survival Guide

    Atkinson, M., 2013, THE DATA BONANZA: Improving Knowledge Discovery for Science, Engineering and Business. Atkinson, M., Baxter, R., Brezany, P., Corcho, O., Galea, M., Parsons, M., Snelling, D. & van Hemert, J. (eds.). Wiley, p. 37-60 24 p.

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

  • The Digital-Data Challenge

    Atkinson, M. & Parsons, M., 2013, THE DATA BONANZA: Improving Knowledge Discovery for Science, Engineering and Business. Atkinson, M., Baxter, R., Brezany, P., Corcho, O., Galea, M., Parsons, M., Snelling, D. & van Hemert, J. (eds.). Wiley, p. 5-13 9 p.

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

  • The Digital-Data Revolution

    Atkinson, M., 2013, THE DATA BONANZA: Improving Knowledge Discovery for Science, Engineering and Business. Atkinson, M., Baxter, R., Brezany, P., Corcho, O., Galea, M., Parsons, M., Snelling, D. & van Hemert, J. (eds.). Wiley, p. 15-36 22 p.

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

  • 2012

    Analysing Gene Expression Imaging Data in Developmental Biology

    Han, L., van Hemert, J., Overton, I., Besana, P. & Baldock, R., 2012, THE DATA BONANZA: Improving Knowledge Discovery for Science, Engineering and Business. Wiley, p. 327-351

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

  • Crowdsourcing Education on the Web: A Role-based Analysis of Online Learning Communities

    Corneli, J. & Mikroyannidis, A., 2012, Collaborative Learning 2.0: Open Educational Resources. Okada, A., Connolly, T. & Scott, P. J. (eds.). IGI Global, p. 272-286 15 p. chapter 15

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

  • Reasoning about representations in autonomous systems: what Pólya and Lakatos have to say

    Bundy, A., 2012, The Complex Mind: An Interdisciplinary Approach. McFarland, D., Stenning, K. & McGonigle-Chalmers, M. (eds.). Palgrave Macmillan, p. 167-183 17 p.

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

    File
  • 2011

    COMAS: A Multi-agent System for Performing Consensus Processes

    Palomares, I., Sánchez, P. J., Quesada, F. J., Mata, F. & Martínez, L., 2011, International Symposium on Distributed Computing and Artificial Intelligence. Abraham, A., Corchado, J. M., González, S. R. & De Paz Santana, J. F. (eds.). Berlin, Heidelberg: Springer, p. 125-132 8 p. (Advances in Intelligent and Soft Computing; vol. 91).

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

  • Concept Mapping in Virtual Collaboration Environments

    Moon, B. M., Hansberger, J. T. & Tate, A., 2011, Applied Concept Mapping: Capturing, Analyzing, and Organizing Knowledge. B., M., Hoffman, R. R., Novak, J. & Canas, A. (eds.). CRC Press, p. 293-316 24 p.

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

  • Multi-Agent Only-Knowing

    Belle, V. & Lakemeyer, G., 2011, Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque. College Publications, Vol. 16. 24 p.

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

  • 2010

    Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery

    Johansson, M., Dixon, L. & Bundy, A., 2010, Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Siegler, S. & Wasser, N. (eds.). Springer, Vol. 6463. p. 102-116 15 p. (Lecture Notes in Computer Science; vol. 6463).

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

  • Facilitating Virtual Interaction through Flexible Representation.

    McNeill, F. & Bundy, A., 2010, Encyclopedia of E-Business Development and Management in the Global Economy.

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

  • Service Integration through Structure-Preserving Semantic Matching

    McNeill, F., Besana, P., Pane, J. & Giunchiglia, F., 2010, Cases on Semantic Interoperability for Information Systems Integration: Practices and Applications. IGI Global, p. 64-82 19 p.

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

  • 2009

    Addressing Constraint Failures in Agent Interaction Protocol

    Hassan, F., Robertson, D. & Walton, C., 2009, Multi-Agent Systems for Society: 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers. Lukose, D. & Shi, Z. (eds.). Berlin, Heidelberg: Springer, p. 45-59 15 p. (Lecture Notes in Computer Science; vol. 4078).

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

  • CoMPI: Enhancing MPI Based Applications Performance and Scalability Using Run-Time Compression

    Filgueira Vicente, R., Singh, D. E., Calderón, A. & Carretero, J., 2009, Recent Advances in Parallel Virtual Machine and Message Passing Interface: 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings. Ropo, M., Westerholm, J. & Dongarra, J. (eds.). Berlin, Heidelberg: Springer, p. 207-218 12 p. (Lecture Notes in Computer Science; vol. 5759).

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

  • Kinetic Modeling as a Tool to Integrate Multilevel Dynamic Experimental Data

    Mogilevskaya, E., Bagrova, N., Plyusnina, T., Gizzatkulov, N., Metelkin, E., Goryacheva, E., Smirnov, S., Kosinsky, Y., Dorodnov, A., Peskov, K., Karelina, T., Goryanin, I. & Demin, O., 2009, Protein Networks and Pathway Analysis. Nikolsky, Y. & Bryant, J. (eds.). Humana Press, Vol. 563. p. 197-218 22 p. (Methods in Molecular Biology).

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

  • Kinetic Modeling of E. coli Enzymes: Integration of in vitro Experimental Data

    Mogilevskaya, E., Peskov, K., Metelkin, E., Lebedeva, G., Plyusnina, T., Goryanin, I. & Demin, O., 2009, Systems Biology and Biotechnology of Escherichia coli. Lee, S. (ed.). Springer, p. 177-207 31 p.

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

  • Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing

    Robertson, D., Barker, A., Besana, P., Bundy, A., Chen-Burger, Y-H., Dupplaw, D., Giunchiglia, F., van Harmelen, F., Hassan, F., Kotoulas, S., Lambert, D., Li, G., McGinnis, J., McNeill, F., Osman, N., de Pinninck, A., Siebes, R., Sierra, C. & Walton, C., 2009, Advances in Web Semantics I: Ontologies, Web Services and Applied Semantic Web. Dillon, T., Chang, E., Meersman, R. & Sycara, K. (eds.). Springer, p. 81-129 49 p. (Lecture Notes in Computer Science; vol. 4891).

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

  • 2007

    Accessing Data in Grids Using OGSA-DAI

    Chue Hong, N. P., Antonioletti, M., Karasavvas, K. & Atkinson, M., 2007, Knowledge and Data Management in GRIDs. Talia, D., Bilas, A. & Dikaiakos, M. D. (eds.). Springer, p. 3-18 16 p.

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

  • Grid Enabling Your Data Resources with OGSA-DAI

    Antonioletti, M., Atkinson, M., Chue Hong, N. P., Dobrzelecki, B., Hume, A. C., Jackson, M., Karasavvas, K., Krause, A., Schopf, J. M., Sugden, T. & Theocharopoulos, E., 2007, Lecture Notes in Computer Science. 4699 ed. Springer, p. 799-808 10 p.

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

  • 2006

    Best-First Rippling

    Johansson, M., Bundy, A. & Dixon, L., 2006, Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello. Stock, O. & Schaerf, M. (eds.). Springer, p. 83-100 18 p. (Lecture Notes in Computer Science; vol. 4155).

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

    File

  • Integrating collaboration and activity-oriented planning for coalition operations support

    Siebra, C. & Tate, A., 2006, RoboCup 2005. Bredenfeld, A., Jacoff, A., Noda, I. & Takahashi, Y. (eds.). Berlin, Heidelberg: Springer, p. 561-568 8 p. (Lecture Notes in Computer Science; vol. 4020).

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

  • Simultaneous Ant Colony Optimization Algorithms for Learning Linguistic Fuzzy Rules

    Galea, M. & Shen, Q., 2006, Swarm Intelligence in Data Mining. Abraham, A., Grosan, C. & Ramos, V. (eds.). Springer, p. 75-99 25 p. (Studies in Computational Intelligence; vol. 34).

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