|
Jan 21 - now | Senior Lecturer, Department of Computer Science, University of Bristol, UK |
Jan 12 - Dec 21 | Lecturer, Department of Computer Science, University of Bristol, UK |
Jan 07 - Dec 11 | RCUK Research Fellow, Department of Computer Science, University of Bristol, UK |
Feb 07 - Apr 07 | JSPS Visiting Research Fellow, National Institute of Informatics, Japan |
Dec 05 - Dec 06 | Visiting Scientist, Department of Computer Science, University of Cyprus, Cyprus |
Sep 01 - Dec 05 | Ph.D. in Computer Science, Department of Computing, Imperial College London, UK |
Sep 00 - Sep 01 | Teaching Associate, Department of Computing, Imperial College London, UK |
Oct 97 - Jul 00 | B.Eng. in Information Systems Engineering, Department of Electrical and Electronic Engineering, Imperial College London, UK |
- My main areas of research concern the formalisation and automation of intelligent reasoning through the
integration of deductive inference, abductive explanation and inductive learning
within interactive artificial intelligence and hybrid neuro-symbolic cognitive architectures.
- I am also involved in applications of these techniques to the automation of scientific and commonsense
reasoning in systems-biology, astro-physics, juris-informatics, cyber-security,
energy-aware computation, social insect behaviour, robot enhanced Autism interventions,
and the evolution of norms in socio-technical institutions.
|
Journal Articles |
- G. Stevens, S. Fotopoulou, M.N. Bremer and O. Ray.
AstronomicAL: an interactive dashboard for visualisation, integration and classification of data with Active Learning.
Journal of Open Source Software 6 (65), 3635, 2021.
(here)
- L. Marucci, M. Barberi, J. Karr, O. Ray, P.R. Race, M. de Souza Andrade, C. Grierson, S.A. Hoffmann, S. Landon, E. Rech, J. Rees-Garbutt, R. Seabrook, W. Shaw and C. Woods.
Computer-Aided Whole-Cell Design: Taking a Holistic Approach by Integrating Synthetic With Systems Biology.
Frontiers in Bioengineering and Biotechnology 8(942), 2020.
(here)
- C. Blackmore, K. Eder and O. Ray.
A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software.
Theory and Practice of Logic Programming 15(4-5): 481-494, 2015.
- H. Nabeshima, K. Iwanuma, K. Inoue and O. Ray.
SOLAR: An Automated Deduction System for Consequence Finding.
AI Communications 23(2-3): 188-203, 2010.
- O. Ray.
Nonmonotonic Abductive Inductive Learning.
Journal of Applied Logic 7(3): 329-340, 2009.
- D. Alrajeh, O. Ray, A. Russo and S. Uchitel.
Using abduction and induction for operational requirements elaboration.
Journal of Applied Logic 7(3): 275-288, 2009.
- A. d'Avila Garcez, D. Gabbay, O. Ray and J. Woods.
Abductive Reasoning in Neural-Symbolic Learning Systems.
TOPOI 26(1):37-49, 2007.
|
Book Chapters |
- J. Valvoda and O. Ray.
From Case Law to Ratio Decidendi.
New Frontiers in Artificial Intelligence: Revised selected papers from the Japanese Society for Artificial Intelligence 2017 Workshops.
LNAI 10838:20-34, Springer, 2018.
(here)
- K. Whelan, O. Ray and R. King.
Representation, Simulation and Hypothesis Generation in Graph and Logical Models of Biological Networks.
Yeast Systems Biology. Methods and Protocols, chap.26, Methods in Molecular Biology 759:465-482, Humana Press, 2011.
|
Conference Papers |
- O. Ray.
Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus
Proc. 30th Int. Conf. on Inductive Logic Programming (ILP),
LNAI 13191:219-233, 2021.
(here)
- O. Ray and S. Moyle.
Towards expert-guided elucidation of cyber attacks through interactive inductive logic programming
Proc. 13th Int. Conf. on Knowledge and Systems Engineering (KSE),
IEEE Press, 2021.
(here)
- O. Ray, A. Conroy and R. Imansyah.
Summarisation with Majority Opinion.
Proc. 33rd Int. Conf. on Legal Knowledge and Information Systems (JURIX),
Frontiers in Artificial Intelligence and Applications 334:247-250, IOS Press, 2020.
(here)
- J. Valvoda, O. Ray and K. Satoh.
Using agreement statements to identify majority opinion in UKHL case law.
Proc. 31st Int. Conf. on Legal Knowledge and Information Systems (JURIX),
Frontiers in Artificial Intelligence and Applications 313:141-150, IOS Press, 2018.
(here)
- O. Ray, S. Hicks and S. Moyle.
Using ILP to Analyse Ransomware Attacks.
Proc. 26th Int. Conf. on Inductive Logic Programming (ILP),
CEUR 1865:54-59, 2016. (here)
- R. Rozanski, O. Ray, R King and S. Bragaglia.
Automating development of metabolic network models.
Proc. 13th Int. Conf. on Computational Methods in Systems Biology (CMSB), LNCS 9308:145-156, 2015 (here)
- S. Bragaglia and O. Ray.
Nonmonotonic Learning in Large Biological Networks.
Proc. 24th Int. Conf. on Inductive Logic Programming (ILP), LNAI 9046:33-48, 2015. (here)
- O. Ray, T. Soh and K. Inoue.
Analysing Pathways using ASP-based Approaches
Proc. 2010 Conference on Algebraic and Numeric Biology (ANB), LNCS 6479:167-183, 2011.
- O. Ray, K. Whelan and R. King.
Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data
Proc. 19th Int. Conf. on Inductive Logic Programming (ILP), LNAI 5989:194-201, 2010.
- D. Corapi, O. Ray, A. Russo, A. Bandara and E. Lupu.
Learning rules from user behaviour
Proc. 5th Int. Conf. on Artificial Intelligence Applications and Innovations (AIAI), IFIP 296:459-468, 2009.
- Y. Yamamoto, O. Ray and K. Inoue.
Towards a Logical Reconstruction of CF-Induction.
Proc. Japanese Society for Artificial Intelligence 2007 Conference, LNCS 4914:330-343, 2008.
- O. Ray and K. Inoue.
A Consequence Finding Approach for Full Clausal Abduction
Proc. 10th Int. Conf. on Discovery Science (DS), LNAI 4755:173-184, 2007.
- O. Ray and K. Inoue.
Mode-Directed Inverse Entailment for Full Clausal Theories.
Proc. 17th Int. Conf. on Inductive Logic Programming (ILP), LNAI 4894:225-238, 2007.
- O. Ray.
Automated Abduction in Scientific Discovery.
Model-Based Reasoning in Science and Medicine (MBR), SICI 64:103-116, 2007.
- O. Ray, A. Antoniades, A. Kakas and I. Demetriades.
Abductive Logic Programming in the Clinical Management of HIV/AIDS.
Proc. 17th Europ. Conf. on Artificial Intelligence (ECAI), pp 437-441, 2006.
|
Workshop Contributions |
- S. Hulkkonen and O. Ray
An End-to-End PDF Toolchain for Marking Up Scientific Documents.
Proc. 11th Int. Conf. on Language Resources and Evaluation (LREC) Workshop on Mining Scientific Publications (WOSP). ELRA, 2018.
(here)
- C. Blackmore, O. Ray, M Kull, G. Rahman, P. Flach and N. Lachiche
Reframing of Classification and Regression Tasks for Predicting the Effects of Compiler Settings on Multiple Embedded Systems.
Proc. 2nd ECML/PKDD Int. Workshop on Learning over Multiple Contexts (LMCE), 2015.
- R. Gladstone, T. Burghardt, B. Golenia, O. Ray, I. Culverwell, J. Gregory, H. Hellmer and T. Payne
Simulated water masses and changes near Antarctica: A comparison of oceanmodels.
Proc. IGS-Symposium on Interactions of Glaciers and Ice Sheets with the Ocean: Eprint 24547, 2011.
- O. Ray, A. Clare, M. Liakata, L. Soldatova, K. Whelan and R. King.
Towards the Automation of Scientific Method.
Proc. IJCAI'09 Workshop on Abductive and Inductive Knowledge Development: 27-33, 2009.
- O. Ray, K. Whelan and R. King.
A nonmonotonic logical approach for modelling and revising metabolic networks.
Proc. 3rd Int. Conf. on Complex, Intelligent and Software Intensive Systems: 825-829, 2009.
- O. Ray.
Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks.
Proc. 23rd Int. Conf. on Advanced Information Networking and Applications: 918-923, 2009.
- O. Ray and C. Bryant.
Inferring the function of genes from synthetic lethal mutations.
Proc. 2nd Int. Conf. on Complex, Intelligent and Software Intensive Systems, IEEE, pp 667-671, 2008.
- O. Ray and A. Kakas.
ProLogICA: a practical system for Abductive Logic Programming.
Proc. 11th Int. Workshop on Non-monotonic Reasoning:304-312, 2006.
|
Editorials |
- H. Chang, T. Akutsu, O. Ray, S. Draghici and T. Pai (Guest Eds.).
Intelligent Informatics in Translational Medicine.
BioMed Research International, Hindawi Publishing Corp., 2016.
- H. Chang, T. Akutsu, S. Draghici, O. Ray and T. Pai (Guest Eds.).
Intelligent Informatics in Translational Medicine.
BioMed Research International, Hindawi Publishing Corp., 2015.
- H. Chang, R. Calogero, S. Draghici, O. Ray and T. Pai (Guest Eds.).
Intelligent Informatics in Biomedicine.
BioMed Research International, Hindawi Publishing Corp., 2013.
|
PhD Thesis |
- O. Ray.
Hybrid Abductive Inductive Learning
Department of Computing, Imperial College, University of London, 2005.
|
Feb 14 - Feb 15 | Symbolic Support for Scientific Reasoning in Systems Biology (PI, EPSRC First Grant - £125k) |
Oct 12 - Oct 15 | Rethinking the Essence, Flexibility and Reusability of Advanced Model Exploitation (CoI, EPSRC/CHIST-ERA Grant - £500k) |
Oct 10 - Mar 11 | Using artificial intelligence to support computer experiments in ocean science (PI, EPSRC Cross-Disciplinary Feasibility Account - £21k) |
Oct 07 - Oct 12 | Logical Reasoning and Knowledge Discovery in Bioinformatics (MoU, Japanese National Institute of Informatics) |
Feb 07 - May 07 | First-Order Hybrid Abductive Inductive Learning for Bioinformatics (PI, JSPS Postdoctoral Fellowship - £12.5k) |
Jan 07 - Dec 11 | Exabyte Informatics Research (PI, RCUK Academic Fellowship - £125k) |
-
Conf. of Brit. Assoc. of Lecturers in English for Ac. Purposes (BALEAP) -
joint talk with Lisa Hanson (Rebuilding through collaboration; from text to course).
Bristol, UK, April, 2017.
-
24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux'15) and
10th International Symposium on Frontiers of Combining Systems (FroCoS'15).
Wroclaw, Poland, September, 2015.
-
Workshop on Automated Reasoning (ARW'15).
Birmingham, UK, April, 2015.
-
The 6th Bristol Energy-Aware COmputing Workshop (EACOW'13) - joint talk with Simon Hollis.
Bristol, UK, March, 2013.
-
The 55th GRACE Seminar on Advanced Software Science and Engineering.
Tokyo, Japan, October, 2011.
-
2nd Symposium on Systems and Synthetic Biology.
Tokyo, Japan, October, 2010.
-
4th Spring Workshop on Mining and Learning (SML'10).
Im Tal der Loreley, Germany, March, 2010.
-
5th CSPSAT Meeting.
Yamanashi, Japan, November, 2009.
-
2nd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology.
Hida-Takayama, Japan, October, 2008.
-
3rd Spring Workshop on Mining and Learning (SML'08).
Traben-Trarbach, Germany, April, 2008.
-
Symposium on Computational Approaches to Creativity in Science.
Stanford University, USA, March 2008.
|
-
Artificial Intelligence (COMS30014)
(with Seth Bullock and Nirav Ajmerji)
-
Introduction to Computer Science (COMSM0084)
(with Peter Bennett and Sarah Connolly)
-
Imperative Programming (COMS10016)
(with Tilo Burghardt and Nirav Ajmerji)
|
-
Language Engineering (COMS22201)
-
Research Skills (COMSM2202)
-
Programming and Algorithms I (COMS10002)
-
Introduction to the Theory of Computation (COMS11700)
-
Topics in Theoretical Computer Science (COMS21400)
-
Artificial Intelligence with Logic Programming (COMS30106/M0005)
-
Learning from Structured Data (COMSM0301)
|
-
Director of Research for the Interactive Artificial Intelligence Centre for Doctoral Training
-
Senior Tutor for the Computer Science Conversion MSc Degree Programme
-
International Exchange Liason for the Japanese National Institute of Informatics
[info]
|
-
3rd Year Tutor for Computer Science Undergraduate Degrees
-
Director of Computer Science Postgraduate Research
-
Director of Computer Science Conversion Msc Degree Programme
-
Director of Computer Science Postgraduate Projects
|
- PC Member: 27th International Joint Conference on Artificial Intelligence (ML Track) (IJCAI'18)
- PC Member: 25th Automated Reasoning Workshop (ARW'18)
- Organiser: 24th Automated Reasoning Workshop (ARW'17)
- PC Member: 27th International Conference on Inductive Logic Programming (ILP'17)
- PC Member: 26th International Conference on Inductive Logic Programming (ILP'16)
- PC Member: 23rd Automated Reasoning Workshop (ARW'16)
- PC Member: 10th International Web Rule Symposium (RuleML'16)
- PC Member: 24th International Joint Conference on Artificial Intelligence (ML Track) (IJCAI'15)
- PC Member: 25th International Conference on Inductive Logic Programming (ILP'15)
- PC Member: 2nd International Workshop on Learning and Nonmonotonic Reasoning (LNMR'15)
- PC Member: 2015 International Conference on Model-Based Reasoning in Science and Technology - Models and Inferences: Logical, Epistemological, and Cognitive Issues (MBR'15)
- Reviewer: Pacific Symposium on Biocomputing (PSB'15)
- Grant Reviewer: The Royal Society, 2015
- PC Member: 24th International Conference on Inductive Logic Programming (ILP'14)
- Chair: CISIS'14 Workshop on Intelligent Informatics in Biology and Medicine (IIBM'14)
- PC Member: 23rd International Conference on Inductive Logic Programming (ILP'13)
- PC Member: 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR'13)
- Grant Reviewer: Biotechnology and Biological Sciences Research Council (BBSRC), 2013
- Local Organiser: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML/PKDD'12)
- Chair: ECML/PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology (LDSSB'12)
- PC Member: 20th European Conference on Artificial Intelligence (ECAI'12)
- PC Member: 22nd International Conference on Inductive Logic Programming (ILP'12)
- PC Member: 2012 International Conference on Model-Based Reasoning in Science and Technology: Theoretical and Cognitive Issues (MBR'12)
- PC Member: 22nd International Joint Conference on Artificial Intelligence (IJCAI'11)
- PC Member: 25th AAAI Conference on Artificial Intelligence (AAAI'11)
- Chair: 2011 International Symposium on Symbolic Systems Biology (ISSSB'11)
- Chair: CISIS'11 Workshop on Intelligent Informatics in Biology and Medicine (IIBM'11)
- Reviewer: Theory and Practice of Logic Programming (2011)
- PC Member: 20th International Conference Inductive Logic Programming (ILP'10)
- Reviewer: Journal of Algorithms in Cognition, Informatics and Logic (2010)
- Reviewer: The Computer Journal (2010)
- Chair: CISIS'10 Workshop on Intelligent Informatics in Biology and Medicine (IIBM'10)
- PC Member: ECAI'10 Planning to Learn Workshop (PlanLearn'10)
- Chair: IJCAI'09 Workshop on Abductive and Inductive Knowledge Development (AIAI'09)
- Reviewer: 25th International Conference on Logic Programming (ICLP'09)
- Reviewer: 19th International Conference on Inductive Logic Programming (ILP'09)
- Reviewer: Artificial Intelligence in Medicine (2009)
- PC Member: CISIS'09 Workshop on Intelligent Informatics in Biology and Medicine (IIBM'09)
- PC Member: ICML'08 Planning to Learn Workshop (PlanLearn'08)
- Reviewer: 18th International Conference on Inductive Logic Programming (ILP'08)
- Reviewer: Machine Learning (2008)
- PC Member: 23rd AAAI Conference on Artificial Intelligence (AAAI'08)
- PC Member: CISIS'09 Workshop on Intelligent Informatics in Biology and Medicine (IIBM'08)
- PC Member: ECML'07 Planning to Learn Workshop (PlanLearn'07)
- Chair: 2007 International Workshop on the Integration of Abduction and Induction in AI and Bioinformatics (AIAI'07)
- Chair: ECAI'06 Workshop on the Integration of Abduction and Induction in AI and Scientific Modelling (AIAI'06)
- Chair: 2005 International Workshop on the Integration of Abduction and Induction in AI (AIAI'05)
|
| |