Oliver Ray
Title
Cited by
Cited by
Year
Nonmonotonic abductive inductive learning
O Ray
Journal of Applied Logic 7 (3), 329-340, 2009
1382009
SOLAR: An automated deduction system for consequence finding
H Nabeshima, K Iwanuma, K Inoue, O Ray
AI communications 23 (2-3), 183-203, 2010
662010
Hybrid abductive inductive learning: A generalisation of progol
O Ray, K Broda, A Russo
International Conference on Inductive Logic Programming, 311-328, 2003
522003
ProLogICA: a practical system for Abductive Logic Programming
O Ray, A Kakas
Proceedings of the 11th International Workshop on Non-monotonic Reasoning …, 2006
472006
Hybrid abductive inductive learning
O Ray
University of London, 2005
342005
Learning rules from user behaviour
D Corapi, O Ray, A Russo, A Bandara, E Lupu
IFIP International Conference on Artificial Intelligence Applications and …, 2009
312009
Logic-based steady-state analysis and revision of metabolic networks with inhibition
O Ray, K Whelan, R King
2010 International Conference on Complex, Intelligent and Software Intensive …, 2010
292010
Abductive reasoning in neural-symbolic systems
ASA Garcez, DM Gabbay, O Ray, J Woods
Topoi 26 (1), 37-49, 2007
292007
Extracting requirements from scenarios with ILP
D Alrajeh, O Ray, A Russo, S Uchitel
International Conference on Inductive Logic Programming, 64-78, 2006
262006
Automated abduction in scientific discovery
O Ray
Model-Based Reasoning in Science, Technology, and Medicine, 103-116, 2007
242007
Using abduction and induction for operational requirements elaboration
D Alrajeh, O Ray, A Russo, S Uchitel
Journal of Applied Logic 7 (3), 275-288, 2009
222009
A hybrid abductive inductive proof procedure
O Ray, K Broda, A Russo
Logic Journal of the IGPL 12 (5), 371-397, 2004
222004
Analyzing pathways using ASP-based approaches
O Ray, T Soh, K Inoue
Algebraic and Numeric Biology, 167-183, 2012
192012
A nonmonotonic logical approach for modelling and revising metabolic networks
O Ray, K Whelan, R King
2009 International Conference on Complex, Intelligent and Software Intensive …, 2009
182009
A consequence finding approach for full clausal abduction
O Ray, K Inoue
International Conference on Discovery Science, 173-184, 2007
152007
Using abduction for induction of normal logic programs
O Ray
Proc. of 2nd Workshop on AIAI and Scientific Modelling, 28-31, 2006
152006
Automatic revision of metabolic networks through logical analysis of experimental data
O Ray, K Whelan, R King
International Conference on Inductive Logic Programming, 194-201, 2009
142009
Mode-directed inverse entailment for full clausal theories
O Ray, K Inoue
International Conference on Inductive Logic Programming, 225-238, 2007
142007
Nonmonotonic learning in large biological networks
S Bragaglia, O Ray
Inductive Logic Programming, 33-48, 2015
132015
Inferring the function of genes from synthetic lethal mutations
O Ray, CH Bryant
2008 International Conference on Complex, Intelligent and Software Intensive …, 2008
112008
The system can't perform the operation now. Try again later.
Articles 1–20