Oliver Ray

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 11

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Andreasa Morris-Martin, Marina De Vos, Julian A. Padget, Oliver Ray
Agent-directed Runtime Norm Synthesis. AAMAS (2023)
Oliver Deane, Oliver Ray
Interactive Model Refinement in Relational Domains with Inductive Logic Programming. IUI Companion (2023)
Oliver Ray, Steve Moyle
Towards expert-guided elucidation of cyber attacks through interactive inductive logic programming. KSE (2021)
Grant Stevens, Sotiria Fotopoulou, Malcolm N. Bremer, Oliver Ray
AstronomicAL: An interactive dashboard for visualisation, integration and classification of data using Active Learning. CoRR (2021)
Grant Stevens, Sotiria Fotopoulou, Malcolm N. Bremer, Oliver Ray
AstronomicAL: an interactive dashboard for visualisation, integration and classification of data with Active Learning. J. Open Source Softw. 6 (65) (2021)
Oliver Ray
Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus. ILP (2021)
Oliver Ray, Amy Conroy, Rozano Imansyah
Summarisation with Majority Opinion. JURIX (2020)
Josef Valvoda, Oliver Ray, Ken Satoh
Using Agreement Statements to Identify Majority Opinion in UKHL Case Law. JURIX (2018)
Josef Valvoda, Oliver Ray
From Case Law to Ratio Decidendi. JSAI-isAI Workshops (2017)
Craig Blackmore, Oliver Ray, Kerstin Eder
Automatically Tuning the GCC Compiler to Optimize the Performance of Applications Running on the ARM Cortex-M3. CoRR (2017)
Oliver Ray, Samuel Hicks, Steve Moyle
Using ILP to Analyse Ransomware Attacks. ILP (Short Papers) (2016)
Craig Blackmore, Oliver Ray, Kerstin Eder
A logic programming approach to predict effective compiler settings for embedded software. Theory Pract. Log. Program. 15 (4-5) (2015)
Robert Rozanski, Stefano Bragaglia, Oliver Ray, Ross D. King
Automating the Development of Metabolic Network Models. CMSB (2015)
Stefano Bragaglia, Oliver Ray
Nonmonotonic Learning in Large Biological Networks. ILP (2014)
Oliver Ray, Robert Rozanski
Logical Modelling of Inhibition and Competition in Biochemical Networks. CISIS (2014)
Katsuhisa Horimoto, Katsumi Inoue, Oliver Ray
International Symposium on Symbolic Systems Biology (NII Shonan Meeting 2011-7). NII Shonan Meet. Rep. 2011 (2011)
Oliver Ray, Ken E. Whelan, Ross D. King
Logic-Based Steady-State Analysis and Revision of Metabolic Networks with Inhibition. CISIS (2010)
Oliver Ray, Takehide Soh, Katsumi Inoue
Analyzing Pathways Using ASP-Based Approaches. ANB (2010)
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray
SOLAR: An automated deduction system for consequence finding. AI Commun. 23 (2-3) (2010)
Oliver Ray, Bruno Golénia
A Neural Network Approach for First-Order Abductive Inference. NeSy (2009)
Oliver Ray, Ken E. Whelan, Ross D. King
A Nonmonotonic Logical Approach for Modelling and Revising Metabolic Networks. CISIS (2009)
Oliver Ray
Nonmonotonic abductive inductive learning. J. Appl. Log. 7 (3) (2009)
Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel
Using abduction and induction for operational requirements elaboration. J. Appl. Log. 7 (3) (2009)
Oliver Ray, Ken E. Whelan, Ross D. King
Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data. ILP (2009)
Domenico Corapi, Oliver Ray, Alessandra Russo, Arosha K. Bandara, Emil C. Lupu
Learning Rules from User Behaviour. AIAI (2009)
Oliver Ray
Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks. AINA Workshops (2009)
Oliver Ray, Christopher H. Bryant
Inferring the Function of Genes from Synthetic Lethal Mutations. CISIS (2008)
Oliver Ray, Katsumi Inoue
A Consequence Finding Approach for Full Clausal Abduction. Discovery Science (2007)
Oliver Ray, Katsumi Inoue
Mode-Directed Inverse Entailment for Full Clausal Theories. ILP (2007)
Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue
Towards a Logical Reconstruction of CF-Induction. JSAI (2007)
Oliver Ray, Athos Antoniades, Antonis C. Kakas, Ioannis Demetriades
Abductive Logic Programming in the Clinical Management of HIV/AIDS. ECAI (2006)
Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel
Extracting Requirements from Scenarios with ILP. ILP (2006)
Oliver Ray
The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic. ICLP (2005)
Oliver Ray, Krysia Broda, Alessandra Russo
Generalised Kernel Sets for Inverse Entailment. ICLP (2004)
Oliver Ray, Krysia Broda, Alessandra Russo
A Hybrid Abductive Inductive Proof Procedure. Log. J. IGPL 12 (5) (2004)
Oliver Ray, Krysia Broda, Alessandra Russo
Hybrid Abductive Inductive Learning: A Generalisation of Progol. ILP (2003)

Oliver Ray.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Oliver Ray