Oliver Ray
Tytuł
Cytowane przez
Cytowane przez
Rok
Nonmonotonic abductive inductive learning
O Ray
Journal of Applied Logic 7 (3), 329-340, 2009
1632009
SOLAR: An automated deduction system for consequence finding
H Nabeshima, K Iwanuma, K Inoue, O Ray
AI communications 23 (2-3), 183-203, 2010
712010
Hybrid abductive inductive learning: A generalisation of progol
O Ray, K Broda, A Russo
International Conference on Inductive Logic Programming, 311-328, 2003
562003
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
352005
Learning rules from user behaviour
D Corapi, O Ray, A Russo, A Bandara, E Lupu
IFIP International Conference on Artificial Intelligence Applications and …, 2009
342009
Abductive reasoning in neural-symbolic systems
ASA Garcez, DM Gabbay, O Ray, J Woods
Topoi 26 (1), 37-49, 2007
312007
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
302010
Extracting requirements from scenarios with ILP
D Alrajeh, O Ray, A Russo, S Uchitel
International Conference on Inductive Logic Programming, 64-78, 2006
272006
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
242009
Automated abduction in scientific discovery
O Ray
Model-Based Reasoning in Science, Technology, and Medicine, 103-116, 2007
232007
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
202012
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
Using abduction for induction of normal logic programs
O Ray
Proc. ECAI 6, 28-31, 2006
172006
Nonmonotonic learning in large biological networks
S Bragaglia, O Ray
Inductive Logic Programming, 33-48, 2015
152015
A consequence finding approach for full clausal abduction
O Ray, K Inoue
International Conference on Discovery Science, 173-184, 2007
142007
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
132009
Mode-directed inverse entailment for full clausal theories
O Ray, K Inoue
International Conference on Inductive Logic Programming, 225-238, 2007
132007
A logic programming approach to predict effective compiler settings for embedded software
C Blackmore, O Ray, K Eder
Theory and Practice of Logic Programming 15 (4-5), 481-494, 2015
112015
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20