20032020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Article (Academic Journal)

Abductive reasoning in neural-symbolic systems

d'Avila Garcez, AS., Gabbay, DM., Ray, O. & Woods, JH., Mar 2007, In : Topoi. 26 (1), p. 37 - 49 13 p.

Research output: Contribution to journalArticle (Academic Journal)

14 Citations (Scopus)

A Hybrid Abductive Inductive Proof Procedure

Ray, O., Broda, K. & Russo, A., Sep 2004, In : Logic Journal of the IGPL. 12 (5), p. 371 - 397 27 p., 371-397.

Research output: Contribution to journalArticle (Academic Journal)

Computer-aided whole-cell design: taking a holistic approach by integrating synthetic with systems biology

Marucci, L., Barberis, M., Karr, J., Ray, O., Race, P. R., de Souza Andrade, M., Grierson, C. S., Hoffmann, S. A., Landon, S., Rech, E., Rees-Garbutt, J. P., Seabrook, R., Shaw, W. & Woods, C. J., 21 Jul 2020, (Accepted/In press) In : Frontiers in Bioengineering and Biotechnology.

Research output: Contribution to journalArticle (Academic Journal)

Extracting Requirements from Scenarios with ILP

Alrajeh, D., Ray, O., Russo, A. & Uchitel, S., Jul 2007, In : Lecture Notes in Computer Science . p. 64 - 78 15 p.

Research output: Contribution to journalArticle (Academic Journal)

10 Citations (Scopus)

Nonmonotonic abductive inductive learning

Ray, O., Sep 2009, In : Journal of Applied Logic. 7, 3, 329-340.

Research output: Contribution to journalArticle (Academic Journal)

76 Citations (Scopus)

SOLAR: An automated deduction system for consequence finding

Nabeshima, H., Iwanuma, K., Inoue, K. & Ray, O., 2010, In : AI Communications. 23, 2-3, 183-203.

Research output: Contribution to journalArticle (Academic Journal)

38 Citations (Scopus)

Using abduction and induction for operational requirements elaboration

Alrajeh, D., Ray, O., Russo, A. & Uchitel, S., 2009, In : Journal of Applied Logic. 7(3), 275-288.

Research output: Contribution to journalArticle (Academic Journal)

13 Citations (Scopus)
Chapter in a book

From Case Law to Ratio Decidendi

Valvoda, J. & Ray, O., 2018, Lecture Notes in Artificial Intelligence: New Frontiers in Artificial Intelligence. Arai, S., Kojima, K., Mineshima, K., Bekki, D., Satoh, K. & Ohta, Y. (eds.). Springer, Vol. 10838. p. 20-34

Research output: Chapter in Book/Report/Conference proceedingChapter in a book

Representation, Simulation and Hypothesis Generation in Graph and Logical Models of Biological Networks

Whelan, K., Ray, O. & King, R., 2011, Yeast Systems Biology: Methods and Protocols (Methods in Molecular Biology). Castrillo, J. I. & Oliver, S. G. (eds.). Humana Press, Vol. 759.

Research output: Chapter in Book/Report/Conference proceedingChapter in a book

4 Citations (Scopus)
Conference Contribution (Conference Proceeding)

Abduction, induction, and the logic of scientific knowledge development

Flach, P., Kakas, A., Ray, O., Flach, P. A., Kakas, A. C., Magnani, L. & Ray, O., 2006, ECAI'06 workshop on Abduction and Induction in AI and Scientific Modelling.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Abductive Logic Programming in the Clinical Management of HIV/AIDS

Ray, O., Antoniades, A., Kakas, A. & Demetriades, I., 2006, 17th European Conference on Artificial Intelligence, ECAI 2006, Riva del Garda, Italy, 28th August - 1st September. Brewka, G., Coradeschi, S., Perini, A. & Traverso, P. (eds.). IOS Press, p. 437 - 441 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

A Consequence Finding Approach for Full Clausal Abduction

Ray, O. & Inoue, K., 2007, 10th International Conference on Discovery Science. Springer

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

7 Citations (Scopus)

A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software

Blackmore, C. B., Ray, O. & Eder, K., Jul 2015, Proceedings of the 31st International Conference on Logic Programming. Cambridge University Press, p. 481-494 14 p. (Theory and Practice of Logic Programming; vol. 15, no. 4-5).

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Open Access
File
3 Citations (Scopus)
293 Downloads (Pure)

Analysing Pathways using ASP-Based approaches

Ray, O., Soh, T. & Inoue, K., 1 Oct 2011, Algebraic and Numeric Biology. Springer, p. 167-183 17 p.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

25 Citations (Scopus)

A Neural Network Approach for First-Order Abductive Inference

Ray, O. & Golenia, B., 2009, IJCAI09 Workshop on Neural-Symbolic Learning and Reasoning.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

1 Citation (Scopus)

A nonmonotonic logical approach for modelling and revising metabolic networks

Ray, O., Whelan, K. & King, R., 2009, 3rd International Conference on Complex, Intelligent and Software Intensive Systems (from 2nd International Workshop on Intelligent Informatics in Biology and Medicine). IEEE Computer Society

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

8 Citations (Scopus)

Automated Abduction in Scientific Discovery

Ray, O., 2007, Model-Based Reasoning in Science and Medicine. Springer

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

10 Citations (Scopus)

Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data

Ray, O., Whelan, K. & King, R., 2010, 19th International Conference on Inductive Logic Programming. Springer

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

7 Citations (Scopus)

Automating the Development of Metabolic Network Models

Rozanski, R., Bragaglia, S., Ray, O. & King, R., 2 Sep 2015, Computational Methods in Systems Biology: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Roux, O. & Bourdon, J. (eds.). Springer, p. 145-156 12 p. (Lecture Notes in Computer Science; vol. 9308).

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Open Access
File
272 Downloads (Pure)

Extracting Requirements from scenarios with ILP

Alrajeh, D., Ray, O., Russo, A., Uchitel, S., Muggleton, S. H., Otero, R. & Nezhad, A. T., 2007, 16th International Conference on Inductive Logic Programming. Springer

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Generalised Kernel Sets for Inverse Entailment

Ray, O., Broda, K., Russo, A., Demoen, B. & Lifschitz, V., 2004, 20th International Conference on Logic Programming. Springer

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

2 Citations (Scopus)

Hybrid Abductive Inductive Learning: A Generalisation of Progol

Ray, O., Broda, K., Russo, A., Horvath, T. & Yamamoto, A., 2003, 13th International Conference on Inductive Logic Programming. Springer

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

23 Citations (Scopus)

Inferring process models from temporal data with abduction and induction

Ray, O., 2007, 1st International Workshop on the Induction of Process Models.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Inferring the function of genes from synthetic lethal mutations

Ray, O. & Bryant, C., 2008, 2nd International Conference on Complex, Intelligent and Software Intensive Systems (from 1st International Workshop on Intelligent Informatics in Biology and Medicine). IEEE Computer Society

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

6 Citations (Scopus)

Learning rules from user behaviour

Corapi, D., Ray, O., Russo, A., Bandara, A. & Lupu, E., 2009, 5th International Conference on Artificial Intelligence Applications and Innovations.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

15 Citations (Scopus)

Learning Rules from User Behaviour

Domenico, C., Ray, O., Russo, A., Bandara, A. & Lupu, E., 2008, 2nd International Workshop on the Induction of Process Models.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Logic-based Steady-State Analysis and Revision of Metabolic Networks with Inhibition

Ray, O., Whelan, K. & King, R., 2010, 2nd International Conference on Complex, Intelligent and Software Intensive Systems (from 3rd International Workshop on Intelligent Informatics in Biology and Medicine). IEEE Computer Society

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

14 Citations (Scopus)

Mode-Directed Inverse Entailment for Full Clausal Theories

Ray, O. & Inoue, K., 2008, 17th International Conference on Inductive Logic Programming. Springer, Vol. 4894. p. 225-238 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

7 Citations (Scopus)

Nonmonotonic Learning in Large Biological Networks

Ray, O. & Bragaglia, S., 27 Dec 2015, Inductive Logic Programming: 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers. Davis, J. & Ramon, J. (eds.). p. 33-48 16 p. (Lecture Notes in Computer Science; vol. 9046).

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Open Access
File
2 Citations (Scopus)
270 Downloads (Pure)

ProLogICA: a practical system for Abductive Logic Programming

Ray, O., Kakas, A., Dix, J. & Hunter, A., 2006, 11th International Workshop on Non-monotonic Reasoning.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

The need for Ancestor Resolution when answering queries in Horn clause logic

Ray, O., Gabrielli, M. & Gupta, G., 2005, 21st International Conference on Logic Programming. Springer

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

1 Citation (Scopus)

Towards a Logical Reconstruction of CF-Induction

Yamamoto, Y., Ray, O. & Inoue, K., 2008, New Frontiers in Artificial Intelligence: JSAI 2007 Conference and Workshop Revised Selected Papers (from 5th Workshop on Learning with Logics and Logics for Learning). Springer

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

6 Citations (Scopus)

Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks

Ray, O., 2009, International Conference on Advanced Information Networking and Applications (from 2009 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing). Institute of Electrical and Electronics Engineers (IEEE)

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

1 Citation (Scopus)

Towards the Automation of Scientific Method

Ray, O., Clare, A., Liakata, M., Soldatova, L., Whelan, K. & King, R., 2009, IJCAI09 Workshop on Abductive and Inductive Knowledge Development.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Towards the integration of abduction and induction in artificial neural networks

Ray, O., Artur, G., A.Garcez, N. V., Hitzler, P. & Tamburrini, G., 2006, ECAI06 workshop on Neural-Symbolic Learning and Reasoning.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Using abduction for induction of normal logic programs

Ray, O., Flach, P., Kakas, A. & Magnani, L., 2006, ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Using Agreement Statements to Identify Majority Opinion in UKHL Case Law

Valvoda, J., Ray, O. & Satoh, K., 31 Dec 2018, Frontiers in Artificial Intelligence and Applications: Legal Knowledge and Information Systems (Jurix2018). Palmirani, M. (ed.). Netherlands: IOS Press, Vol. 313. p. 141-150 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Open Access
File
45 Downloads (Pure)
PhD thesis (not Bristol)

Hybrid Abductive Inductive Learning

Ray, O., 2005

Research output: Other contributionPhD thesis (not Bristol)

Working paper and Preprints

HAIL: Hybrid Abductive Inductive Learning. Technical Rept

Ray, O., 2003, University of Bristol.

Research output: Working paperWorking paper and Preprints