19th October 2023 / news
Special Issue on Mathematics in Artificial Intelligence
Paola Galdi and Jacques Fleuriot are editing a special issue of the journal Mathematics in Computer Science focused on the...
Read More
18th August 2023 / news
Paper on conformance checking over probabilistic events accepted at HICSS-57
The paper on "Alignment-based conformance checking over probabilistic events" by Jiawei Zheng, Petros Papapanagiotou and Jacques Fleuriot has been accepted...
Read More
8th August 2023 / news
Pre-print on Associations between Morbidities in Small But Important Subgroup using a Bayesian approach
Our paper on the "Associations between Morbidities in Small But Important Subgroups: A Novel Bayesian Approach for Robust Multimorbidity Analysis...
Read More
15th May 2023 / news
Paper on brain tumour survival predictions accepted in Computer Methods and Programs in Biomedicine
Our paper on the "Development of prediction models for one-year brain tumour survival using machine learning: a comparison of accuracy...
Read More
15th February 2023 / news
Survey pre-print on Neurosymbolic AI for Reasoning on Graph Structures is out on arXiv
Our article on Neurosymbolic AI for Reasoning on Graph Structure is out. This is a comprehensive survey by Lauren Nicole...
Read More
Job Opportunity: Research Research Associate in Neurosymbolic AI
Applications are invited for a 2-year postdoctoral research position in Neurosymbolic Artificial Intelligence. More information available is here.
Read More
23rd October 2022 / news
New Project funded by the Edinburgh Laboratory for Integrated Artificial Intelligence (ELIAI)
The Edinburgh Laboratory for Integrated Artificial Intelligence (ELIAI) will fund a new project on integrating theorem proving and neural learning...
Read More
Opportunity: Multimorbidity PhD Programme for Health Professionals
The Clinical PhD Research Fellowships are fixed term 3-year appointments offering training, mentoring and support to health professionals undertaking a...
Read More
1st August 2022 / Jobs
Job Opportunity: Research Fellow in Knowledge Representation for Medical Artificial Intelligence
Applications are invited for a Research Fellow in Knowledge Representation for Medical Artificial Intelligence position. More information is available here.
Read More
15th July 2022 / news
Paper accepted at CICM 2022
Our paper, "Re-imagining the Isabelle Archive of Formal Proofs" (MacKenzie, Huch, Vaughan and Fleuriot), has been accepted at the 15th...
Read More