Oliver Ray

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