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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Automated Abduction in Scientific Discovery. - Ray, Oliver (2007)

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

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

Hybrid abductive inductive learning. - Ray, Oliver (2005)

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

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

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

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