 |
| currently | Research Fellow, Department of Computer Science, University of Bristol, UK |
| Jan 07 - May 07 | 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)
- Organiser: 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)
- Organiser: International Workshop on the Integration of Abduction and Induction in AI and Bioinformatics, 2007 (AIAI'07)
- Organiser: ECAI'06 Workshop on the Integration of Abduction and Induction in AI and Scientific Modelling, 2006 (AIAI'06)
- Organiser: International Workshop on the Integration of Abduction and Induction in AI, 2005 (AIAI'05)
|
-
PROLOGICA -
(PROLOG with Integrity Constraints and Abduction)
a lightweight abductive meta interpreter for Sicstus and SWI Prolog
-
XHAIL -
(eXtended Hybrid Abductive Inductive Learning)
a non-monotonic abductive/inductive reasoning system (currently unavailable)
-
HIV-ANALYSER -
in-Silico Sequencing System for predicting HIV
drug resistance from genotypic and clinical data
using abduction
|
| |
| COPYRIGHT: OLIVER RAY |
LAST UPDATED: 25/08/2009 |
| |
| |
