| 2025 | NeSy | Neuro-Symbolic Inverse Constrained Reinforcement Learning. | Oliver Deane, Oliver Ray |
| 2023 | IUI | Interactive Model Refinement in Relational Domains with Inductive Logic Programming. | Oliver Deane, Oliver Ray |
| 2021 | ILP | Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus. | Oliver Ray |
| 2020 | JURIX | Summarisation with Majority Opinion. | Oliver Ray, Amy Conroy, Rozano Imansyah |
| 2018 | JURIX | Using Agreement Statements to Identify Majority Opinion in UKHL Case Law. | Josef Valvoda, Oliver Ray, Ken Satoh |
| 2016 | ILP | Using ILP to Analyse Ransomware Attacks. | Oliver Ray, Samuel Hicks, Steve Moyle |
| 2014 | CISIS | Logical Modelling of Inhibition and Competition in Biochemical Networks. | Oliver Ray, Robert Rozanski |
| 2014 | ILP | Nonmonotonic Learning in Large Biological Networks. | Stefano Bragaglia, Oliver Ray |
| 2010 | CISIS | Logic-Based Steady-State Analysis and Revision of Metabolic Networks with Inhibition. | Oliver Ray, Ken E. Whelan, Ross D. King |
| 2009 | AINA | Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks. | Oliver Ray |
| 2009 | CISIS | A Nonmonotonic Logical Approach for Modelling and Revising Metabolic Networks. | Oliver Ray, Ken E. Whelan, Ross D. King |
| 2009 | ILP | Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data. | Oliver Ray, Ken E. Whelan, Ross D. King |
| 2009 | NeSy | A Neural Network Approach for First-Order Abductive Inference. | Oliver Ray, Bruno Golnia |
| 2008 | CISIS | Inferring the Function of Genes from Synthetic Lethal Mutations. | Oliver Ray, Christopher H. Bryant |
| 2007 | DIS | A Consequence Finding Approach for Full Clausal Abduction. | Oliver Ray, Katsumi Inoue |
| 2007 | ILP | Mode-Directed Inverse Entailment for Full Clausal Theories. | Oliver Ray, Katsumi Inoue |
| 2006 | ECAI | Abductive Logic Programming in the Clinical Management of HIV/AIDS. | Oliver Ray, Athos Antoniades, Antonis C. Kakas, Ioannis Demetriades |
| 2006 | ILP | Extracting Requirements from Scenarios with ILP. | Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastin Uchitel |
| 2005 | ICLP | The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic. | Oliver Ray |
| 2004 | ICLP | Generalised Kernel Sets for Inverse Entailment. | Oliver Ray, Krysia Broda, Alessandra Russo |
| 2003 | ILP | Hybrid Abductive Inductive Learning: A Generalisation of Progol. | Oliver Ray, Krysia Broda, Alessandra Russo |