 | 2009 |
|---|
| 14 |       | Oliver Ray:
Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks.
AINA Workshops 2009: 918-923 |
| 13 | | Dalal Alrajeh,
Oliver Ray,
Alessandra Russo,
Sebastián Uchitel:
Using abduction and induction for operational requirements elaboration.
J. Applied Logic 7(3): 275-288 (2009) |
| 12 | | Oliver Ray:
Nonmonotonic abductive inductive learning.
J. Applied Logic 7(3): 329-340 (2009) |
| 2008 |
|---|
| 11 | | Oliver Ray,
Christopher H. Bryant:
Inferring the Function of Genes from Synthetic Lethal Mutations.
CISIS 2008: 667-671 |
| 2007 |
|---|
| 10 | | Oliver Ray,
Katsumi Inoue:
A Consequence Finding Approach for Full Clausal Abduction.
Discovery Science 2007: 173-184 |
| 9 | | Oliver Ray,
Katsumi Inoue:
Mode-Directed Inverse Entailment for Full Clausal Theories.
ILP 2007: 225-238 |
| 8 | | Yoshitaka Yamamoto,
Oliver Ray,
Katsumi Inoue:
Towards a Logical Reconstruction of CF-Induction.
JSAI 2007: 330-343 |
| 7 | | Oliver Ray:
Automated Abduction in Scientific Discovery.
Model-Based Reasoning in Science, Technology, and Medicine 2007: 103-116 |
| 2006 |
|---|
| 6 |  | Oliver Ray,
Athos Antoniades,
Antonis C. Kakas,
Ioannis Demetriades:
Abductive Logic Programming in the Clinical Management of HIV/AIDS.
ECAI 2006: 437-441 |
| 5 | | Dalal Alrajeh,
Oliver Ray,
Alessandra Russo,
Sebastián Uchitel:
Extracting Requirements from Scenarios with ILP.
ILP 2006: 64-78 |
| 2005 |
|---|
| 4 | | Oliver Ray:
The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic.
ICLP 2005: 410-411 |
| 2004 |
|---|
| 3 | | Oliver Ray,
Krysia Broda,
Alessandra Russo:
Generalised Kernel Sets for Inverse Entailment.
ICLP 2004: 165-179 |
| 2 | | Oliver Ray,
Krysia Broda,
Alessandra Russo:
A Hybrid Abductive Inductive Proof Procedure.
Logic Journal of the IGPL 12(5): 371-397 (2004) |
| 2003 |
|---|
| 1 | | Oliver Ray,
Krysia Broda,
Alessandra Russo:
Hybrid Abductive Inductive Learning: A Generalisation of Progol.
ILP 2003: 311-328 |
