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, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, 2023)

Interactive Model Refinement in Relational Domains with Inductive Logic Programming - Oliver Deane; Oliver Ray (Companion Proceedings of the 28th International Conference on Intelligent User Interfaces, IUI 2023, Sydney, NSW, Australia, March 27-31, 2023, 2023)

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)

Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus - Oliver Ray (Inductive Logic Programming - 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings, 2021)

Towards expert-guided elucidation of cyber attacks through interactive inductive logic programming - Oliver Ray; Steve Moyle (13th International Conference on Knowledge and Systems Engineering, KSE 2021, Bangkok, Thailand, November 10-12, 2021, 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)

Summarisation with Majority Opinion - Oliver Ray; Amy Conroy; Rozano Imansyah (Legal Knowledge and Information Systems - JURIX 2020: The Thirty-third Annual Conference, Brno, Czech Republic, December 9-11, 2020, 2020)

Using Agreement Statements to Identify Majority Opinion in UKHL Case Law - Josef Valvoda; Oliver Ray; Ken Satoh (Legal Knowledge and Information Systems - JURIX 2018: The Thirty-first Annual Conference, Groningen, The Netherlands, 12-14 December 2018, 2018)

From Case Law to Ratio Decidendi - Josef Valvoda; Oliver Ray (New Frontiers in Artificial Intelligence - JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, Japan, November 13-15, 2017, Revised Selected Papers, 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 ILP to Analyse Ransomware Attacks - Oliver Ray; Samuel Hicks; Steve Moyle (Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), London, UK, 2016, 2016)

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 (Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, 2015)

Logical Modelling of Inhibition and Competition in Biochemical Networks - Oliver Ray; Robert Rozanski (Eighth International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2014, Birmingham, UK, July 2-4, 2014, 2014)

Nonmonotonic Learning in Large Biological Networks - Stefano Bragaglia; Oliver Ray (Inductive Logic Programming - 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers, 2014)

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

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

Analyzing Pathways Using ASP-Based Approaches - Oliver Ray; Takehide Soh; Katsumi Inoue (Algebraic and Numeric Biology - 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers, 2010)

Logic-Based Steady-State Analysis and Revision of Metabolic Networks with Inhibition - Oliver Ray; Ken E. Whelan; Ross D. King (CISIS 2010, The Fourth International Conference on Complex, Intelligent and Software Intensive Systems, Krakow, Poland, 15-18 February 2010, 2010)

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)

Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks - Oliver Ray (23rd International Conference on Advanced Information Networking and Applications, AINA 2009, Workshops Proceedings, Bradford, United Kingdom, May 26-29, 2009, 2009)

A Nonmonotonic Logical Approach for Modelling and Revising Metabolic Networks - Oliver Ray; Ken E. Whelan; Ross D. King (2009 International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2009, Fukuoka, Japan, March 16-19, 2009, 2009)

Learning Rules from User Behaviour - Domenico Corapi; Oliver Ray; Alessandra Russo; Arosha K. Bandara; Emil C. Lupu (Artificial Intelligence Applications and Innovations III, Proceedings of the 5TH IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI'2009), April 23-25, 2009, Thessaloniki, Greece, 2009)

Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data - Oliver Ray; Ken E. Whelan; Ross D. King (Inductive Logic Programming, 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers, 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, NeSy 2009, Pasadena, CA, USA, July 11, 2009, 2009)

Inferring the Function of Genes from Synthetic Lethal Mutations - Oliver Ray; Christopher H. Bryant (Second International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2008), March 4th-7th, 2008, Technical University of Catalonia, Barcelona, Spain, 2008)

A Consequence Finding Approach for Full Clausal Abduction - Oliver Ray; Katsumi Inoue (Discovery Science, 10th International Conference, DS 2007, Sendai, Japan, October 1-4, 2007, Proceedings, 2007)

Mode-Directed Inverse Entailment for Full Clausal Theories - Oliver Ray; Katsumi Inoue (Inductive Logic Programming, 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers, 2007)

Towards a Logical Reconstruction of CF-Induction - Yoshitaka Yamamoto; Oliver Ray; Katsumi Inoue (New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers, 2007)

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

Abductive Logic Programming in the Clinical Management of HIV/AIDS - Oliver Ray; Athos Antoniades; Antonis C. Kakas; Ioannis Demetriades (ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, 2006)

Extracting Requirements from Scenarios with ILP - Dalal Alrajeh; Oliver Ray; Alessandra Russo; Sebastián Uchitel (Inductive Logic Programming, 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers, 2006)

Hybrid abductive inductive learning - Oliver Ray (Imperial College London, UK, 2005)

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic - Oliver Ray (Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, 2005)

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 (Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, 2004)

Hybrid Abductive Inductive Learning: A Generalisation of Progol - Oliver Ray; Krysia Broda; Alessandra Russo (Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003, Proceedings, 2003)