Data Science and Artificial Intelligence

Filter
Chapter (peer-reviewed)

Search results

  • 2023

    Boolean Connectives and Deep Learning: Three Interpretations

    Mendez-Lucero, M-A. & Belle, V., 2023, Compendium of Neurosymbolic Artificial Intelligence. Hitzler, P., Sarker, M. K. & Eberhart, A. (eds.). IOS Press, Vol. 369. p. 100-113 (Frontiers in Artificial Intelligence and Applications; vol. 369).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File
  • 2021

    Modelling virtual bargaining using logical representation change

    Bundy, A., Philalithis, E. & Li, X., 20 Jul 2021, Human-Like Machine Intelligence. Muggleton, S. H. & Chater, N. (eds.). Oxford University Press, p. 68-89

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File

  • The History of the DReaM Group

    Bundy, A., 24 May 2021, Mathematical Reasoning: The History and Impact of the DReaM Group. Michaelson, G. (ed.). 1 ed. Springer, p. 1-35

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File
  • 2020

    Volleyball Action Modelling for Behavior Analysis and Interactive Multi-modal Feedback

    Salim, F. A., Haider, F., Tasdemir, S. B. Y., Naghashi, V., Tengiz, I., Cengiz, K., Postma, D. B. W., Van Delden, R., Reidsma, D., Luz, S. & Van Beijnum, B. J., 1 Jan 2020, 15th International Summer Workshop on Multimodal Interfaces: Proceedings eNTERFACE’19. Dibeklioğlu, H. & Sürer, E. (eds.). Ankara: Computer Engineering Department, Bilkent University, Ankara, Turkey, p. 50-58 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File
  • 2019

    Intelligent geometry tools

    Davenport, J., Fleuriot, J., Quaresma, P., Recio, T. & Wang, D., 31 Dec 2019, Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements . Suda, M. & Winkler, S. (eds.). Open Publishing Association, p. 51-52 2 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 311).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access

  • 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, p. 59-71 11 p. (Mathematics Education in the Digital Era; vol. 14).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File

  • Text visualization for the support of lexicography-based scholarly work

    Sheehan, S. & Luz, S., 2 Oct 2019, Electronic Lexicography in the 21st Century. Vol. 2019-October. p. 694-725 32 p. (Proceedings of Electronic Lexicography in the 21st Century Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File

  • 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 proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File

  • Statistical Models of Neural Activity, Criticality, and Zipf’s Law

    Sorbaro, M., Herrmann, J. M. & Hennig, M., 24 Jul 2019, The Functional Role of Critical Dynamics in Neural Systems. Springer, p. 265-287 (Springer Series on Bio- and Neurosystems; vol. 11).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Stochastic spatial modelling of the remyelination process in multiple sclerosis lesions

    Luisa Vissat, L., Hillston, J. & Williams, A., 12 Jun 2019, (E-pub ahead of print) Automated Reasoning for Systems Biology and Medicine. Liò, P. & Zuliani, P. (eds.). Springer, p. 299-326 28 p. (Computational Biology; vol. 30).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2018

    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, p. 221-239 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 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, p. 21-60 39 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Space-by-Time Tensor Decomposition for Single-Trial Analysis of Neural Signals

    Delis, I., Onken, A. & Panzeri, S., 21 Mar 2018, Mathematical and Theoretical Neuroscience. Springer, p. 223-237 (INdAM Series; vol. 24).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2017

    An Alternative Approach to Exploring a Video

    Salim, F. A., Haider, F., Conlan, O. & Luz, S., 13 Aug 2017, Proceedings of SPECOM'17. Karpov, A., Potapova, R. & Mporas, I. (eds.). Hatfield, Hertfordshire, UK: Springer, Vol. 10458. p. 109-118 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2016

    Data collection and synchronisation: Towards a Multiperspective multimodal dialogue system with metacognitive abilities

    Haider, F., Luz, S. & Campbell, N., 25 Dec 2016, Dialogues with Social Robots - Enablements, Analyses, and Evaluation. Springer, Vol. 999 LNEE. p. 245-256 12 p. (Lecture Notes in Electrical Engineering; vol. 999 LNEE).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • PriGuardTool: A Web-Based Tool to Detect Privacy Violations Semantically

    Kökciyan, N. & Yolum, P., 16 Dec 2016, Engineering Multi-Agent Systems. Baldoni, M., Müller, J. P., Nunes, I. & Zalila-Wenkstern, R. (eds.). Cham: Springer, p. 81-98 18 p. (Lecture Notes in Computer Science (LNCS); vol. 10093).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • A speech-to-speech, machine translation mediated map task: An exploratory study

    Cerrato, L., Akira, H., Campbell, N. & Luz, S., 26 Feb 2016, Future and Emergent Trends in Language Technology: First International Workshop, FETLT 2015, Seville, Spain, November 19-20, 2015, Revised Selected Papers. Springer, Vol. 9577. p. 53-64 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9577).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2015

    Abstract Interpretation of PEPA Models

    Gilmore, S., Hillston, J. & Zon, N., 25 Dec 2015, Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (eds.). Springer, p. 140-158 18 p. (Lecture Notes in Computer Science; vol. 9560).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File

  • The Fourth Automated Negotiation Competition

    Gal, Y. & Ilany, L., Dec 2015, Next Frontier in Agent-Based Complex Automated Negotiation. Springer, p. 129-136 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Negotiating Privacy Constraints in Online Social Networks

    Mester, Y., Kökciyan, N. & Yolum, P., 15 Nov 2015, Advances in Social Computing and Multiagent Systems: International Workshop on Collaborative Agents Research and Development (CARE), and International Workshop on Multiagent Foundations of Social Computing (MFSC). Koch, F., Guttmann, C. & Busquets, D. (eds.). Cham: Springer, p. 112-129 18 p. (Communications in Computer and Information Science (CCIS); vol. 541).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Bootstrapping the next generation of Social Machines

    Murray-Rust, D. & Robertson, D., 2015, Crowdsourcing: Cloud-Based Software Development. Li, W., Huhns, M. N., Tsai, W-T. & Wu, W. (eds.). Springer, p. 53-71 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Chapter Six – Genetic Analysis of Drosophila Circadian Behavior in Seminatural Conditions

    Green, E. W., O'Callaghan, E. K., Pegoraro, M., Armstrong, J. D., Costa, R. & Kyriacou, C. P., 2015, Circadian Rhythms and Biological Clocks, Part A. Sehgal, A. (ed.). Academic Press, p. 121-133 13 p. (Methods in Enzymology; vol. 559).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Hardy, Littlewood and polymath

    Martin, U. & Pease, A., 2015, Mathematics, Substance and Surmise: Views on the Meaning and Ontology of Mathematics. Davis, E. & Davis, P. J. (eds.). Cham: Springer, p. 9-23 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2014

    MLA 2014 - foreword

    Ochoa, X., Worsley, M., Chiluiza, K. & Luz, S., 12 Nov 2014, MLA 2014 - Proceedings of the 2014 ACM Multimodal Learning Analytics Workshop and Grand Challenge: 3rd Multimodal Learning Analytics Workshop and Grand Challenges. Association for Computing Machinery, Inc, p. iii

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Using Planning to Adapt to Dynamic Environments

    Tate, A., 23 Jun 2014, Adaptive, Dynamic, and Resilient Systems. Suri, N. & Cabri, G. (eds.). Taylor & Francis, p. 243-257 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • The Simple-Meta Agent

    Ilany, L. & Gal, Y., 24 Jan 2014, (E-pub ahead of print) Novel Insights in Agent-based Complex Automated Negotiation. Springer, p. 197-200 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2009

    Chronos: A tool for interactive scheduling and visualisation of task hierarchies

    Luz, S., Masoodian, M., McKenzie, D. & Broeck, W. V., 4 Aug 2009, Information Visualization. p. 241-246 6 p. (Proceedings of the International Conference on Information Visualisation).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2007

    Visualisation of parallel data streams with temporal mosaics

    Luz, S. & Masoodian, M., 16 Jul 2007, Information Visualization. p. 197-202 6 p. (Proceedings of the International Conference on Information Visualisation).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2005

    Enabling change in healthcare structures through teleconferencing

    Kane, B., Luz, S., Menezes, G. & Hollywood, D. P., 25 Jul 2005, CBMS. p. 76-81 6 p. (Proceedings - IEEE Symposium on Computer-Based Medical Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Enabling change in healthcare structures through teleconferencing

    Kane, B., Luz, S., Menezes, G. & Hollywood, D. P., 25 Jul 2005, CBMS. p. 76-81 6 p. (Proceedings - IEEE Symposium on Computer-Based Medical Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Automatic hypertext keyphrase detection

    Kelleher, D. & Luz, S., Jul 2005, Proceedings of IJCAI. p. 1608-1609 2 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review