 |
| currently | RCUK Research Fellow, Department of Computer Science, University of Bristol, UK |
| Jan 07 - May 07 | JSPS Visiting Research Fellow, National Institute of Informatics, Japan |
| Jan 06 - 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 - Aug 01 | Teaching Associate, Department of Computing, Imperial College London |
| Oct 97 - Aug 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
- Subsymbolic integration of abductive and inductive reasoning in Artificial Neural Networks
- Formalisation and automation of Scientific Method
|
| Journal Articles |
- 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.
- H. Nabeshima, K. Iwanuma, and K. Inoue and O. Ray.
SOLAR: An Automated Deduction System for Consequence Finding.
AI Communications, to appear 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, K. Whelan, R. King.
Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data
Proc. 19th Int. Conf. on Inductive Logic Programming , to appear, 2009.
- 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, 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, 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.
|
Technical Reports |
- O. Ray
HAIL: Hybrid Abductive Inductive Learning
Department of Computing, Imperial College London, 2003.
|
- PC Member: 20th International Conference Inductive Logic Programming (ILP'10)
- Co-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, 2009 (AIAI'09)
- PC Member: CISIS'09 Workshop on Intelligent Informatics in Biology and Medicine (IIBM'09)
- PC Member: ICML'08 Planning to Learn Workshop (PlanLearn'08)
- 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: International Workshop on the Integration of Abduction and Induction in AI and Bioinformatics, 2007 (AIAI'07)
- Chair: ECAI'06 Workshop on the Integration of Abduction and Induction in AI and Scientific Modelling, 2006 (AIAI'06)
- Chair: International Workshop on the Integration of Abduction and Induction in AI, 2005 (AIAI'05)
|
| Week | Date | Week | Date |
|---|
| 1 | 5 Oct 2009 | 13 | 25 Jan 2010 |
| 2 | 12 Oct 2009 | 14 | 1 Feb 2010 |
| 3 | 19 Oct 2009 | 15 | 8 Feb 2010 |
| 4 | 26 Oct 2009 | 16 | 15 Feb 2010 |
| 5 | 2 Nov 2009 | 17 | 22 Feb 2010 |
| 6 | 09 Nov 2009 | 18 | 1 Mar 2010 |
| 7 | 16 Nov 2009 | 19 | 8 Mar 2010 |
| 8 | 23 Nov 2009 | 20 | 15 Mar 2010 |
| 9 | 30 Nov 2009 | | Break |
| 10 | 7 Dec 2009 | 21 | 19 Apr 2010 |
| | Break | 22 | 26 Apr 2010 |
| 11 | 11 Jan 2010 | 23 | 3 May 2010 |
| 12 | 18 Jan 2010 | 24 | 10 May 2010 |
| |
| COPYRIGHT: OLIVER RAY |
LAST UPDATED: 25/08/2009 |
| |
| |
