Skip to content

Dr Oliver Ray

Lecturer

21 - 30 out of 38Page size: 10
  1. 2008
  2. Published

    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

  3. 2007
  4. Published

    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

  5. Published

    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

  6. Published

    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

  7. Published

    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

  8. Published

    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

  9. Published

    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

  10. 2006
  11. Published

    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

  12. Published

    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

  13. Published

    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