Skip to content

Dr Oliver Ray

Lecturer

1 - 10 out of 38Page size: 10
  1. 2018
  2. Published

    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 proceedingConference contribution

  3. Published

    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 proceedingChapter in a book

  4. 2015
  5. Published

    Nonmonotonic Learning in Large Biological Networks

    Ray, O. & Bragaglia, S., 27 Dec 2015, Inductive Logic Programming: 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers. Davis, J. & Ramon, J. (eds.). p. 33-48 16 p. (Lecture Notes in Computer Science; vol. 9046).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    Automating the Development of Metabolic Network Models

    Rozanski, R., Bragaglia, S., Ray, O. & King, R., 2 Sep 2015, Computational Methods in Systems Biology: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Roux, O. & Bourdon, J. (eds.). Springer, p. 145-156 12 p. (Lecture Notes in Computer Science; vol. 9308).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Published

    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 proceedingConference contribution

  8. 2011
  9. Published

    Analysing Pathways using ASP-Based approaches

    Ray, O., Soh, T. & Inoue, K., 1 Oct 2011, Algebraic and Numeric Biology. Springer, p. 167-183 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Published

    Representation, Simulation and Hypothesis Generation in Graph and Logical Models of Biological Networks

    Whelan, K., Ray, O. & King, R., 2011, Yeast Systems Biology: Methods and Protocols (Methods in Molecular Biology). Castrillo, J. I. & Oliver, S. G. (eds.). Humana Press, Vol. 759.

    Research output: Chapter in Book/Report/Conference proceedingChapter in a book

  11. 2010
  12. Published

    Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data

    Ray, O., Whelan, K. & King, R., 2010, 19th International Conference on Inductive Logic Programming. Springer

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Published

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

    Ray, O., Whelan, K. & King, R., 2010, 2nd International Conference on Complex, Intelligent and Software Intensive Systems (from 3rd International Workshop on Intelligent Informatics in Biology and Medicine). IEEE Computer Society

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Published

    SOLAR: An automated deduction system for consequence finding

    Nabeshima, H., Iwanuma, K., Inoue, K. & Ray, O., 2010, In : AI Communications. 23, 2-3, 183-203.

    Research output: Contribution to journalArticle

Previous 1 2 3 4 Next