About the Authors

Constantino Carlos Reyes-Aldasoro

Roles Formal analysis, Funding acquisition, Methodology, Software, Supervision, Writing – original draft, Writing – review & editing

reyes@city.ac.uk

Affiliation School of Mathematics, Computer Science and Engineering, City, University of London, London, United Kingdom

Kwun Ho Ngan

Roles Conceptualization, Formal analysis, Investigation, Software, Writing – original draft, Writing – review & editing

Affiliation School of Mathematics, Computer Science and Engineering, City, University of London, London, United Kingdom

Ananda Ananda

Roles Methodology, Software, Writing – review & editing

Affiliation School of Mathematics, Computer Science and Engineering, City, University of London, London, United Kingdom

Artur d’Avila Garcez

Roles Formal analysis, Funding acquisition, Supervision, Writing – review & editing

Affiliation School of Mathematics, Computer Science and Engineering, City, University of London, London, United Kingdom

Andrew Appelboam

Roles Conceptualization, Formal analysis, Methodology, Validation, Writing – review & editing

Affiliation Royal Devon and Exeter Hospital, Exeter, United Kingdom

Karen M. Knapp

Roles Conceptualization, Data curation, Formal analysis, Methodology, Validation, Writing – review & editing

Affiliation College of Medicine and Health, University of Exeter, Exeter, United Kingdom

Competing Interests

The authors have declared that no competing interests exist.