20032020

Research output per year

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

Research Output

Filter
Conference Contribution (Conference Proceeding)
2018

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)
2015

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)

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)

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)
2011

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)
2010

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)

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)
2009

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)

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)

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)

2008

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

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)

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)

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)
2007

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)

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)

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)

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)

2006

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)

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)

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)

2005

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)
2004

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)
2003

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)