Hybrid Abductive Inductive Learning: A Generalisation of Progol. - Oliver Ray; Krysia Broda; Alessandra Russo (ILP, 2003)

Generalised Kernel Sets for Inverse Entailment. - Oliver Ray; Krysia Broda; Alessandra Russo (ICLP, 2004)

A Hybrid Abductive Inductive Proof Procedure. - Oliver Ray; Krysia Broda; Alessandra Russo (Log. J. IGPL, 2004)

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic. - Oliver Ray (ICLP, 2005)

Hybrid abductive inductive learning. - Oliver Ray (2005)

Abductive Logic Programming in the Clinical Management of HIV/AIDS. - Oliver Ray; Athos Antoniades; Antonis C. Kakas; Ioannis Demetriades (ECAI, 2006)

Extracting Requirements from Scenarios with ILP. - Dalal Alrajeh; Oliver Ray; Alessandra Russo; Sebastián Uchitel (ILP, 2006)

A Consequence Finding Approach for Full Clausal Abduction. - Oliver Ray; Katsumi Inoue (Discovery Science, 2007)

Mode-Directed Inverse Entailment for Full Clausal Theories. - Oliver Ray; Katsumi Inoue (ILP, 2007)

Towards a Logical Reconstruction of CF-Induction. - Yoshitaka Yamamoto; Oliver Ray; Katsumi Inoue (JSAI, 2007)

Automated Abduction in Scientific Discovery. - Oliver Ray (Model-Based Reasoning in Science, Technology, and Medicine, 2007)

Inferring the Function of Genes from Synthetic Lethal Mutations. - Oliver Ray; Christopher H. Bryant (CISIS, 2008)

Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks. - Oliver Ray (AINA Workshops, 2009)

A Nonmonotonic Logical Approach for Modelling and Revising Metabolic Networks. - Oliver Ray; Ken E. Whelan; Ross D. King (CISIS, 2009)

Learning Rules from User Behaviour. - Domenico Corapi; Oliver Ray; Alessandra Russo; Arosha K. Bandara; Emil C. Lupu (AIAI, 2009)

Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data. - Oliver Ray; Ken E. Whelan; Ross D. King (ILP, 2009)

A Neural Network Approach for First-Order Abductive Inference. - Oliver Ray; Bruno Golénia (NeSy, 2009)

Using abduction and induction for operational requirements elaboration. - Dalal Alrajeh; Oliver Ray; Alessandra Russo; Sebastián Uchitel (J. Appl. Log., 2009)

Nonmonotonic abductive inductive learning. - Oliver Ray (J. Appl. Log., 2009)

Analyzing Pathways Using ASP-Based Approaches. - Oliver Ray; Takehide Soh; Katsumi Inoue (ANB, 2010)

Logic-Based Steady-State Analysis and Revision of Metabolic Networks with Inhibition. - Oliver Ray; Ken E. Whelan; Ross D. King (CISIS, 2010)

SOLAR: An automated deduction system for consequence finding. - Hidetomo Nabeshima; Koji Iwanuma; Katsumi Inoue; Oliver Ray (AI Commun., 2010)

International Symposium on Symbolic Systems Biology (NII Shonan Meeting 2011-7). - Katsuhisa Horimoto; Katsumi Inoue; Oliver Ray (NII Shonan Meet. Rep., 2011)

Logical Modelling of Inhibition and Competition in Biochemical Networks. - Oliver Ray; Robert Rozanski (CISIS, 2014)

Nonmonotonic Learning in Large Biological Networks. - Stefano Bragaglia; Oliver Ray (ILP, 2014)

Automating the Development of Metabolic Network Models. - Robert Rozanski; Stefano Bragaglia; Oliver Ray; Ross D. King (CMSB, 2015)

A logic programming approach to predict effective compiler settings for embedded software. - Craig Blackmore; Oliver Ray; Kerstin Eder (Theory Pract. Log. Program., 2015)

Using ILP to Analyse Ransomware Attacks. - Oliver Ray; Samuel Hicks; Steve Moyle (ILP (Short Papers), 2016)

From Case Law to Ratio Decidendi. - Josef Valvoda; Oliver Ray (JSAI-isAI Workshops, 2017)

Automatically Tuning the GCC Compiler to Optimize the Performance of Applications Running on the ARM Cortex-M3. - Craig Blackmore; Oliver Ray; Kerstin Eder (CoRR, 2017)

Using Agreement Statements to Identify Majority Opinion in UKHL Case Law. - Josef Valvoda; Oliver Ray; Ken Satoh (JURIX, 2018)

Summarisation with Majority Opinion. - Oliver Ray; Amy Conroy; Rozano Imansyah (JURIX, 2020)

Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus. - Oliver Ray (ILP, 2021)

Towards expert-guided elucidation of cyber attacks through interactive inductive logic programming. - Oliver Ray; Steve Moyle (KSE, 2021)

AstronomicAL: An interactive dashboard for visualisation, integration and classification of data using Active Learning. - Grant Stevens; Sotiria Fotopoulou; Malcolm N. Bremer; Oliver Ray (CoRR, 2021)

AstronomicAL: an interactive dashboard for visualisation, integration and classification of data with Active Learning. - Grant Stevens; Sotiria Fotopoulou; Malcolm N. Bremer; Oliver Ray (J. Open Source Softw., 2021)

Agent-directed Runtime Norm Synthesis. - Andreasa Morris-Martin; Marina De Vos; Julian A. Padget; Oliver Ray (AAMAS, 2023)

Interactive Model Refinement in Relational Domains with Inductive Logic Programming. - Oliver Deane; Oliver Ray (IUI Companion, 2023)

Symplex: Learning Social Norm Hierarchies by Combining Autonomous Exploration and Expert Imitation. - Oliver Deane; Oliver Ray (AAMAS, 2025)