Oliver Ray

According to our database, Oliver Ray authored at least 38 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Interactive Model Refinement in Relational Domains with Inductive Logic Programming.

Oliver Deane, Oliver Ray

Proceedings of the Companion Proceedings of the 28th International Conference on Intelligent User Interfaces, 2023

Agent-directed Runtime Norm Synthesis.

Andreasa Morris-Martin, Marina De Vos, Julian A. Padget, Oliver Ray

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

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

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

Towards expert-guided elucidation of cyber attacks through interactive inductive logic programming.

Oliver Ray, Steve Moyle

Proceedings of the 13th International Conference on Knowledge and Systems Engineering, 2021

Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus.

Oliver Ray

Proceedings of the Inductive Logic Programming - 30th International Conference, 2021

2020

Summarisation with Majority Opinion.

Oliver Ray, Amy Conroy, Rozano Imansyah

Proceedings of the Legal Knowledge and Information Systems, 2020

2018

Using Agreement Statements to Identify Majority Opinion in UKHL Case Law.

Josef Valvoda, Oliver Ray, Ken Satoh

Proceedings of the Legal Knowledge and Information Systems, 2018

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

From Case Law to Ratio Decidendi.

Josef Valvoda, Oliver Ray

Proceedings of the New Frontiers in Artificial Intelligence, 2017

2016

Using ILP to Analyse Ransomware Attacks.

Oliver Ray, Samuel Hicks, Steve Moyle

Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), 2016

2015

A logic programming approach to predict effective compiler settings for embedded software.

Craig Blackmore, Oliver Ray, Kerstin Eder

Theory Pract. Log. Program., 2015

Automating the Development of Metabolic Network Models.

Robert Rozanski, Stefano Bragaglia, Oliver Ray, Ross D. King

Proceedings of the Computational Methods in Systems Biology, 2015

2014

Nonmonotonic Learning in Large Biological Networks.

Stefano Bragaglia, Oliver Ray

Proceedings of the Inductive Logic Programming - 24th International Conference, 2014

Logical Modelling of Inhibition and Competition in Biochemical Networks.

Oliver Ray, Robert Rozanski

Proceedings of the Eighth International Conference on Complex, 2014

2011

International Symposium on Symbolic Systems Biology (NII Shonan Meeting 2011-7).

Katsuhisa Horimoto, Katsumi Inoue, Oliver Ray

NII Shonan Meet. Rep., 2011

2010

SOLAR: An automated deduction system for consequence finding.

Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray

AI Commun., 2010

Logic-Based Steady-State Analysis and Revision of Metabolic Networks with Inhibition.

Oliver Ray, Ken E. Whelan, Ross D. King

Proceedings of the CISIS 2010, 2010

Analyzing Pathways Using ASP-Based Approaches.

Oliver Ray, Takehide Soh, Katsumi Inoue

Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010

2009

Nonmonotonic abductive inductive learning.

Oliver Ray

J. Appl. Log., 2009

Using abduction and induction for operational requirements elaboration.

Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel

J. Appl. Log., 2009

A Neural Network Approach for First-Order Abductive Inference.

Oliver Ray, Bruno Golénia

Proceedings of the Fifth International Workshop on Neural-Symbolic Learning and Reasoning, 2009

Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data.

Oliver Ray, Ken E. Whelan, Ross D. King

Proceedings of the Inductive Logic Programming, 19th International Conference, 2009

Learning Rules from User Behaviour.

Domenico Corapi, Oliver Ray, Alessandra Russo, Arosha K. Bandara, Emil C. Lupu

Proceedings of the Artificial Intelligence Applications and Innovations III, 2009

A Nonmonotonic Logical Approach for Modelling and Revising Metabolic Networks.

Oliver Ray, Ken E. Whelan, Ross D. King

Proceedings of the 2009 International Conference on Complex, 2009

Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks.

Oliver Ray

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

Inferring the Function of Genes from Synthetic Lethal Mutations.

Oliver Ray, Christopher H. Bryant

Proceedings of the Second International Conference on Complex, 2008

2007

Automated Abduction in Scientific Discovery.

Oliver Ray

Proceedings of the Model-Based Reasoning in Science, Technology, and Medicine, 2007

Towards a Logical Reconstruction of CF-Induction.

Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue

Proceedings of the New Frontiers in Artificial Intelligence, 2007

Mode-Directed Inverse Entailment for Full Clausal Theories.

Oliver Ray, Katsumi Inoue

Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

A Consequence Finding Approach for Full Clausal Abduction.

Oliver Ray, Katsumi Inoue

Proceedings of the Discovery Science, 10th International Conference, 2007

2006

Extracting Requirements from Scenarios with ILP.

Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel

Proceedings of the Inductive Logic Programming, 16th International Conference, 2006

Abductive Logic Programming in the Clinical Management of HIV/AIDS.

Oliver Ray, Athos Antoniades, Antonis C. Kakas, Ioannis Demetriades

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Hybrid abductive inductive learning.

Oliver Ray

PhD thesis, 2005

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic.

Oliver Ray

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

A Hybrid Abductive Inductive Proof Procedure.

Oliver Ray, Krysia Broda, Alessandra Russo

Log. J. IGPL, 2004

Generalised Kernel Sets for Inverse Entailment.

Oliver Ray, Krysia Broda, Alessandra Russo

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Hybrid Abductive Inductive Learning: A Generalisation of Progol.

Oliver Ray, Krysia Broda, Alessandra Russo

Proceedings of the Inductive Logic Programming: 13th International Conference, 2003