 |
| currently | 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 |
| Sep 01 - Dec 05 | Ph.D. in Computer Science, Department of Computing, Imperial College London |
| Sep 00 - Sep 01 | Teaching Associate, Department of Computing, Imperial College London |
| Oct 97 - Jul 00 | B.Eng. in Information Systems Engineering, Department of Electrical and Electronic Engineering, Imperial College London |
- Integration of abductive and inductive inference with application to Systems Biology
- Non-monotonic induction of Action Theories with application to Requirements Engineering
- Formalisation and automation of Scientific Method
- Exabyte Informatics
|
| Book Chapters |
- 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.
|
| Journal Articles |
- 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.
|
Conference Papers |
- O. Ray, T. Soh and K. Inoue.
Analysing Pathways using ASP-based Approaches
Proc. 2010 Conference on Algebraic and Numeric Biology, 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, 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, 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, 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, LNAI 4894:225-238, 2007.
- O. Ray.
Automated Abduction in Scientific Discovery.
Model-Based Reasoning in Science and Medicine, 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, pp 437-441, 2006.
|
Workshop Contributions |
- 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.
|
PhD Thesis |
- O. Ray.
Hybrid Abductive Inductive Learning
Department of Computing, Imperial College, University of London, 2005.
|
| Jan 07 - Dec 11 | Exabyte Informatics Research (RCUK Academic Fellowship) |
| Feb 07 - May 07 | First-Order Hybrid Abductive Inductive Learning for Bioinformatics (JSPS Postdoctoral Fellowship) |
| Oct 07 - Oct 12 | Logical Reasoning and Knowledge Discovery in Bioinformatics (Memorandum of Understanding with Japanese National Institute of Informatics) |
| Oct 10 - Mar 11 | Using artificial intelligence to support computer experiments in ocean science (EPSRC Cross-Disciplinary Feasibility Account) |
-
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.
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.
Traben-Trarbach, Germany, April, 2008.
-
Symposium on Computational Approaches to Creativity in Science.
Stanford University, USA, March 2008.
|
-
Introduction to the Theory of Computation (COMS11700)
(with Bogdan Warinschi)
-
Topics in Theoretical Computer Science (COMS21400)
(with Markus Jalsenius)
-
Artificial Intelligence with Logic Programming (COMSM0005)
(with Peter Flach)
-
Research Skills (COMSM2202)
(with Peter Flach)
|
-
Departmental Administrator for Postgraduate Projects
(COMSM3201,
COMSM3100)
[info]
-
International Exchange Liason for the Japanese National Institute of Informatics
[info]
-
Internal Seminar Coordinator for the Intelligent Systems Laboratory
[info]
|
- Local Organiser: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML/PKDD'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)
- Co-Chair: 2011 International Symposium on Symbolic Systems Biology (ISSSB'11)
- Co-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)
- Co-Chair: CISIS'10 Workshop on Intelligent Informatics in Biology and Medicine (IIBM'10)
- PC Member: ECAI'10 Planning to Learn Workshop (PlanLearn'10)
- Co-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)
- Co-Chair: 2007 International Workshop on the Integration of Abduction and Induction in AI and Bioinformatics (AIAI'07)
- Co-Chair: ECAI'06 Workshop on the Integration of Abduction and Induction in AI and Scientific Modelling (AIAI'06)
- Co-Chair: 2005 International Workshop on the Integration of Abduction and Induction in AI (AIAI'05)
|
| |
| COPYRIGHT: OLIVER RAY |
LAST UPDATED: 17/12/2012 |
| |
|
 | |  |
|
