Some of our Recent Refereed Papers

  • Schmoetten R., Palmer J. E. and Fleuriot J. D. (2022). Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL. To appear in the Journal of Automated Reasoning.
  • MacKenzie C., Huch F., Vaughan J. and Fleuriot J. D. (2022)  Re-imagining the Isabelle Archive of Formal Proofs. To appear in the proceedings of CICM 2022.
  • Gunatilleke J., Fleuriot J. and Anand. A. (2022). A literature review on the analysis of symptom-based clinical pathways: Time for a different approach? To appear in PLOS Digital Health.
  • Restocchi V., Gaete Villegas J. and Fleuriot J. D. (2022). Multimorbidity profiles and stochastic block modeling improve ICU patient clustering. Artificial Intelligence for Health 2022. To appear in the proceedings of IEEE/ACM CCGRID 2022.
  • Schmoetten R., Palmer J.,  and Fleuriot J. D. (2021). Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems. Proceedings of the 13th International Conference in Automated Deduction in Geometry, Electronic Proceedings in Theoretical Compuster Science (EPTCS) 352, 116-128.
  • Burton J, McMinn M., Vaughan J., Fleuriot J., and Guthrie B. (2021). Care-home outbreaks of COVID-19 in Scotland March to May 2020: national linked data cohort analysis.  Age and Ageing Journal, Volume 50, Issue 5, September 2021, 1482–1492, Oxford University Press.
  • Papapanagiotou P. and Fleuriot J. (2021). Object-level Reasoning with Logics Encoded in HOL Light. Electronic Proceedings in Theoretical Computer Science 332, pp. 18–34.
  • Fleuriot J. D. (2021). Mechanizing Mathematics: From Dream to Reality. Chapter to appear in Mathematical Reasoning: The History and Impact of the DReaM Group (Ed. G. Michaelson), Springer
  • Papapanagiotou P., Vaughan J., Smola F, and Fleuriot J. (2020). A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows. Proceedings of the 54th Hawaii International Conference on System Sciences (HICSS-54).
  • Wingfield L., Ceresa C., Thorogood S., Fleuriot J, Knight S. (2020). Artificial Intelligence and Liver Transplant: Predicting Survival of Individual Grafts, A Systematic Review. In American Association for the Study of Liver Diseases,  Liver Transplantation,  Wiley. 
  • Wingfield L., Ceresa C., Fleuriot J, Knight S. (2019). Artificial Intelligence for Liver Transplant (AI4T): Predicting Graft Survival. ASiT/TMS Poster of Distinction Prize. Association of Surgeons in Training International Surgical Conference 2019, British Journal of Surgery (BJS), Volume 106, Issue S6
  • Papapanagiotou P. and Fleuriot J. (2019). A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference.  Logic-Based Program Synthesis and Transformation (Post-proceedings of LOPSTR 2018), LNCS Springer, Volume 11408, 77-93.
  • Fleuriot J., Wang D. and Calmet J. (Eds. 2018). Artificial Intelligence and Symbolic Computation. Lecture Notes in Artificial Intelligence, Volume 1110, Springer.
  • Palmer J. and Fleuriot J. (2018) Mechanising an Independent Axiom System for Minkowski Space-time. Proceedings of the 12th International Conference on Automated Deduction in Geometry, 64-79.
  • Morris I. and Fleuriot J. (2018). Towards a Mechanisation in Isabelle of Birkhoff’s Ruler and Protractor Geometry. Proceedings of the 12th International Conference on Automated Deduction in Geometry, 46-63.
  • Narboux J., Janicic P. and Fleuriot J. (2018). Computer-assisted Theorem Proving in Synthetic Geometry. Chapter in the Handbook of Geometric Constraint Systems Principles (ISBN 9781498738910), 21-44, Chapman and Hall/CRC, July 2018.
  • Jiang Y., Papapanagiotou P. and Fleuriot J. (2018). Machine Learning for Automated Inductive Theorem Proving. Proceedings of the 13th International Artificial Intelligence and Symbolic Computation (AISC) Conference 2018, Lecture Notes in Artificial Intelligence, Volume 11110, 87-103.
  • Papapanagiotou P. and Fleuriot J. (2018). Correct-by-construction Process Composition Using Classical Linear Logic Inference. Proceedings of Logic-Based Program Synthesis and Transformation (LOPSTR) Symposium 2018.
  • Wingfield L., Kulendran M., Khan O., Fleuriot J. (2017) Bringing Artificial Intelligence to Patient Care in Bariatric Surgery: A Feasibility Study. International Journal of Surgery, Volume 47 , S92.
  • Papapanagiotou P. and Fleuriot J. (2017). WorkflowFM: A Logic-based Formal Verification Framework for Process Specification and Composition. Proceedings of the 26th International Conference on Automated Deduction (CADE 26). LNCS Volume 10395, 357-370, Springer
  • Dewanti, A., Papapanagiotou, P., Gilhooly, C., Fleuriot, J., Manataki, A. & Moss, L. (2017). Development of workflow-based guidelines for the care of burns in Scotland. Proceedings of the 9th International Conference e-Health 2017,  155-158.
  • Alexandru C-A., Clutterbuck D., Papapanagiotou P., Fleuriot J. and Manataki A. (2017). A Step Towards the Standardisation of HIV Care Practices, 10th International Conference on Health Informatics.

Letter

Formal Proof Libraries

Working Papers/Pre-prints

  • Charlton, C. E.  and Poon, M. T. C.  and Brennan, P and Fleuriot, J. D. (2022). Comparing the Interpretability of Machine Learning Classifiers for Brain Tumour Survival Prediction. Available at SSRN: https://ssrn.com/abstract=4164349 or http://dx.doi.org/10.2139/ssrn.4164349
  • Chevallier M., Whyte M., and Fleuriot J. (2022). Constrained Training of Neural Networks via Theorem Proving. arXiv:2207.03880.
  • Chevallier M. and Fleuriot J.  (2021). Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL. arXiv:2112.05996.
  • Schmoetten R., Palmer J. E., Fleuriot J. D. (2021). Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL. arXiv:2108.10868.
  • Charlton C. E., Poon M. T. C., Brennan P. M. and Fleuriot J. D. (2021). Interpretable Machine Learning Classifiers for Brain Tumour Survival Prediction. arXiv:2106.0942.
  • MacKenzie C., Fleuriot J. and Vaughan J. (2021). An Evaluation of the Archive of Formal Proofs. arXiv:2104.01052.
  • Scott P. and Fleuriot J. D. (2019). Where are the Natural Numbers in Hilbert’s Foundations of Geometry? arXiv:1911.07057.

Recent PhD Theses

Recent Masters Theses