Photo of Oliver Ray
 

View Scopus Profile

Dr Oliver Ray

  • BS8 1UB

20032018

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

My research involves the development of relational machine learning methods and their application to software engineering, juris-informatics, and the automation of scientific inference through the integration of abductive and inductive reasoning. Specific interests include the application of inductive logic programming to energy-aware compiler tuning and interactive cyber-security, the use of non-monotonic action theories in requirements engineering and language acquisition, the automation of scientific method in social insect behaviour and yeast biology, and computational analysis of UK case law. I am a member of the Intelligent Systems research group and the Interactive AI centre for doctoral training.

Fingerprint Dive into the research topics where Oliver Ray is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

Symbolic support for scientific reasoning in systems biology

Ray, O.

31/01/14 → 30/04/15

Project: Research

Research Output

From Case Law to Ratio Decidendi

Valvoda, J. & Ray, O., 2018, Lecture Notes in Artificial Intelligence: New Frontiers in Artificial Intelligence. Arai, S., Kojima, K., Mineshima, K., Bekki, D., Satoh, K. & Ohta, Y. (eds.). Springer, Vol. 10838. p. 20-34

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

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

    Valvoda, J., Ray, O. & Satoh, K., 31 Dec 2018, Frontiers in Artificial Intelligence and Applications: Legal Knowledge and Information Systems (Jurix2018). Palmirani, M. (ed.). Netherlands: IOS Press, Vol. 313. p. 141-150 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    45 Downloads (Pure)

    A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software

    Blackmore, C. B., Ray, O. & Eder, K., Jul 2015, Proceedings of the 31st International Conference on Logic Programming. Cambridge University Press, p. 481-494 14 p. (Theory and Practice of Logic Programming; vol. 15, no. 4-5).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    • 3 Citations (Scopus)
    291 Downloads (Pure)

    Supervised Work

    Inductive Logic Programming for Compiler Tuning

    Author: Blackmore, C., 6 Jun 2019

    Supervisor: Ray, O. (Supervisor) & Eder, K. (Supervisor)

    Student thesis: Doctoral Thesis › Doctor of Philosophy (PhD)

    File