Publications by Oliver Ray

This is a list of all publications (co-)authored by Oliver Ray that are contained in the publications database of the Department of Computer Science, University of Bristol. To perform an alternative search of the publications database, please go to the publications database home page.

2011

• Oliver Ray, Takehide Soh, Katsumi Inoue, Analysing Pathways using ASP-Based approaches. Proceedings 2010 Conference on Algebraic and Numeric Biology, pp. 167–183. October 2011. PDF, 279 Kbytes.
• Ken Whelan, Oliver Ray, Ross King, Representation, Simulation and Hypothesis Generation in Graph and Logical Models of Biological Networks. Chapter in Yeast Systems Biology. Methods and Protocols, Methods in Molecular Biology, pp. 465–482. July 2011. No electronic version available.

2010

• Oliver Ray, Ken Whelan, Ross King, Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data. 19th International Conference on Inductive Logic Programming, pp. 194–201. July 2010. PDF, 375 Kbytes.
• Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue , Oliver Ray, SOLAR: An automated deduction system for consequence finding. AI Communications, 23(2-3), pp. 183–203. March 2010. PDF, 376 Kbytes.
• Oliver Ray, Ken Whelan, Ross King, Logic-based Steady-State Analysis and Revision of Metabolic Networks with Inhibition. 2nd International Conference on Complex, Intelligent and Software Intensive Systems (from 3rd International Workshop on Intelligent Informatics in Biology and Medicine), pp. 661–666. February 2010. PDF, 356 Kbytes.

2009

• Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel, Using abduction and induction for operational requirements elaboration. Journal of Applied Logic, 7(3), pp. 275–288. September 2009. PDF, 248 Kbytes.
• Oliver Ray, Nonmonotonic abductive inductive learning. Journal of Applied Logic, 7(3), pp. 329–340. September 2009. PDF, 231 Kbytes.
• Domenico Corapi, Oliver Ray, Alessandra Russo, Arosha Bandara, Emil Lupu, Learning rules from user behaviour. 5th International Conference on Artificial Intelligence Applications and Innovations , pp. 459–468. July 2009. PDF, 255 Kbytes.
• Oliver Ray, Amanda Clare, Maria Liakata, Larisa Soldatova, Ken Whelan, Ross King, Towards the Automation of Scientific Method. IJCAI09 Workshop on Abductive and Inductive Knowledge Development, pp. 27–33. July 2009. PDF, 302 Kbytes.
• Oliver Ray, Bruno Golenia, A Neural Network Approach for First-Order Abductive Inference. IJCAI09 Workshop on Neural-Symbolic Learning and Reasoning. July 2009. PDF, 259 Kbytes.
• Oliver Ray, Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks. International Conference on Advanced Information Networking and Applications (from 2009 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing), pp. 918–923. May 2009. PDF, 114 Kbytes.
• Oliver Ray, Ken Whelan, Ross King, A nonmonotonic logical approach for modelling and revising metabolic networks. 3rd International Conference on Complex, Intelligent and Software Intensive Systems (from 2nd International Workshop on Intelligent Informatics in Biology and Medicine), pp. 825–829. March 2009. PDF, 195 Kbytes.

2008

• Domenico Corapi, Oliver Ray, Alessandra Russo, Arosha Bandara, Emil Lupu, Learning Rules from User Behaviour. 2nd International Workshop on the Induction of Process Models. September 2008. PDF, 215 Kbytes. External information
• Oliver Ray, Chris Bryant, Inferring the function of genes from synthetic lethal mutations. 2nd International Conference on Complex, Intelligent and Software Intensive Systems (from 1st International Workshop on Intelligent Informatics in Biology and Medicine), pp. 667–671. February 2008. PDF, 75 Kbytes.
• Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue, Towards a Logical Reconstruction of CF-Induction. New Frontiers in Artificial Intelligence: JSAI 2007 Conference and Workshop Revised Selected Papers (from 5th Workshop on Learning with Logics and Logics for Learning), pp. 330–343. February 2008. PDF, 392 Kbytes.
• Oliver Ray, Katsumi Inoue, Mode-Directed Inverse Entailment for Full Clausal Theories. 17th International Conference on Inductive Logic Programming, pp. 225–238. February 2008. PDF, 178 Kbytes.

2007

• Oliver Ray, Katsumi Inoue, A Consequence Finding Approach for Full Clausal Abduction. 10th International Conference on Discovery Science, pp. 173–184. September 2007. PDF, 153 Kbytes.
• Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel, Extracting Requirements from scenarios with ILP. 16th International Conference on Inductive Logic Programming. S.H. Muggleton, R. Otero, A Tamaddoni Nezhad, (eds.), pp. 63–77. July 2007. PDF, 429 Kbytes.
• Oliver Ray, Inferring process models from temporal data with abduction and induction. 1st International Workshop on the Induction of Process Models. June 2007. PDF, 94 Kbytes. External information
• Oliver Ray, Automated Abduction in Scientific Discovery. Model-Based Reasoning in Science and Medicine, pp. 103–116. June 2007. PDF, 254 Kbytes.
• Artur S. d'Avila Garcez, Dov M. Gabbay, Oliver Ray, John. H. Woods, Abductive reasoning in neural-symbolic systems. TOPOI, 26(1), pp. 37–49. April 2007. PDF, 373 Kbytes.

2006

• Oliver Ray, Athos Antoniades, Antonis Kakas, Ioannis Demetriades, Abductive Logic Programming in the Clinical Management of HIV/AIDS. 17th European Conference on Artificial Intelligence. G. Brewka, S.Coradeschi, A. Perini, P. Traverso, (eds.), pp. 437–441. August 2006. PDF, 77 Kbytes.
• Oliver Ray, Artur Garcez, Towards the integration of abduction and induction in artificial neural networks. ECAI06 workshop on Neural-Symbolic Learning and Reasoning. A.Garcez, P. Hitzler, G. Tamburrini, (eds.), pp. 41–46. August 2006. PDF, 213 Kbytes. External information
• Oliver Ray, Using abduction for induction of normal logic programs. ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling. P. Flach, A. Kakas, L. Magnani, O. Ray, (eds.), pp. 28–31. August 2006. PDF, 82 Kbytes. External information
• Peter Flach, Antonis Kakas, Oliver Ray, Abduction, induction, and the logic of scientific knowledge development. ECAI'06 workshop on Abduction and Induction in AI and Scientific Modelling. P.A. Flach, A.C. Kakas, L. Magnani, O. Ray, (eds.), pp. 21–23. August 2006. PDF, 41 Kbytes. External information
• Oliver Ray, Antonis Kakas, ProLogICA: a practical system for Abductive Logic Programming. 11th International Workshop on Non-monotonic Reasoning. J. Dix, A. Hunter, (eds.), pp. 304–312. May 2006. PDF, 123 Kbytes. External information

2005

• Oliver Ray, Hybrid Abductive Inductive Learning. PhD thesis. Department of Computing, Imperial College London. December 2005. PDF, 1175 Kbytes.
• Oliver Ray, The need for Ancestor Resolution when answering queries in Horn clause logic. 21st International Conference on Logic Programming. M. Gabrielli, G. Gupta, (eds.), pp. 410–411. October 2005. PDF, 197 Kbytes.

2004

• Oliver Ray, Krysia Broda, Alessandra Russo, Generalised Kernel Sets for Inverse Entailment. 20th International Conference on Logic Programming. Bart Demoen, Vladimir Lifschitz, (eds.), pp. 165–179. November 2004. PDF, 261 Kbytes.
• Oliver Ray, Krysia Broda, Alessandra Russo, A Hybrid Abductive Inductive Proof Procedure. Logic Journal of the IGPL, 12(5). ISSN 1367-0751 , pp. 371–397. September 2004. PDF, 351 Kbytes.

2003

• Oliver Ray, Krysia Broda, Alessandra Russo, Hybrid Abductive Inductive Learning: A Generalisation of Progol. 13th International Conference on Inductive Logic Programming. T. Horvath, A. Yamamoto, (eds.), pp. 311–328. October 2003. PDF, 277 Kbytes.
• Oliver Ray, HAIL: Hybrid Abductive Inductive Learning. Technical Rept. , Department of Computing, Imperial College London. July 2003. PDF, 1172 Kbytes.